Simplify x5 x x7