SUCCESS
15.25 (total time)

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