Initial Problem

Start: evalcomplexstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars:
Locations: evalcomplexbb10in, evalcomplexbb1in, evalcomplexbb6in, evalcomplexbb7in, evalcomplexbb8in, evalcomplexbb9in, evalcomplexentryin, evalcomplexreturnin, evalcomplexstart, evalcomplexstop
Transitions:
2:evalcomplexbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4):|:Arg_1<=29
3:evalcomplexbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:30<=Arg_1
8:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+7):|:6<=Arg_2 && 3<=Arg_2 && Arg_2<=5
11:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+2):|:Arg_2<=5 && 8<=Arg_2 && Arg_2<=10
6:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+7):|:6<=Arg_2 && Arg_2<=2
7:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+7):|:6<=Arg_2
9:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+2):|:Arg_2<=5 && Arg_2<=7
10:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+2):|:Arg_2<=5 && 11<=Arg_2
13:evalcomplexbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_4,Arg_3+10,Arg_4)
12:evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_4,Arg_3+1,Arg_4)
4:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_2+1<=Arg_3
5:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_3<=Arg_2
14:evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb10in(Arg_2-10,Arg_3+2,Arg_2,Arg_3,Arg_4)
1:evalcomplexentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb10in(Arg_1,Arg_0,Arg_2,Arg_3,Arg_4)
15:evalcomplexreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4)
0:evalcomplexstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4)

Preprocessing

Cut unsatisfiable transition 6: evalcomplexbb1in->evalcomplexbb7in

Cut unsatisfiable transition 8: evalcomplexbb1in->evalcomplexbb6in

Cut unsatisfiable transition 10: evalcomplexbb1in->evalcomplexbb7in

Cut unsatisfiable transition 11: evalcomplexbb1in->evalcomplexbb6in

Cut unsatisfiable transition 13: evalcomplexbb6in->evalcomplexbb8in

Cut unreachable locations [evalcomplexbb6in] from the program graph

Found invariant 30<=Arg_1 for location evalcomplexstop

Found invariant 30<=Arg_1 for location evalcomplexreturnin

Found invariant Arg_4<=6+Arg_3 && Arg_4<=7+Arg_2 && 2+Arg_2<=Arg_4 && 2+Arg_0<=Arg_4 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 for location evalcomplexbb7in

Found invariant Arg_1<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 for location evalcomplexbb8in

Found invariant 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 for location evalcomplexbb1in

Found invariant Arg_3<=Arg_2 && Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=29 for location evalcomplexbb9in

Problem after Preprocessing

Start: evalcomplexstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars:
Locations: evalcomplexbb10in, evalcomplexbb1in, evalcomplexbb7in, evalcomplexbb8in, evalcomplexbb9in, evalcomplexentryin, evalcomplexreturnin, evalcomplexstart, evalcomplexstop
Transitions:
2:evalcomplexbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4):|:Arg_1<=29
3:evalcomplexbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:30<=Arg_1
7:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+7):|:1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && 6<=Arg_2
9:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+2):|:1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_2<=5 && Arg_2<=7
12:evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_4,Arg_3+1,Arg_4):|:Arg_4<=6+Arg_3 && Arg_4<=7+Arg_2 && 2+Arg_2<=Arg_4 && 2+Arg_0<=Arg_4 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29
4:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_1<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_2+1<=Arg_3
5:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_1<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_3<=Arg_2
14:evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb10in(Arg_2-10,Arg_3+2,Arg_2,Arg_3,Arg_4):|:Arg_3<=Arg_2 && Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=29
1:evalcomplexentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb10in(Arg_1,Arg_0,Arg_2,Arg_3,Arg_4)
15:evalcomplexreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:30<=Arg_1
0:evalcomplexstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4)

MPRF for transition 2:evalcomplexbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4):|:Arg_1<=29 of depth 1:

new bound:

Arg_0+30 {O(n)}

MPRF:

evalcomplexbb7in [28-Arg_1 ]
evalcomplexbb1in [28-Arg_1 ]
evalcomplexbb8in [28-Arg_1 ]
evalcomplexbb9in [28-Arg_3 ]
evalcomplexbb10in [30-Arg_1 ]

MPRF for transition 7:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+7):|:1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && 6<=Arg_2 of depth 1:

new bound:

