{sqrt(2)*cos(x)^2 = sin(x-(1/2)*Pi),-3*Pi/2<=x,x<=-Pi}