Exercise algebra.manipulation.rational.simplify

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

Derivation

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

⇒ algebra.equations.quadratic.nice-factors

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

⇒ algebra.equations.quadratic.nice-factors

(x-1)*(x-6)/((x+1)*(x-1))

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

(x-6)/(x+1)