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