SUCCESS
17.10 (total time)

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