These two should compare the same. You should not include the free symbols in the hash, IMO.