In calculus of a single variable, it is well know that the derivative of product is . This formula holds also when the function is vector-valued of a single variable, or complex-valued of a complex variable. But if are general functions from into , do we have a similar formula for the differential(total derivative) of their inner product(scalar product) defined as ? Thanks.