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