let F = signature "0,1 : 0; +,* : AC;";
let X = variables "x, y, z";
let T = algebra F;

let p = precedence F " * > + > 0 = 1";

let s = status F " *,+ : mul; 0,1 : mul; ";

let o = rpo T p s;

let R = trs T "
x + 0 -> x;
x * 1 -> x;
(x + y) * z -> (x * z) + (y * z);
x * (y + z) -> (x * y) + (x * z);
";

complete o R;

#quit;