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