@peterrowlett Turns out there's an undocumented simplifier 'exptrigsimp': docs.sympy.org/1.0/_modules/s…