(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS start))
(VAR A B C)
(RULES
  eval(A,B,C) -> Com_1(eval(A - 1,B,C - 1)) :|: A >= 0 && B*B*B >= C
  eval(A,B,C) -> Com_1(eval(A,B + C,C - 1)) :|: A >= 0 && B*B*B >= C
  start(A,B,C) -> Com_1(eval(A,B,C))
)