fixed a bug that arises when sym1 - sym2 results in a non-symbolic number.