x^2 + (1 + x - x^2)