SUCCESS
4.77 (total time)

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