Simplify x-(x-y)