If you are interested in some of the proofs of the derivative rules in the class, here is a link that shows many of them.