solve |x^2 - 4| = 4 - 2x over reals