For two possibly noncommuting operators A,BA,BA,B, BCH states
In most cases we consider, [A,B][A,B][A,B] is a constant so we stop after the third term. Here the operator exponential is defined in terms of its power series.