Equivalent forms of expressions 1