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