Exercise calculus.differentiation.quotient
Description
Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator.
Derivation
Final term is not finished
(-(x+4)*3*x^2-D(x) (x+4)+x^3*D(x) (x+4))/(x+4)^2
⇒ calculus.differentiation.deriv-of-poly(-(x+4)*3*x^2-D(x) (x+4)+x^3)/(x+4)^2