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