Add is_expression_equal, use to accept that 2+n and n+2 are the same shape