reposition exptrigsimp and edit docstrings