Maxima Function
apply2 (expr, rule_1, ..., rule_n)
If rule_1 fails on a given subexpression, then rule_2 is repeatedly applied, etc. Only if all rules fail on a given subexpression is the whole set of rules repeatedly applied to the next subexpression. If one of the rules succeeds, then the same subexpression is reprocessed, starting with the first rule.
maxapplydepth
is the depth of the deepest subexpressions processed by
apply1
and apply2
.