Section MapleExamples.
Variable x y a b : R.
(**** Tactic Simplify ****)
(**** Tactic Factor ****)
(**** Tactic Expand ****)
(**** Tactic Normal ****)
(**** Eval <Maple Tactic> in ****)

Lemma eval_fact0 : x <> 0 -> y <> 0 -> x / x + x / y = (x + y) / y.