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

unnamed solved the puzzle at 14:15:42.375; length: 21