(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B C D E F G H) (RULES f2(A,B,C,D,E,F) -> Com_1(f2(-1 + A,-1 + B,A,B,-2 + A,F)) :|: A >= 1 && B >= 1 f3(A,B,C,D,E,F) -> Com_1(f2(A,B,C,D,E,F)) f2(A,B,C,D,E,F) -> Com_1(f4(A,G,C,D,E,H)) :|: 0 >= B && 0 >= G f2(A,B,C,D,E,F) -> Com_1(f4(A,B,C,D,E,H)) :|: B >= 1 && 0 >= A )