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