(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS evalcomplexstart)) (VAR A B C D E) (RULES evalcomplexstart(A, B, C, D, E) -> Com_1(evalcomplexentryin(A, B, C, D, E)) evalcomplexentryin(A, B, C, D, E) -> Com_1(evalcomplexbb10in(B, A, C, D, E)) evalcomplexbb10in(A, B, C, D, E) -> Com_1(evalcomplexreturnin(A, B, C, D, E)) [ B >= 30 ] evalcomplexbb10in(A, B, C, D, E) -> Com_1(evalcomplexbb8in(A, B, A, B, E)) [ 29 >= B ] evalcomplexreturnin(A, B, C, D, E) -> Com_1(evalcomplexstop(A, B, C, D, E)) [ B - 30 >= 0 ] evalcomplexbb8in(A, B, C, D, E) -> Com_1(evalcomplexbb9in(A, B, C, D, E)) [ -B + D >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 /\ C >= D ] evalcomplexbb8in(A, B, C, D, E) -> Com_1(evalcomplexbb1in(A, B, C, D, E)) [ -B + D >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 /\ D >= C + 1 ] evalcomplexbb9in(A, B, C, D, E) -> Com_1(evalcomplexbb10in(C - 10, D + 2, C, D, E)) [ C - D >= 0 /\ -B + D >= 0 /\ -B + C >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 ] evalcomplexbb1in(A, B, C, D, E) -> Com_1(evalcomplexbb7in(A, B, C, D, C + 2)) [ -C + D - 1 >= 0 /\ -B + D >= 0 /\ -A + D - 1 >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 /\ 5 >= C /\ 7 >= C ] evalcomplexbb1in(A, B, C, D, E) -> Com_1(evalcomplexbb7in(A, B, C, D, C + 7)) [ -C + D - 1 >= 0 /\ -B + D >= 0 /\ -A + D - 1 >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 /\ C >= 6 ] evalcomplexbb7in(A, B, C, D, E) -> Com_1(evalcomplexbb8in(A, B, E, D + 1, E)) [ D - E + 6 >= 0 /\ C - E + 7 >= 0 /\ -C + E - 2 >= 0 /\ -A + E - 2 >= 0 /\ -C + D - 1 >= 0 /\ -B + D >= 0 /\ -A + D - 1 >= 0 /\ -A + C >= 0 /\ -B + 29 >= 0 ] )