64 cos (2*x - 1)
cos(2*x - 1)^64
63 -128*cos (2*x - 1)*sin(2*x - 1)
62 / 2 2 \ 256*cos (-1 + 2*x)*\- cos (-1 + 2*x) + 63*sin (-1 + 2*x)/
61 / 2 2 \ 1024*cos (-1 + 2*x)*\- 1953*sin (-1 + 2*x) + 95*cos (-1 + 2*x)/*sin(-1 + 2*x)