update exptrigsimp docs