Simplify x3 x x4