watch out for E in exptrigsimp