x^3 − 9x + 4 = 0 solve over reals