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