Lie-Trotter a_i 1.000000000000000000 b_i 1.000000000000000000