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