Rewriting the univariate solvers