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