Simplify x+6x+8*(1xz)