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