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