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

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