Initial Problem

Start: evalfstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars:
Locations: evalfbb1in, evalfbb2in, evalfbb3in, evalfbb4in, evalfbb5in, evalfbb6in, evalfbb7in, evalfentryin, evalfreturnin, evalfstart, evalfstop
Transitions:
6:evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_3-Arg_4)
9:evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1)
7:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_5<=Arg_3+Arg_4
8:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3+Arg_4+1<=Arg_5
10:evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5)
4:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=Arg_2
5:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_2+1<=Arg_4
11:evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5)
2:evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_1,Arg_5):|:Arg_3<=Arg_0
3:evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_0+1<=Arg_3
1:evalfentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb7in(Arg_1,Arg_2,Arg_3,Arg_0,Arg_4,Arg_5)
12:evalfreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5)
0:evalfstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5)

Preprocessing

Found invariant Arg_1<=Arg_4 && Arg_3<=Arg_0 for location evalfbb5in

Found invariant 1+Arg_0<=Arg_3 for location evalfreturnin

Found invariant Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 for location evalfbb1in

Found invariant Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 for location evalfbb2in

Found invariant Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 for location evalfbb3in

Found invariant 1+Arg_2<=Arg_4 && Arg_1<=Arg_4 && Arg_3<=Arg_0 for location evalfbb6in

Found invariant 1+Arg_0<=Arg_3 for location evalfstop

Found invariant Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 for location evalfbb4in

Problem after Preprocessing

Start: evalfstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars:
Locations: evalfbb1in, evalfbb2in, evalfbb3in, evalfbb4in, evalfbb5in, evalfbb6in, evalfbb7in, evalfentryin, evalfreturnin, evalfstart, evalfstop
Transitions:
6:evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_3-Arg_4):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2
9:evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2
7:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 && Arg_5<=Arg_3+Arg_4
8:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 && Arg_3+Arg_4+1<=Arg_5
10:evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2
4:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_4<=Arg_2
5:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_2+1<=Arg_4
11:evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:1+Arg_2<=Arg_4 && Arg_1<=Arg_4 && Arg_3<=Arg_0
2:evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_1,Arg_5):|:Arg_3<=Arg_0
3:evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_0+1<=Arg_3
1:evalfentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb7in(Arg_1,Arg_2,Arg_3,Arg_0,Arg_4,Arg_5)
12:evalfreturnin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:1+Arg_0<=Arg_3
0:evalfstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfentryin(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5)

MPRF for transition 5:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_2+1<=Arg_4 of depth 1:

new bound:

Arg_0+Arg_1+1 {O(n)}

MPRF:

evalfbb2in [Arg_0+1-Arg_3 ]
evalfbb3in [Arg_0+1-Arg_3 ]
evalfbb4in [Arg_0+1-Arg_3 ]
evalfbb1in [Arg_0+1-Arg_3 ]
evalfbb6in [Arg_0-Arg_3 ]
evalfbb7in [Arg_0+1-Arg_3 ]
evalfbb5in [Arg_0+1-Arg_3 ]

MPRF for transition 11:evalfbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:1+Arg_2<=Arg_4 && Arg_1<=Arg_4 && Arg_3<=Arg_0 of depth 1:

new bound:

Arg_0+Arg_1+1 {O(n)}

MPRF:

evalfbb2in [Arg_0+1-Arg_3 ]
evalfbb3in [Arg_0+1-Arg_3 ]
evalfbb4in [Arg_0+1-Arg_3 ]
evalfbb1in [Arg_0+1-Arg_3 ]
evalfbb6in [Arg_0+1-Arg_3 ]
evalfbb7in [Arg_0+1-Arg_3 ]
evalfbb5in [Arg_0+1-Arg_3 ]

MPRF for transition 2:evalfbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_1,Arg_5):|:Arg_3<=Arg_0 of depth 1:

new bound:

Arg_0+Arg_1+1 {O(n)}

MPRF:

evalfbb2in [Arg_0-Arg_3 ]
evalfbb3in [Arg_0-Arg_3 ]
evalfbb4in [Arg_0-Arg_3 ]
evalfbb1in [Arg_0-Arg_3 ]
evalfbb6in [Arg_0-Arg_3 ]
evalfbb7in [Arg_0+1-Arg_3 ]
evalfbb5in [Arg_0-Arg_3 ]

MPRF for transition 6:evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_3-Arg_4):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 of depth 1:

new bound:

2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}

MPRF:

