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

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

SUCCESS
MaxTRS: 2 
Search time: 42.63 seconds