e.
x = x.
% rewriter group.demods: rewrote 2 terms with 13 rewrite steps in 0.00 seconds.