SUCCESS
15.27 (total time)

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