Simplify x-(x+y)