Trotter error bounds and dynamic multi-product formulas for Hamiltonian simulation | Synapse