(* Examples.v *)
Open Scope R_scope.
Section MapleExamples.
Variable x y a b : R.
(**** Tactic Simplify ****)

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