Exercise algebra.manipulation.rational.simplify

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

Derivation

(a^3+7*a^2+10*a)/(a^2-a-6)

⇒ algebra.equations.quadratic.nice-factors

(a^3+7*a^2+10*a)/((a+2)*(a-3))

⇒ algebra.equations.polynomial.factor-varpower

a*(a^2+7*a+10)/((a+2)*(a-3))

⇒ algebra.equations.quadratic.nice-factors

a*(a+2)*(a+5)/((a+2)*(a-3))

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

a*(a+5)/(a-3)

⇒ algebra.equations.linear.distr-times

(a^2+5*a)/(a-3)