2.3.2 Example: Symbolic Differentiation