cos^2(2x)=1+cos(2x)/2