(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f0(A, B, C, D, E) -> Com_1(f9(F, F, F, 0, E)) f9(A, B, C, D, E) -> Com_1(f9(A, B, C, D + 1, F)) [ D >= 0 /\ C >= D + 1 ] f24(A, B, C, D, E) -> Com_1(f24(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 /\ 0 >= F + 1 ] f24(A, B, C, D, E) -> Com_1(f24(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 ] f37(A, B, C, D, E) -> Com_1(f37(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 /\ F >= G + 1 ] f37(A, B, C, D, E) -> Com_1(f37(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 ] f37(A, B, C, D, E) -> Com_1(f48(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 ] f24(A, B, C, D, E) -> Com_1(f37(A, B, C, D, E)) [ D >= 0 /\ -C + D >= 0 ] f9(A, B, C, D, E) -> Com_1(f24(A, B, C, D, E)) [ D >= 0 /\ D >= C ] )