Yesterday, nobody contributed anything.  :-(
The official answer is: 2 ^ (-(x + 3) ^ 2) + 2 * x + 3.
fire solved the puzzle at 20:04:16.609; length: 18
turtle solved the puzzle at 03:46:23.908; length: 18