Sqrt[f'[x]] == -x