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