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