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