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

let p = precedence F "f > i > * > 1";

let s = status F " * : mul; 1 : mul; i,f : lrlex ";

let o = rpo T p s;

let R = trs T "
x * 1 -> x;
x * i (x) -> 1;
f(1) -> 1;
f(x*y) -> f(x) * f(y)
";

complete o R;

#quit;