Identities and Algebraic Transformation of Expressions