solve x^3 - 3 x - 1 = 0 real