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