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