Yesterday, nobody contributed anything.  :-(
The official answer is: 2 ^ (8 * (x ^ 2 + 2)) * (2 ^ sin(x) - 1).
fire solved the puzzle at 20:01:29.471; length: 10