SUCCESS 0.30 (total time) COMPLETED TRS c(a(x)) -> a(c(x)) c(e(x)) -> a(x) e(c(x)) -> a(x) e(a(x)) -> a(e(x)) d(a(x)) -> e(x) b(a(x)) -> a(c(x)) b(e(x)) -> a(x) b(d(x)) -> x