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

unnamed solved the puzzle at 03:09:27.064; length: 15