Add lecture 3b derivative of expression procedure.