solve x^3 - x - 1 = 0