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