Let $M$ be a smooth manifold, let $m,m' \in \mathbb{R}$, and let $A \in \Psi_h^m(M)$ and $B \in \Psi_h^{m'}(M)$ be properly supported semiclassical pseudodifferential operators, with the local quantization convention for which the first-order composition term is