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