5*Arg_0+Arg_1+174 {O(n)}

MPRF:

evalcomplexbb7in [Arg_3+175-6*Arg_1-Arg_4 ]
evalcomplexbb1in [Arg_3+174-6*Arg_1-Arg_2 ]
evalcomplexbb8in [Arg_3+174-6*Arg_1-Arg_2 ]
evalcomplexbb9in [Arg_3+174-6*Arg_1-Arg_2 ]
evalcomplexbb10in [174-Arg_0-5*Arg_1 ]

MPRF for transition 9:evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2+2):|:1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_2<=5 && Arg_2<=7 of depth 1:

new bound:

25*Arg_0+5*Arg_1+751 {O(n)}

MPRF:

evalcomplexbb7in [2*Arg_4+737-25*Arg_1-7*Arg_2 ]
evalcomplexbb1in [751-25*Arg_1-5*Arg_2 ]
evalcomplexbb8in [751-25*Arg_1-5*Arg_2 ]
evalcomplexbb9in [751-5*Arg_2-25*Arg_3 ]
evalcomplexbb10in [751-5*Arg_0-25*Arg_1 ]

MPRF for transition 12:evalcomplexbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb8in(Arg_0,Arg_1,Arg_4,Arg_3+1,Arg_4):|:Arg_4<=6+Arg_3 && Arg_4<=7+Arg_2 && 2+Arg_2<=Arg_4 && 2+Arg_0<=Arg_4 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 of depth 1:

new bound:

5*Arg_0+Arg_1+179 {O(n)}

MPRF:

evalcomplexbb7in [Arg_3+181-6*Arg_1-Arg_4 ]
evalcomplexbb1in [Arg_3+179-6*Arg_1-Arg_2 ]
evalcomplexbb8in [Arg_3+179-6*Arg_1-Arg_2 ]
evalcomplexbb9in [Arg_3+179-6*Arg_1-Arg_2 ]
evalcomplexbb10in [179-Arg_0-5*Arg_1 ]

MPRF for transition 4:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_1<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_2+1<=Arg_3 of depth 1:

new bound:

5*Arg_0+Arg_1+174 {O(n)}

MPRF:

evalcomplexbb7in [Arg_3+173-6*Arg_1-Arg_2 ]
evalcomplexbb1in [Arg_3+173-6*Arg_1-Arg_2 ]
evalcomplexbb8in [Arg_3+174-6*Arg_1-Arg_2 ]
evalcomplexbb9in [Arg_3+174-6*Arg_1-Arg_2 ]
evalcomplexbb10in [174-Arg_0-5*Arg_1 ]

MPRF for transition 5:evalcomplexbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_1<=Arg_3 && Arg_0<=Arg_2 && Arg_1<=29 && Arg_3<=Arg_2 of depth 1:

new bound:

Arg_0+30 {O(n)}

MPRF:

evalcomplexbb7in [30-Arg_1 ]
evalcomplexbb1in [30-Arg_1 ]
evalcomplexbb8in [30-Arg_1 ]
evalcomplexbb9in [28-Arg_3 ]
evalcomplexbb10in [30-Arg_1 ]

MPRF for transition 14:evalcomplexbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> evalcomplexbb10in(Arg_2-10,Arg_3+2,Arg_2,Arg_3,Arg_4):|:Arg_3<=Arg_2 && Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=29 of depth 1:

new bound:

Arg_0+30 {O(n)}

MPRF:

evalcomplexbb7in [30-Arg_1 ]
evalcomplexbb1in [30-Arg_1 ]
evalcomplexbb8in [30-Arg_1 ]
evalcomplexbb9in [30-Arg_1 ]
evalcomplexbb10in [30-Arg_1 ]

All Bounds

Timebounds

Overall timebound:43*Arg_0+8*Arg_1+1372 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in: Arg_0+30 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin: 1 {O(1)}
7: evalcomplexbb1in->evalcomplexbb7in: 5*Arg_0+Arg_1+174 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in: 25*Arg_0+5*Arg_1+751 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in: 5*Arg_0+Arg_1+179 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in: 5*Arg_0+Arg_1+174 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in: Arg_0+30 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in: Arg_0+30 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in: 1 {O(1)}
15: evalcomplexreturnin->evalcomplexstop: 1 {O(1)}
0: evalcomplexstart->evalcomplexentryin: 1 {O(1)}

