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