SUCCESS 2.29 (total time) COMPLETED TRS u(x) -> d(w(x)) b(d(x)) -> v(b(x)) b(c(x)) -> e(b(x)) v(b(w(x))) -> a(d(w(x))) v(a(x)) -> a(d(x)) c(w(x)) -> d(w(x)) e(b(w(x))) -> a(d(w(x))) e(a(x)) -> a(c(x))