Yesterday, nobody contributed anything.  :-(
The official answer is: -(2 * x * (2 * x - cos(2 ^ x) ^ 4))