evalfbb2in [Arg_2-Arg_4 ]
evalfbb3in [Arg_2-Arg_4 ]
evalfbb4in [Arg_2-Arg_4 ]
evalfbb1in [Arg_2+1-Arg_4 ]
evalfbb5in [Arg_2+1-Arg_4 ]
evalfbb6in [Arg_2-Arg_4 ]
evalfbb7in [Arg_2-Arg_4 ]

MPRF for transition 8:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 && Arg_3+Arg_4+1<=Arg_5 of depth 1:

new bound:

2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}

MPRF:

evalfbb2in [Arg_2+1-Arg_4 ]
evalfbb3in [Arg_2+1-Arg_4 ]
evalfbb4in [Arg_2-Arg_4 ]
evalfbb1in [Arg_2+1-Arg_4 ]
evalfbb5in [Arg_2+1-Arg_4 ]
evalfbb6in [Arg_2-Arg_4 ]
evalfbb7in [Arg_2-Arg_4 ]

MPRF for transition 10:evalfbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 of depth 1:

new bound:

2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}

MPRF:

evalfbb2in [Arg_2+1-Arg_4 ]
evalfbb3in [Arg_2+1-Arg_4 ]
evalfbb4in [Arg_2+1-Arg_4 ]
evalfbb1in [Arg_2+1-Arg_4 ]
evalfbb5in [Arg_2+1-Arg_4 ]
evalfbb6in [Arg_2-Arg_4 ]
evalfbb7in [Arg_2-Arg_4 ]

MPRF for transition 4:evalfbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_4<=Arg_2 of depth 1:

new bound:

2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}

MPRF:

evalfbb2in [Arg_2-Arg_4 ]
evalfbb3in [Arg_2-Arg_4 ]
evalfbb4in [Arg_2-Arg_4 ]
evalfbb1in [Arg_2-Arg_4 ]
evalfbb5in [Arg_2+1-Arg_4 ]
evalfbb6in [Arg_2-Arg_4 ]
evalfbb7in [Arg_2-Arg_4 ]

MPRF for transition 7:evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2 && Arg_5<=Arg_3+Arg_4 of depth 1:

new bound:

2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)}

MPRF:

evalfbb1in [Arg_0+Arg_2+Arg_4+1-Arg_3 ]
evalfbb2in [Arg_0+Arg_2-Arg_5 ]
evalfbb3in [Arg_0+Arg_2+1-Arg_5 ]
evalfbb4in [Arg_0+Arg_2+1-Arg_5 ]
evalfbb6in [Arg_0+Arg_2+1-Arg_5 ]
evalfbb7in [Arg_0+Arg_2+1-Arg_5 ]
evalfbb5in [Arg_0+Arg_2+1-Arg_5 ]

knowledge_propagation leads to new time bound 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)} for transition 9:evalfbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> evalfbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1):|:Arg_4<=Arg_2 && Arg_1<=Arg_4 && Arg_3<=Arg_0 && Arg_1<=Arg_2

All Bounds

Timebounds

Overall timebound:16*Arg_0*Arg_1*Arg_2*Arg_2+16*Arg_0*Arg_1*Arg_2*Arg_3+2*Arg_0*Arg_0*Arg_3*Arg_3+2*Arg_1*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_2*Arg_2+8*Arg_0*Arg_0*Arg_2*Arg_3+8*Arg_1*Arg_1*Arg_2*Arg_2+8*Arg_1*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_0*Arg_2+16*Arg_0*Arg_1*Arg_3+16*Arg_1*Arg_1*Arg_2+24*Arg_0*Arg_2*Arg_2+24*Arg_0*Arg_2*Arg_3+24*Arg_1*Arg_2*Arg_2+24*Arg_1*Arg_2*Arg_3+32*Arg_0*Arg_1*Arg_2+6*Arg_0*Arg_3*Arg_3+6*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_3+8*Arg_1*Arg_1*Arg_3+12*Arg_0*Arg_1+16*Arg_2*Arg_2+16*Arg_2*Arg_3+22*Arg_0*Arg_3+22*Arg_1*Arg_3+4*Arg_3*Arg_3+44*Arg_0*Arg_2+44*Arg_1*Arg_2+6*Arg_0*Arg_0+6*Arg_1*Arg_1+16*Arg_3+19*Arg_0+2*Arg_5+21*Arg_1+28*Arg_2+19 {O(n^4)}
6: evalfbb1in->evalfbb3in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
9: evalfbb2in->evalfbb3in: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)}
7: evalfbb3in->evalfbb2in: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)}
8: evalfbb3in->evalfbb4in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
10: evalfbb4in->evalfbb5in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
4: evalfbb5in->evalfbb1in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
5: evalfbb5in->evalfbb6in: Arg_0+Arg_1+1 {O(n)}
11: evalfbb6in->evalfbb7in: Arg_0+Arg_1+1 {O(n)}
2: evalfbb7in->evalfbb5in: Arg_0+Arg_1+1 {O(n)}
3: evalfbb7in->evalfreturnin: 1 {O(1)}
1: evalfentryin->evalfbb7in: 1 {O(1)}
12: evalfreturnin->evalfstop: 1 {O(1)}
0: evalfstart->evalfentryin: 1 {O(1)}

