How do you apply the double angle formula for cos^2 4x - sin^2 4x?