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