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