Exercise

Exercise calculus.differentiation

Description
Derivative

Rules for calculus.differentiation

Rule name	Args	Used	Siblings	Rewrite rule
`calculus.differentiation.chain-power`	0	yes
`calculus.differentiation.chain-sqrt`	0	yes
`calculus.differentiation.constant`	0	yes
`calculus.differentiation.constant-multiple`	0	yes
`calculus.differentiation.cosine`	0	yes		D(a) (transc1.cos a) ⇒ -(transc1.sin a)
`calculus.differentiation.cosine.linear`	0	yes
`calculus.differentiation.def-root`	0	yes		arith1.root a b ⇒ a^(1/b)
`calculus.differentiation.deriv-of-poly`	0	yes
`calculus.differentiation.logarithmic`	0	yes		D(a) (transc1.ln a) ⇒ 1/a
`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.power`	0	yes
`calculus.differentiation.product`	0	yes		D(a) (b·c) ⇒ ((D(a) b)·c)+(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)
`calculus.differentiation.sine`	0	yes		D(a) (transc1.sin a) ⇒ transc1.cos a
`calculus.differentiation.sine.linear`	0	yes
`calculus.differentiation.sqrt`	0	yes
`calculus.differentiation.var`	0	yes		D(a) a ⇒ 1

Rule name

Args

Used

Siblings

Rewrite rule