1-cos(2x)=2 sin^2(x)