watch out for E in exptrigsimp
Merge pull request #2854 from smichr/exptrigsimp

watch out for E in exptrigsimp