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