Maxima Function
scsimp (expr, rule_1, ..., rule_n)
Sequential Comparative Simplification (method due to Stoute).
scsimp
attempts to simplify expr
according to the rules rule_1, ..., rule_n.
If a smaller expression is obtained, the process
repeats. Otherwise after all simplifications are tried, it returns
the original answer.
example (scsimp)
displays some examples.