EQUATIONS: w(a(x)) = a(b(x)) a(c(x)) = a(b(c(x))) COMPLETE TRS: RULES: a(b(x)) -> w(a(x)) w(a(c(x))) -> a(c(x)) SUCCESS MaxTRS: 2 Search time: 0.10 seconds