Exercise 2.73ab - n-term sum rule, cheaply, and 2-term product rule
Exercise 2.73c added power rule, without having to touch ANY of the rest of the code base