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