(DIVIDE, (Fields.inverse_class.divide, fn))--35 

 (MINUS, (Groups.minus_class.minus, fn))--33 

 (PLUS, (Groups.plus_class.plus, fn))--32 

 (POWER, (Atools.pow, fn))--36 

 (SQRT, (NthRoot.sqrt, fn))--10 

 (TIMES, (Groups.times_class.times, fn))--34 

 (Test.precond'_rootmet, (Test.precond'_rootmet, fn))--4 

 (Test.precond'_rootpbl, (Test.precond'_rootpbl, fn))--5 

 (Vars, (Tools.Vars, fn))--41 

 (add_new_c, (Integrate.add'_new'_c, fn))--7 

 (boollist2sum, (Atools.boollist2sum, fn))--37 

 (contains_root, (Test.contains'_root, fn))--3 

 (drop_questionmarks, (Partial_Fractions.drop'_questionmarks, fn))--1 

 (equal, (HOL.eq, fn))--31 

 (has_degree_in, (Poly.has'_degree'_in, fn))--19 

 (ident, (Atools.ident, fn))--30 

 (is_addUnordered, (Poly.is'_addUnordered, fn))--16 

 (is_atom, (Atools.is'_atom, fn))--25 

 (is_const, (Atools.is'_const, fn))--27 

 (is_even, (Atools.is'_even, fn))--26 

 (is_expanded, (Rational.is'_expanded, fn))--38 

 (is_expanded_in, (Poly.is'_expanded'_in, fn))--21 

 (is_f_x, (Integrate.is'_f'_x, fn))--6 

 (is_multUnordered, (Poly.is'_multUnordered, fn))--17 

 (is_normSqrtTerm_in, (RootEq.is_normSqrtTerm_in, fn))--13 

 (is_poly_in, (Poly.is'_poly'_in, fn))--20 

 (is_polyexp, (Poly.is'_polyexp, fn))--18 

 (is_polyrat_in, (Poly.is'_polyrat'_in, fn))--22 

 (is_ratequation_in, (RatEq.is_ratequation_in, fn))--9 

 (is_rootRatAddTerm_in, (RootRatEq.is_rootRatAddTerm_in, fn))--8 

 (is_rootTerm_in, (RootEq.is'_rootTerm'_in, fn))--11 

 (is_root_free, (Test.is'_root'_free, fn))--2 

 (is_sqrtTerm_in, (RootEq.is'_sqrtTerm'_in, fn))--12 

 (le, (Orderings.ord_class.less, fn))--28 

 (leq, (Orderings.ord_class.less_eq, fn))--29 

 (lhs, (Tools.lhs, fn))--42 

 (matches, (Tools.matches, fn))--39 

 (matchsub, (Tools.matchsub, fn))--40 

 (occur_exactly_in, (EqSystem.occur'_exactly'_in, fn))--15 

 (occurs_in, (Atools.occurs'_in, fn))--23 

 (primed, (Diff.primed, fn))--14 

 (rhs, (Tools.rhs, fn))--43 

 (some_occur_in, (Atools.some'_occur'_in, fn))--24