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