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