A New Abstract Domain for the Representation of Mathematically Equivalent Expressions