solve x^3=x+1