Different expression equivalent to a given expression