x^4 = 2x^3 + 1