Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
(x^2-5*x+4)*(x-4)*(x+3)/((x-1)*(x-4)*(x^2-5*x+4))+(x-1)*(x-4)*(x-1)*(x+2)/((x-1)*(x-4)*(x^2-5*x+4))
⇒ algebra.equations.rational.rational-plus((x^2-5*x+4)*(x-4)*(x+3)+(x-1)*(x-4)*(x-1)*(x+2))/((x-1)*(x-4)*(x^2-5*x+4))
⇒ algebra.equations.quadratic.nice-factors((x^2-5*x+4)*(x-4)*(x+3)+(x-1)*(x-4)*(x-1)*(x+2))/((x-1)*(x-4)*(x-1)*(x-4))
⇒ algebra.equations.linear.distr-times(x^4+3*x^3-4*x^3-27*x^2-5*x^3+20*x^2+56*x+4*x^2-48+x^4+2*x^3-2*x^3-12*x^2-4*x^3+8*x^2+14*x+x^2-8)/((x-1)*(x-4)*(x-1)*(x-4))
⇒ algebra.equations.linear.merge(2*x^4-10*x^3-6*x^2+70*x-56)/((x-1)*(x-4)*(x-1)*(x-4))