x^2 + x + 1 + z