(xy+1)(x+1)(y+1)+xy
=(xy+1)(xy+x+y+1)+xy
=(xy+1)[(xy+1)+x+y]+xy
=(xy+1)^2+x(xy+1)+y(xy+1)+xy
=(xy+1+x)(xy+1+y)