Costbounds

Overall costbound: 16*Arg_0*Arg_1*Arg_2*Arg_2+16*Arg_0*Arg_1*Arg_2*Arg_3+2*Arg_0*Arg_0*Arg_3*Arg_3+2*Arg_1*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_2*Arg_2+8*Arg_0*Arg_0*Arg_2*Arg_3+8*Arg_1*Arg_1*Arg_2*Arg_2+8*Arg_1*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_0*Arg_2+16*Arg_0*Arg_1*Arg_3+16*Arg_1*Arg_1*Arg_2+24*Arg_0*Arg_2*Arg_2+24*Arg_0*Arg_2*Arg_3+24*Arg_1*Arg_2*Arg_2+24*Arg_1*Arg_2*Arg_3+32*Arg_0*Arg_1*Arg_2+6*Arg_0*Arg_3*Arg_3+6*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_3+8*Arg_1*Arg_1*Arg_3+12*Arg_0*Arg_1+16*Arg_2*Arg_2+16*Arg_2*Arg_3+22*Arg_0*Arg_3+22*Arg_1*Arg_3+4*Arg_3*Arg_3+44*Arg_0*Arg_2+44*Arg_1*Arg_2+6*Arg_0*Arg_0+6*Arg_1*Arg_1+16*Arg_3+19*Arg_0+2*Arg_5+21*Arg_1+28*Arg_2+19 {O(n^4)}
6: evalfbb1in->evalfbb3in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
9: evalfbb2in->evalfbb3in: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)}
7: evalfbb3in->evalfbb2in: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+18*Arg_0*Arg_2+18*Arg_1*Arg_2+2*Arg_3*Arg_3+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+9*Arg_0*Arg_3+9*Arg_1*Arg_3+10*Arg_2+6*Arg_0+6*Arg_3+7*Arg_1+Arg_5+4 {O(n^4)}
8: evalfbb3in->evalfbb4in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
10: evalfbb4in->evalfbb5in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
4: evalfbb5in->evalfbb1in: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
5: evalfbb5in->evalfbb6in: Arg_0+Arg_1+1 {O(n)}
11: evalfbb6in->evalfbb7in: Arg_0+Arg_1+1 {O(n)}
2: evalfbb7in->evalfbb5in: Arg_0+Arg_1+1 {O(n)}
3: evalfbb7in->evalfreturnin: 1 {O(1)}
1: evalfentryin->evalfbb7in: 1 {O(1)}
12: evalfreturnin->evalfstop: 1 {O(1)}
0: evalfstart->evalfentryin: 1 {O(1)}

Sizebounds

