x^3 + x - 1