where the omitted terms are known and involve Lie brackets of four or more elements. In case X and Y commute, this formula reduces to the familiar exponential law exp ⁡ ⁡ ( X ) exp ⁡ ⁡ ( Y ) = exp ⁡ ⁡ ( X + Y )