Suzuki–Trotter decomposition