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