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