2sin(3Pi/2-x)*cos(Pi/2-x) = sqrt2*cosx,−5π/2<=x<=−π