6: evalfbb1in->evalfbb3in, Arg_0: Arg_1 {O(n)}
6: evalfbb1in->evalfbb3in, Arg_1: Arg_2 {O(n)}
6: evalfbb1in->evalfbb3in, Arg_2: Arg_3 {O(n)}
6: evalfbb1in->evalfbb3in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
6: evalfbb1in->evalfbb3in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
6: evalfbb1in->evalfbb3in, Arg_5: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+2*Arg_1+3*Arg_0+4*Arg_2+Arg_3+2 {O(n^2)}
9: evalfbb2in->evalfbb3in, Arg_0: Arg_1 {O(n)}
9: evalfbb2in->evalfbb3in, Arg_1: Arg_2 {O(n)}
9: evalfbb2in->evalfbb3in, Arg_2: Arg_3 {O(n)}
9: evalfbb2in->evalfbb3in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
9: evalfbb2in->evalfbb3in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
9: evalfbb2in->evalfbb3in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+10*Arg_0*Arg_3+10*Arg_1*Arg_3+2*Arg_3*Arg_3+20*Arg_0*Arg_2+20*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+14*Arg_2+7*Arg_3+9*Arg_0+9*Arg_1+Arg_5+6 {O(n^4)}
7: evalfbb3in->evalfbb2in, Arg_0: Arg_1 {O(n)}
7: evalfbb3in->evalfbb2in, Arg_1: Arg_2 {O(n)}
7: evalfbb3in->evalfbb2in, Arg_2: Arg_3 {O(n)}
7: evalfbb3in->evalfbb2in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
7: evalfbb3in->evalfbb2in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
7: evalfbb3in->evalfbb2in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+10*Arg_0*Arg_3+10*Arg_1*Arg_3+2*Arg_3*Arg_3+20*Arg_0*Arg_2+20*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+14*Arg_2+7*Arg_3+9*Arg_0+9*Arg_1+Arg_5+6 {O(n^4)}
8: evalfbb3in->evalfbb4in, Arg_0: Arg_1 {O(n)}
8: evalfbb3in->evalfbb4in, Arg_1: Arg_2 {O(n)}
8: evalfbb3in->evalfbb4in, Arg_2: Arg_3 {O(n)}
8: evalfbb3in->evalfbb4in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
8: evalfbb3in->evalfbb4in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
8: evalfbb3in->evalfbb4in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+8*Arg_3+Arg_5+8 {O(n^4)}
10: evalfbb4in->evalfbb5in, Arg_0: Arg_1 {O(n)}
10: evalfbb4in->evalfbb5in, Arg_1: Arg_2 {O(n)}
10: evalfbb4in->evalfbb5in, Arg_2: Arg_3 {O(n)}
10: evalfbb4in->evalfbb5in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
10: evalfbb4in->evalfbb5in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
10: evalfbb4in->evalfbb5in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+8*Arg_3+Arg_5+8 {O(n^4)}
4: evalfbb5in->evalfbb1in, Arg_0: Arg_1 {O(n)}
4: evalfbb5in->evalfbb1in, Arg_1: Arg_2 {O(n)}
4: evalfbb5in->evalfbb1in, Arg_2: Arg_3 {O(n)}
4: evalfbb5in->evalfbb1in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
4: evalfbb5in->evalfbb1in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+4*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
4: evalfbb5in->evalfbb1in, Arg_5: 16*Arg_0*Arg_1*Arg_2*Arg_2+16*Arg_0*Arg_1*Arg_2*Arg_3+2*Arg_0*Arg_0*Arg_3*Arg_3+2*Arg_1*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_2*Arg_2+8*Arg_0*Arg_0*Arg_2*Arg_3+8*Arg_1*Arg_1*Arg_2*Arg_2+8*Arg_1*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_0*Arg_2+16*Arg_0*Arg_1*Arg_3+16*Arg_1*Arg_1*Arg_2+24*Arg_0*Arg_2*Arg_2+24*Arg_0*Arg_2*Arg_3+24*Arg_1*Arg_2*Arg_2+24*Arg_1*Arg_2*Arg_3+32*Arg_0*Arg_1*Arg_2+6*Arg_0*Arg_3*Arg_3+6*Arg_1*Arg_3*Arg_3+8*Arg_0*Arg_0*Arg_3+8*Arg_1*Arg_1*Arg_3+12*Arg_0*Arg_1+16*Arg_2*Arg_2+16*Arg_2*Arg_3+22*Arg_0*Arg_3+22*Arg_1*Arg_3+4*Arg_3*Arg_3+44*Arg_0*Arg_2+44*Arg_1*Arg_2+6*Arg_0*Arg_0+6*Arg_1*Arg_1+16*Arg_3+22*Arg_1+24*Arg_0+3*Arg_5+36*Arg_2+16 {O(n^4)}
5: evalfbb5in->evalfbb6in, Arg_0: Arg_1 {O(n)}
5: evalfbb5in->evalfbb6in, Arg_1: Arg_2 {O(n)}
5: evalfbb5in->evalfbb6in, Arg_2: Arg_3 {O(n)}
5: evalfbb5in->evalfbb6in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
5: evalfbb5in->evalfbb6in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+6*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
5: evalfbb5in->evalfbb6in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+2*Arg_5+8*Arg_3+8 {O(n^4)}
11: evalfbb6in->evalfbb7in, Arg_0: Arg_1 {O(n)}
11: evalfbb6in->evalfbb7in, Arg_1: Arg_2 {O(n)}
11: evalfbb6in->evalfbb7in, Arg_2: Arg_3 {O(n)}
11: evalfbb6in->evalfbb7in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
11: evalfbb6in->evalfbb7in, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+6*Arg_2+Arg_0+Arg_1+Arg_3+1 {O(n^2)}
11: evalfbb6in->evalfbb7in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+2*Arg_5+8*Arg_3+8 {O(n^4)}
2: evalfbb7in->evalfbb5in, Arg_0: Arg_1 {O(n)}
2: evalfbb7in->evalfbb5in, Arg_1: Arg_2 {O(n)}
2: evalfbb7in->evalfbb5in, Arg_2: Arg_3 {O(n)}
2: evalfbb7in->evalfbb5in, Arg_3: 2*Arg_0+Arg_1+1 {O(n)}
2: evalfbb7in->evalfbb5in, Arg_4: 2*Arg_2 {O(n)}
2: evalfbb7in->evalfbb5in, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+2*Arg_5+8*Arg_3+8 {O(n^4)}
3: evalfbb7in->evalfreturnin, Arg_0: 2*Arg_1 {O(n)}
3: evalfbb7in->evalfreturnin, Arg_1: 2*Arg_2 {O(n)}
3: evalfbb7in->evalfreturnin, Arg_2: 2*Arg_3 {O(n)}
3: evalfbb7in->evalfreturnin, Arg_3: 3*Arg_0+Arg_1+1 {O(n)}
3: evalfbb7in->evalfreturnin, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+6*Arg_2+Arg_0+Arg_1+Arg_3+Arg_4+1 {O(n^2)}
3: evalfbb7in->evalfreturnin, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+3*Arg_5+8*Arg_3+8 {O(n^4)}
1: evalfentryin->evalfbb7in, Arg_0: Arg_1 {O(n)}
1: evalfentryin->evalfbb7in, Arg_1: Arg_2 {O(n)}
1: evalfentryin->evalfbb7in, Arg_2: Arg_3 {O(n)}
1: evalfentryin->evalfbb7in, Arg_3: Arg_0 {O(n)}
1: evalfentryin->evalfbb7in, Arg_4: Arg_4 {O(n)}
1: evalfentryin->evalfbb7in, Arg_5: Arg_5 {O(n)}
12: evalfreturnin->evalfstop, Arg_0: 2*Arg_1 {O(n)}
12: evalfreturnin->evalfstop, Arg_1: 2*Arg_2 {O(n)}
12: evalfreturnin->evalfstop, Arg_2: 2*Arg_3 {O(n)}
12: evalfreturnin->evalfstop, Arg_3: 3*Arg_0+Arg_1+1 {O(n)}
12: evalfreturnin->evalfstop, Arg_4: 2*Arg_0*Arg_2+2*Arg_1*Arg_2+Arg_0*Arg_3+Arg_1*Arg_3+6*Arg_2+Arg_0+Arg_1+Arg_3+Arg_4+1 {O(n^2)}
12: evalfreturnin->evalfstop, Arg_5: 2*Arg_0*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_2*Arg_2+4*Arg_0*Arg_0*Arg_2*Arg_3+4*Arg_1*Arg_1*Arg_2*Arg_2+4*Arg_1*Arg_1*Arg_2*Arg_3+8*Arg_0*Arg_1*Arg_2*Arg_2+8*Arg_0*Arg_1*Arg_2*Arg_3+Arg_0*Arg_0*Arg_3*Arg_3+Arg_1*Arg_1*Arg_3*Arg_3+12*Arg_0*Arg_2*Arg_2+12*Arg_0*Arg_2*Arg_3+12*Arg_1*Arg_2*Arg_2+12*Arg_1*Arg_2*Arg_3+16*Arg_0*Arg_1*Arg_2+3*Arg_0*Arg_3*Arg_3+3*Arg_1*Arg_3*Arg_3+4*Arg_0*Arg_0*Arg_3+4*Arg_1*Arg_1*Arg_3+8*Arg_0*Arg_0*Arg_2+8*Arg_0*Arg_1*Arg_3+8*Arg_1*Arg_1*Arg_2+11*Arg_0*Arg_3+11*Arg_1*Arg_3+2*Arg_3*Arg_3+22*Arg_0*Arg_2+22*Arg_1*Arg_2+3*Arg_0*Arg_0+3*Arg_1*Arg_1+6*Arg_0*Arg_1+8*Arg_2*Arg_2+8*Arg_2*Arg_3+11*Arg_1+12*Arg_0+18*Arg_2+3*Arg_5+8*Arg_3+8 {O(n^4)}
0: evalfstart->evalfentryin, Arg_0: Arg_0 {O(n)}
0: evalfstart->evalfentryin, Arg_1: Arg_1 {O(n)}
0: evalfstart->evalfentryin, Arg_2: Arg_2 {O(n)}
0: evalfstart->evalfentryin, Arg_3: Arg_3 {O(n)}
0: evalfstart->evalfentryin, Arg_4: Arg_4 {O(n)}
0: evalfstart->evalfentryin, Arg_5: Arg_5 {O(n)}