fixed bug in `__trigsimp`