Yesterday, nobody contributed anything.  :-(
The official answer is: -(2 * x + (abs(-x) / 2 ^ x) ^ 2) ^ 4.
fire solved the puzzle at 21:18:38.839; length: 15
fire solved the puzzle at 21:18:47.911; length: 9