Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
(x+1)*(x-1)/((x+2)*(x+1))+(x+2)*(-x-4)/((x+2)*(x+1))
⇒ algebra.equations.rational.rational-plus((x+1)*(x-1)+(x+2)*(-x-4))/((x+2)*(x+1))
⇒ algebra.equations.linear.distr-times(x^2-1-x^2-6*x-8)/((x+2)*(x+1))
⇒ algebra.equations.linear.merge(-9-6*x)/((x+2)*(x+1))