Properties of higher-order Trotter formulas