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