Yesterday, nobody contributed anything. :-( The official answer is: -sqrt(x ^ 2 * 2 / floor(x ^ 2)).