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