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