Higher covariant derivatives

We obtain a composition formula for the higher covariant derivatives on a vector bundle over a manifold. The formula generalizes the classical Leibniz product rule for the derivative. We also obtain, as a corollary, a generalization of the author's theorem about the double exponential map to the case of multiple maps.