 Formal pseudodifferential composition rule

The generalized Leibniz rule extends composition of differential operators to all integer $n$. Define $\left(\genfrac{}{}{0ex}{}{n}{r}\right)=n(n-1)\cdots (n-r+1)/r!$. For nonnegative $n$ the sum stops at $r=n$. For $n=-s<0$, its coefficients are $(-1{)}^r(\genfrac{}{}{0ex}{}{s+r-1}{r})$; in particular ${\partial }^{-1}f=f{\partial }^{-1}-f^{\prime }{\partial }^{-2}+f^{\prime \prime }{\partial }^{-3}-\cdots$. Applying $\partial$ on the left cancels consecutive derivative terms and recovers multiplication by $f$, which explains the inverse expansion.