YES
(VAR x)
(RULES
b(d(x)) -> x
c(a(x)) -> a(c(x))
b(a(x)) -> a(c(x))
c(d(a(x))) -> a(x)
e(x) -> d(a(x))
d(a(a(x))) -> a(d(a(x)))
d(a(c(x))) -> a(x)
)