Разве разность косинусов не cos4x - cos8x = -2*sin6x*cos(-2x) ?