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