D maps the defining expression for the product of two functions, f(x) times g(x), to D(f(x)) times g(x), plus D(g(x)) times f(x).
Example 2.
Motivation: A Not Product Rule