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