solve (sin(x) + cos(x))^2 - 1 >= 0