Yesterday, nobody contributed anything.  :-(
The official answer is: -(256 * (3 * x - 1 / 2 ^ (x ^ 3 + 1)) ^ 4)