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