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