x^3 + x + 1