EQUATIONS: 
a(a(x)) = c(b(a(b(a(x)))))
b(a(b(x))) = b(x)
a(a(a(x))) = c(c(a(x)))
c(c(x)) = a(b(c(b(a(x)))))
a(c(a(x))) = c(c(a(x)))
c(a(c(x))) = a(a(c(x)))

COMPLETE TRS:
RULES:
b(a(b(x))) -> b(x)
c(a(c(x))) -> a(a(c(x)))
a(b(c(b(x)))) -> c(c(b(x)))
c(a(a(x))) -> c(c(x))
b(c(c(x))) -> b(a(a(x)))
a(c(c(x))) -> a(a(a(x)))
a(c(a(x))) -> a(a(a(x)))
c(c(c(x))) -> a(a(a(x)))
a(a(c(b(x)))) -> a(c(b(x)))
c(b(c(b(x)))) -> a(c(b(x)))
b(a(a(c(x)))) -> b(a(a(a(x))))
c(c(a(x))) -> a(a(a(x)))
c(b(a(x))) -> a(a(x))
a(a(b(x))) -> c(b(x))
a(b(a(a(x)))) -> c(c(x))
a(a(a(c(x)))) -> a(a(a(x)))
a(a(a(a(x)))) -> a(a(a(x)))
a(b(a(c(b(x))))) -> a(c(b(x)))

SUCCESS
MaxTRS: 2 
Search time: 0.55 seconds