used `together` in ``__trigsimp``