Exercise calculus.differentiation.quotient
Description
Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator.
Derivation
((5*x^2+7)*D(x) (3*x^3)-3*x^3*D(x) (5*x^2+7))/(5*x^2+7)^2
⇒ calculus.differentiation.deriv-of-poly((5*x^2+7)*9*x^2-3*x^3*D(x) (5*x^2+7))/(5*x^2+7)^2
⇒ calculus.differentiation.deriv-of-poly((5*x^2+7)*9*x^2-30*x^4)/(5*x^2+7)^2
⇒ algebra.equations.linear.distr-times(45*x^4+63*x^2-30*x^4)/(5*x^2+7)^2
⇒ algebra.equations.linear.merge(15*x^4+63*x^2)/(5*x^2+7)^2