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

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