finer grained tests for AddExp, MulExp, and NegExp