2sin(3Pi/2-x)*cos(Pi/2-x) = sqrt2*cosx