Yesterday, nobody contributed anything.  :-(
The official answer is: e ^ (-log2(12 * x) ^ 2).
turtle solved the puzzle at 03:00:47.992; length: 8