Fixed: a + (-a) = -1, implemented deleting zero-terms