exact solution of x^3-x+2=0