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