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