Yesterday, nobody contributed anything.  :-(
The official answer is: sqrt(2 ^ (1 - abs(-(3 * x))) - x + 1).
fire solved the puzzle at 00:09:04.656; length: 18
turtle solved the puzzle at 17:42:22.576; length: 26
turtle solved the puzzle at 17:42:48.519; length: 20