(**** Eval <Maple Tactic> in ****)

(* Specifications: *)
Lemma eval_simp0 : x <> 0 -> y <> 0 -> x / x + y / y = 2.
Lemma eval_fact0 : x <> 0 -> y <> 0 -> x / x + x / y = (x + y) / y.
Lemma eval_expd0 :
(3 * x + 3) * (y - 5 / 3) = 3 * x * y + - (5 * x) + 3 * y + -5.
Lemma eval_norm0 : x <> 0 -> y <> 0 -> y / (x * y) + y / x = (1 + y) / x.
Definition def0 := Eval simplify in 1 / 1.