Exercise calculus.differentiation.quotient
Description
Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator.
Rules for calculus.differentiation.quotient
| Rule name | Args | Used | Siblings | Rewrite rule |
| algebra.equations.linear.distr-times | 0 | yes | ||
| algebra.equations.linear.merge | 0 | yes | ||
| algebra.equations.linear.no-div-con | 0 | yes | ||
| algebra.equations.quadratic.distr-div | 0 | yes | ||
| algebra.equations.quadratic.distr-square | 0 | yes | (a+b)^2 ⇒ ((a^2)+((2·a)·b))+(b^2) (a-b)^2 ⇒ ((a^2)-((2·a)·b))+(b^2) (a+b)·(a-b) ⇒ (a^2)-(b^2) (a-b)·(a+b) ⇒ (a^2)-(b^2) | |
| calculus.differentiation.deriv-of-poly | 0 | yes | ||
| calculus.differentiation.min | 0 | yes | D(a) (b-c) ⇒ (D(a) b)-(D(a) c) | |
| calculus.differentiation.negate | 0 | yes | D(a) (-b) ⇒ -(D(a) b) | |
| calculus.differentiation.plus | 0 | yes | D(a) (b+c) ⇒ (D(a) b)+(D(a) c) | |
| calculus.differentiation.quotient | 0 | yes | D(a) (b/c) ⇒ ((c·(D(a) b))-(b·(D(a) c)))/(c^2) D(a) (-(b/c)) ⇒ ((c·(D(a) (-b)))-((-b)·(D(a) c)))/(c^2) |
Buggy rules for calculus.differentiation.quotient
| Rule name | Args | Used | Siblings | Rewrite rule |