Add ~x + 1 = -x algebraic simplification