Simplify x5 x x3