the chain rule

[diffchainml]

Exercises: [diffchainxl]

Specifications met: [diffchainsl]