\sin^2 x = rac{1 - \cos 2x}{2}, \quad \cos^2(2x) = rac{1 + \cos 4x}{2}