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