Simplify x-(-x)