x^4+4x=1