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