[1] x0 *x0 -> x0

[2] 1 *x0 -> x0

Completion succeeded.
{ [-1] 1 *x0 = x0 (trace = Original(1,))
  [-2] x0 *x0 = x0 (trace = Original(2,))
   }
(2 equations)
{ [1] x0 *x0 -> x0 (trace = Oriented([-2] x0 *x0 = x0))
   }
(1 rules)

real	0m0.014s
user	0m0.008s
sys	0m0.008s