Simplify expressions in subst-termo.