Vector Derivative Product Rules