modify inequality solver to use solve_univariate
Removed solve_trancedental from solve_univariate
Make RootOf work with solve_univariate