 Product-formula Hamiltonian simulation

Product-formula Hamiltonian simulation approximates $e^{-it(A+B)}$ by alternating exponentials of $A$ and $B$, which are assumed easier to implement separately.