How do you verify cos^2(x)-sin^2(x)=1-2sin^2(x)?