solve x^3 + x - 1 real