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

Lemma eval_simp0 : x <> 0 -> y <> 0 -> x / x + y / y = 2.