solve %7C(x %2B %7Cx %2B 2%7C)2 - 1%7C%5E2 %3D 9 over the reals