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