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