EXPA does a complete simplification of an expression
viewed as a rational fraction, COLC tries to factorize a symbolic.
For convenience, arithmetic operations of Erable
perform automatic rational simplifications: e.g. add
(shortcut: -right shift-+)
is equivalent to + EXPA.