rewrite:Rewrite an expression
substit:Substitution in an expression
substitg:Substitution in an expression
