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