solve x^3-x-1=0