TRS:
 {   a__g(X) -> a__h(X),
      a__c() -> d(),
   a__h(d()) -> a__g(c()),
  mark(g(X)) -> a__g(X),
  mark(h(X)) -> a__h(X),
   mark(c()) -> a__c(),
   mark(d()) -> d(),
     a__g(X) -> g(X),
     a__h(X) -> h(X),
      a__c() -> c()}
 Cdiprover:
  Interpretation class: pizerosimplemixed
  Complexity bound: POLYTIME COMPUTABLE
  h(X4) = + 1*X4 + 1
  g(X3) = + 1*X3 + 2
  mark(X2) = + 2*X2^2 + 0 + 2*X2
  c = + 1
  a__c = + 3
  d = + 2
  a__g(X1) = + 2*X1^2 + 3 + 1*X1
  a__h(X0) = + 2*X0^2 + 2 + 1*X0
  
  Qed