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