(x^2 + 1 - y)(x^2 + 1 + y) > 0