openfermioncirq.simulate_trotterΒΆ