Verify the identity
Cos^2x-Sin^2x=1-2sin^2x