TRS: { d(x) -> e(u(x)), d(u(x)) -> c(x), c(u(x)) -> b(x), v(e(x)) -> x, b(u(x)) -> a(e(x))} Cdiprover: Interpretation class: pizerosimplemixed Complexity bound: POLYTIME COMPUTABLE a(X6) = + 1*X6 + 1 v(X5) = + 0*X5^2 + 0 + 1*X5 b(X4) = + 2*X4^2 + 2 + 1*X4 c(X3) = + 2*X3^2 + 0 + 1*X3 d(X2) = + 2*X2^2 + 3 + 1*X2 u(X1) = + 1*X1 + 1 e(X0) = + 1*X0 + 1 Qed