Apply product rule (#527)

Apply product rule (#527)

Use ddx(uv)=u′v+uv′\frac{d}{dx}(u v) = u'v + uv'.