(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f1)) (VAR A B C D E F) (RULES f1(A, B, C, D, E, F) -> Com_1(f0(G, H, K, I, J, G + H + I + J + K)) [ G + H + I + J + K >= 1 ] f0(A, B, C, D, E, F) -> Com_1(f0(A + C, B, -C, D, E + C, F)) [ 0 >= C + 1 ] f0(A, B, C, D, E, F) -> Com_1(f0(A, B, C + E, D + E, -E, F)) [ 0 >= E + 1 ] f0(A, B, C, D, E, F) -> Com_1(f0(A, B + D, C, -D, E + D, F)) [ 0 >= D + 1 ] f0(A, B, C, D, E, F) -> Com_1(f0(A + B, -B, C, D + B, E, F)) [ 0 >= B + 1 ] f0(A, B, C, D, E, F) -> Com_1(f0(-A, B + A, C + A, D, E, F)) [ 0 >= A + 1 ] )