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

Lemma eval_norm0 : x <> 0 -> y <> 0 -> y / (x * y) + y / x = (1 + y) / x.