How do you simplify x31x1?