document use of simplify in exptrigsimp