Section MapleExamples.
Variable x y a b : R.
(**** Tactic Simplify ****)
(**** Tactic Factor ****)
(**** Tactic Expand ****)
(**** Tactic Normal ****)

Lemma norm1 :
x <> 0 ->
x + 1 <> 0 ->
/ x + x / (x + 1) = (x + 1 + x^2) * / x * / (x + 1).