Applications of the generalized Trotter formula | Synapse