Add -(~x) = x + 1 algebraic simplification