Costbounds

Overall costbound: 43*Arg_0+8*Arg_1+1372 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in: Arg_0+30 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin: 1 {O(1)}
7: evalcomplexbb1in->evalcomplexbb7in: 5*Arg_0+Arg_1+174 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in: 25*Arg_0+5*Arg_1+751 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in: 5*Arg_0+Arg_1+179 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in: 5*Arg_0+Arg_1+174 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in: Arg_0+30 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in: Arg_0+30 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in: 1 {O(1)}
15: evalcomplexreturnin->evalcomplexstop: 1 {O(1)}
0: evalcomplexstart->evalcomplexentryin: 1 {O(1)}

Sizebounds

2: evalcomplexbb10in->evalcomplexbb8in, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
2: evalcomplexbb10in->evalcomplexbb8in, Arg_4: 16*Arg_1+90*Arg_0+Arg_4+3115 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin, Arg_2: 45*Arg_0+8*Arg_1+Arg_2+1553 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin, Arg_3: 8*Arg_0+Arg_1+Arg_3+239 {O(n)}
3: evalcomplexbb10in->evalcomplexreturnin, Arg_4: 16*Arg_1+2*Arg_4+90*Arg_0+3115 {O(n)}
7: evalcomplexbb1in->evalcomplexbb7in, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
7: evalcomplexbb1in->evalcomplexbb7in, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
7: evalcomplexbb1in->evalcomplexbb7in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
7: evalcomplexbb1in->evalcomplexbb7in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
7: evalcomplexbb1in->evalcomplexbb7in, Arg_4: 45*Arg_0+8*Arg_1+1560 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
9: evalcomplexbb1in->evalcomplexbb7in, Arg_4: 45*Arg_0+8*Arg_1+1555 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
12: evalcomplexbb7in->evalcomplexbb8in, Arg_4: 16*Arg_1+90*Arg_0+3115 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
4: evalcomplexbb8in->evalcomplexbb1in, Arg_4: 180*Arg_0+32*Arg_1+Arg_4+6230 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in, Arg_0: 18*Arg_1+90*Arg_0+3106 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in, Arg_1: 18*Arg_0+2*Arg_1+478 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
5: evalcomplexbb8in->evalcomplexbb9in, Arg_4: 16*Arg_1+90*Arg_0+Arg_4+3115 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in, Arg_0: 45*Arg_0+8*Arg_1+1553 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in, Arg_1: 8*Arg_0+Arg_1+239 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in, Arg_2: 45*Arg_0+8*Arg_1+1553 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in, Arg_3: 8*Arg_0+Arg_1+239 {O(n)}
14: evalcomplexbb9in->evalcomplexbb10in, Arg_4: 16*Arg_1+90*Arg_0+Arg_4+3115 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in, Arg_0: Arg_1 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in, Arg_1: Arg_0 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in, Arg_2: Arg_2 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in, Arg_3: Arg_3 {O(n)}
1: evalcomplexentryin->evalcomplexbb10in, Arg_4: Arg_4 {O(n)}
15: evalcomplexreturnin->evalcomplexstop, Arg_0: 45*Arg_0+9*Arg_1+1553 {O(n)}
15: evalcomplexreturnin->evalcomplexstop, Arg_1: 9*Arg_0+Arg_1+239 {O(n)}
15: evalcomplexreturnin->evalcomplexstop, Arg_2: 45*Arg_0+8*Arg_1+Arg_2+1553 {O(n)}
15: evalcomplexreturnin->evalcomplexstop, Arg_3: 8*Arg_0+Arg_1+Arg_3+239 {O(n)}
15: evalcomplexreturnin->evalcomplexstop, Arg_4: 16*Arg_1+2*Arg_4+90*Arg_0+3115 {O(n)}
0: evalcomplexstart->evalcomplexentryin, Arg_0: Arg_0 {O(n)}
0: evalcomplexstart->evalcomplexentryin, Arg_1: Arg_1 {O(n)}
0: evalcomplexstart->evalcomplexentryin, Arg_2: Arg_2 {O(n)}
0: evalcomplexstart->evalcomplexentryin, Arg_3: Arg_3 {O(n)}
0: evalcomplexstart->evalcomplexentryin, Arg_4: Arg_4 {O(n)}