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