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.
There are also some inexact matches for
?? scsimp to see them.
(%o1) true (%i2)