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