Exercise algebra.manipulation.rational.simplify

Description
simplify a rational expression (with a variable in a divisor)

Derivation

(x^2-2*x+1)/(x^2-1)

⇒ algebra.equations.quadratic.nice-factors

(x^2-2*x+1)/((x+1)*(x-1))

⇒ algebra.equations.quadratic.nice-factors

(x-1)^2/((x+1)*(x-1))

⇒ algebra.equations.rational.cancel-div, clipboard=[condition == (x /= 1)]

(x-1)/(x+1)