SUCCESS
5.67 (total time)

COMPLETED TRS
b(x) -> c(c(x))
a(a(x)) -> d(c(x))
a(c(c(x))) -> c(c(c(x)))
a(d(c(x))) -> d(c(a(x)))
c(c(c(a(x)))) -> c(c(c(x)))
c(c(c(c(x)))) -> c(c(c(x)))
c(d(x)) -> d(c(x))
d(c(a(c(x)))) -> c(c(c(x)))
d(c(a(d(x)))) -> c(c(c(x)))
d(c(c(a(c(x))))) -> c(c(c(x)))
d(c(c(a(d(x))))) -> c(c(c(x)))
d(c(c(c(x)))) -> c(c(c(x)))
d(d(x)) -> c(c(a(c(x))))