Put E2 spec into a parameter, *e2spec*. Use SIMP & SIMP-EXPRS from BLD-GENSYM instead of BLD-MAXIMA - simplification wasn't working before.