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

unnamed solved the puzzle at 00:31:13.330; length: 14