Simplify x-1x