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