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