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