Simplify x^-1*x