solve x^3+x-1=0