(u*v)' = u'*v + u*v'