compare_exprs() now works on expressions that use different sets of symbols