How do you verify the identity cos 4x + cos 2x = 2 - 2 sin^2 2x - 2 sin^2 x?