solve x^3 - 4x^2 + 6x - 24 = 0 over the reals