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