solve {cos(2*x)+1 = sqrt(2)*sin(Pi/2-x), -4*Pi <= x, x <= -5*Pi/2}