Yesterday, nobody contributed anything.  :-(
The official answer is: abs(4 * x ^ 2 - sin(2 ^ 2 ^ (-x)))