Exercise calculus.differentiation.quotient
Description
Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator.
Firsts
Rule algebra.equations.linear.distr-times Location [0,0] Term "Nothing" Focus "Nothing" Environment Rule algebra.equations.linear.distr-times Location [0,0,0] Term "Nothing" Focus "Nothing" Environment Rule algebra.equations.linear.distr-times Location [0,0,0,0] Term "Nothing" Focus "Nothing" Environment