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