Yesterday, nobody contributed anything.  :-(
The official answer is: e ^ (-(2 * (sqrt(2 * x + 6) - 1 + 3 * x))).
turtle solved the puzzle at 22:07:06.322; length: 6
fire solved the puzzle at 22:08:28.685; length: 6