solve |x^2 - 2 | <= 2, over reals