Initial Problem

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: f0, f1
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0,Arg_1,Arg_2,Arg_3)
1:f1(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0+Arg_1,Arg_1+Arg_2,Arg_2+Arg_3,Arg_3-1):|:1<=Arg_0
2:f1(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0-1,Arg_1,Arg_2,Arg_3):|:1<=Arg_0

Preprocessing

Problem after Preprocessing

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: f0, f1
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0,Arg_1,Arg_2,Arg_3)
1:f1(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0+Arg_1,Arg_1+Arg_2,Arg_2+Arg_3,Arg_3-1):|:1<=Arg_0
2:f1(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0-1,Arg_1,Arg_2,Arg_3):|:1<=Arg_0

MPRF for transition 1:f1(Arg_0,Arg_1,Arg_2,Arg_3) -> f1(Arg_0+Arg_1,Arg_1+Arg_2,Arg_2+Arg_3,Arg_3-1):|:1<=Arg_0 of depth 4:

new bound:

89*Arg_0+89*Arg_1+89*Arg_2+89*Arg_3+268 {O(n)}

MPRF:

f1 [Arg_3+1 ; Arg_2+1 ; Arg_1+1 ; Arg_0 ]

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

new bound:

1340174267760*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+1340174267760*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+1340174267760*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+1347703336680*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+1347703336680*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+1347703336680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+1355232405600*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+1355232405600*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+223362377960*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+223362377960*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+223362377960*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+223362377960*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+224617222780*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+224617222780*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+224617222780*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+228381757240*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+2695406673360*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+2710464811200*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+44672475592*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+44672475592*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+44672475592*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+451744135200*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+451744135200*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+451744135200*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+454253824840*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+454253824840*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+454253824840*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+45927320412*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+893449511840*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+898468891120*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+898468891120*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+898468891120*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+898468891120*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+898468891120*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+898468891120*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+908507649680*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+908507649680*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+908507649680*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+16269446594436*Arg_0*Arg_1*Arg_2*Arg_3+2696410549216*Arg_0*Arg_0*Arg_0*Arg_1+2696410549216*Arg_0*Arg_1*Arg_1*Arg_1+2696417598906*Arg_0*Arg_0*Arg_0*Arg_2+2696417598906*Arg_1*Arg_1*Arg_1*Arg_2+2696431698286*Arg_0*Arg_2*Arg_2*Arg_2+2696431698286*Arg_1*Arg_2*Arg_2*Arg_2+2711567382716*Arg_0*Arg_0*Arg_0*Arg_3+2711567382716*Arg_1*Arg_1*Arg_1*Arg_3+2711588531786*Arg_2*Arg_2*Arg_2*Arg_3+2741881049716*Arg_0*Arg_3*Arg_3*Arg_3+2741881049716*Arg_1*Arg_3*Arg_3*Arg_3+2741888099406*Arg_2*Arg_3*Arg_3*Arg_3+4044615823824*Arg_0*Arg_0*Arg_1*Arg_1+4044636972894*Arg_0*Arg_0*Arg_2*Arg_2+4044636972894*Arg_1*Arg_1*Arg_2*Arg_2+4090086324324*Arg_0*Arg_0*Arg_3*Arg_3+4090086324324*Arg_1*Arg_1*Arg_3*Arg_3+4090107473394*Arg_2*Arg_2*Arg_3*Arg_3+674102637304*Arg_0*Arg_0*Arg_0*Arg_0+674102637304*Arg_1*Arg_1*Arg_1*Arg_1+674109686994*Arg_2*Arg_2*Arg_2*Arg_2+689259470804*Arg_3*Arg_3*Arg_3*Arg_3+8089252796718*Arg_0*Arg_0*Arg_1*Arg_2+8089252796718*Arg_0*Arg_1*Arg_1*Arg_2+8089273945788*Arg_0*Arg_1*Arg_2*Arg_2+8134702148148*Arg_0*Arg_0*Arg_1*Arg_3+8134702148148*Arg_0*Arg_1*Arg_1*Arg_3+8134723297218*Arg_0*Arg_0*Arg_2*Arg_3+8134723297218*Arg_1*Arg_1*Arg_2*Arg_3+8134744446288*Arg_0*Arg_2*Arg_2*Arg_3+8134744446288*Arg_1*Arg_2*Arg_2*Arg_3+8180172648648*Arg_0*Arg_1*Arg_3*Arg_3+8180193797718*Arg_0*Arg_2*Arg_3*Arg_3+8180193797718*Arg_1*Arg_2*Arg_3*Arg_3+12206549554109*Arg_0*Arg_0*Arg_1+12206549593714*Arg_0*Arg_1*Arg_1+12206613357764*Arg_0*Arg_0*Arg_2+12206613436974*Arg_1*Arg_1*Arg_2+12206677201024*Arg_0*Arg_2*Arg_2+12206677240629*Arg_1*Arg_2*Arg_2+12275202247284*Arg_0*Arg_0*Arg_3+12275202326494*Arg_1*Arg_1*Arg_3+12275329933804*Arg_2*Arg_2*Arg_3+12343854980064*Arg_0*Arg_3*Arg_3+12343855019669*Arg_1*Arg_3*Arg_3+12343918823324*Arg_2*Arg_3*Arg_3+24413226794738*Arg_0*Arg_1*Arg_2+24550404573778*Arg_0*Arg_1*Arg_3+24550532181088*Arg_0*Arg_2*Arg_3+24550532260298*Arg_1*Arg_2*Arg_3+4068849838168*Arg_0*Arg_0*Arg_0+4068849877773*Arg_1*Arg_1*Arg_1+4068913681428*Arg_2*Arg_2*Arg_2+4137502570948*Arg_3*Arg_3*Arg_3+12279676947098*Arg_0*Arg_0+12279677185885*Arg_1*Arg_1+12279869671970*Arg_2*Arg_2+12417882115260*Arg_3*Arg_3+24559354132983*Arg_0*Arg_1+24559546619068*Arg_0*Arg_2+24559546857855*Arg_1*Arg_2+24697559062358*Arg_0*Arg_3+24697559301145*Arg_1*Arg_3+24697751787230*Arg_2*Arg_3+18529848285529*Arg_0+18529848645452*Arg_1+18530042212472*Arg_2+18634181269232*Arg_3+11184495910528 {O(n^5)}

MPRF:

f1 [Arg_0 ]

Analysing control-flow refined program

Found invariant 0<=Arg_0 for location n_f1___1

MPRF for transition 33:n_f1___1(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f1___2(Arg_0+Arg_1,Arg_1+Arg_2,Arg_2+Arg_3,Arg_3-1):|:0<=Arg_0 && 0<=Arg_0 && 1<=Arg_0 of depth 4:

new bound:

178*Arg_0+267*Arg_1+267*Arg_2+267*Arg_3+714 {O(n)}

MPRF:

n_f1___1 [Arg_3+1 ; Arg_2+1 ; Arg_1+1 ; Arg_0 ]
n_f1___2 [Arg_3+1 ; Arg_2+1 ; Arg_1+1 ; Arg_0-1 ]

MPRF for transition 34:n_f1___2(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f1___1(Arg_0-1,Arg_1,Arg_2,Arg_3):|:2+Arg_1+Arg_3<=Arg_0+Arg_2 && 1<=Arg_0 of depth 4:

new bound:

178*Arg_0+356*Arg_1+356*Arg_2+356*Arg_3+536 {O(n)}

MPRF:

n_f1___1 [Arg_3 ; Arg_2+Arg_3+1 ; Arg_1+Arg_2+1 ; Arg_0+Arg_1 ]
n_f1___2 [Arg_3+1 ; Arg_2+1 ; Arg_1+1 ; Arg_0 ]

MPRF for transition 35:n_f1___2(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f1___2(Arg_0+Arg_1,Arg_1+Arg_2,Arg_2+Arg_3,Arg_3-1):|:2+Arg_1+Arg_3<=Arg_0+Arg_2 && 1<=Arg_0 of depth 4:

new bound:

178*Arg_0+356*Arg_1+356*Arg_2+356*Arg_3+536 {O(n)}

MPRF:

n_f1___1 [Arg_3 ; Arg_2+Arg_3+1 ; Arg_1+Arg_2+1 ; Arg_0+Arg_1 ]
n_f1___2 [Arg_3+1 ; Arg_2+1 ; Arg_1+1 ; Arg_0 ]

MPRF for transition 32:n_f1___1(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f1___1(Arg_0-1,Arg_1,Arg_2,Arg_3):|:0<=Arg_0 && 0<=Arg_0 && 1<=Arg_0 of depth 1:

new bound:

1195167411988368*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+1195167411988368*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+1202029405402056*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+12889627456171872*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+12908221244776704*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+12908221244776704*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+1330882392836864*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+1330882392836864*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+1336574368940384*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+14362594924101480*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+14362594924101480*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+14383180904342544*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+1480981910825984*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+1483078003613312*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+1483078003613312*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+205850767527936*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+205850767527936*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+206139883774464*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+2145172277927840*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+2145172277927840*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+2148271242695312*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+2148271242695312*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+2157568136997728*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+2157568136997728*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+22872307503104*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+3992647178510592*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+3992647178510592*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+3998339154614112*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+3998339154614112*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+4004031130717632*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+4004031130717632*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+429034455585568*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+429034455585568*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+4290344555855680*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+4290344555855680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+4302740414925568*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+4302740414925568*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+4308938344460512*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+4308938344460512*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+432133420353040*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+4780669647953472*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+4780669647953472*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+4787531641367160*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+4787531641367160*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+4801255628194536*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+4801255628194536*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+7171004471930208*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+7191590452171272*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+7191590452171272*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+740490955412992*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+740490955412992*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+742587048200320*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+7996678309228224*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+8593084970781248*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+8593084970781248*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+8617876688921024*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+15200869134796160*Arg_0*Arg_0*Arg_1*Arg_2+15222215522799384*Arg_0*Arg_0*Arg_1*Arg_3+15222217756141176*Arg_0*Arg_0*Arg_2*Arg_3+16379851310147080*Arg_1*Arg_1*Arg_1*Arg_2+16379856284408344*Arg_1*Arg_2*Arg_2*Arg_2+16403199268694112*Arg_1*Arg_1*Arg_1*Arg_3+16403206730086008*Arg_2*Arg_2*Arg_2*Arg_3+16449900160049440*Arg_1*Arg_3*Arg_3*Arg_3+16449902647180072*Arg_2*Arg_3*Arg_3*Arg_3+24569780695916568*Arg_1*Arg_1*Arg_2*Arg_2+24639824571557664*Arg_1*Arg_1*Arg_3*Arg_3+24639832032949560*Arg_2*Arg_2*Arg_3*Arg_3+27340631287718532*Arg_0*Arg_1*Arg_1*Arg_2+27340635373718856*Arg_0*Arg_1*Arg_2*Arg_2+27379321912413840*Arg_0*Arg_1*Arg_1*Arg_3+27379330084414488*Arg_0*Arg_2*Arg_2*Arg_3+27418016623109472*Arg_0*Arg_1*Arg_3*Arg_3+27418020709109796*Arg_0*Arg_2*Arg_3*Arg_3+2814956241299328*Arg_0*Arg_0*Arg_0*Arg_1+2814956647361472*Arg_0*Arg_0*Arg_0*Arg_2+2818877380392864*Arg_0*Arg_0*Arg_0*Arg_3+390644235100416*Arg_0*Arg_0*Arg_0*Arg_0+4094962205754112*Arg_1*Arg_1*Arg_1*Arg_1+4094964692884744*Arg_2*Arg_2*Arg_2*Arg_2+4118312651431776*Arg_3*Arg_3*Arg_3*Arg_3+49209605267474232*Arg_1*Arg_1*Arg_2*Arg_3+49209612728866128*Arg_1*Arg_2*Arg_2*Arg_3+49279656604507224*Arg_1*Arg_2*Arg_3*Arg_3+54758651996828328*Arg_0*Arg_1*Arg_2*Arg_3+7600433450727184*Arg_0*Arg_0*Arg_1*Arg_1+7600435684068976*Arg_0*Arg_0*Arg_2*Arg_2+7621782072072200*Arg_0*Arg_0*Arg_3*Arg_3+9113542400572736*Arg_0*Arg_1*Arg_1*Arg_1+9113546486573060*Arg_0*Arg_2*Arg_2*Arg_2+9152237111268368*Arg_0*Arg_3*Arg_3*Arg_3+14423184105749512*Arg_0*Arg_0*Arg_1+14423188184335780*Arg_0*Arg_0*Arg_2+14443099019377520*Arg_0*Arg_0*Arg_3+15590196929701324*Arg_1*Arg_1*Arg_1+15590210669816448*Arg_2*Arg_2*Arg_2+15655880364959112*Arg_3*Arg_3*Arg_3+25983308501718774*Arg_0*Arg_1*Arg_1+25983323490737968*Arg_0*Arg_2*Arg_2+26055692989310212*Arg_0*Arg_3*Arg_3+2666431883484800*Arg_0*Arg_0*Arg_0+46770604529219096*Arg_1*Arg_1*Arg_2+46770618269334220*Arg_1*Arg_2*Arg_2+46836274224361760*Arg_1*Arg_1*Arg_3+46836301704592008*Arg_2*Arg_2*Arg_3+46901957659619548*Arg_1*Arg_3*Arg_3+46901971399734672*Arg_2*Arg_3*Arg_3+51966631992456742*Arg_0*Arg_1*Arg_2+52039001491028986*Arg_0*Arg_1*Arg_3+52039016480048180*Arg_0*Arg_2*Arg_3+93672575928953768*Arg_1*Arg_2*Arg_3+29584772673156320*Arg_1*Arg_1+29584797765007844*Arg_2*Arg_2+29666467542491984*Arg_3*Arg_3+32815999780639964*Arg_0*Arg_1+32816013401503810*Arg_0*Arg_2+32860885633897504*Arg_0*Arg_3+59169570438164164*Arg_1*Arg_2+59251240215648304*Arg_1*Arg_3+59251265307499828*Arg_2*Arg_3+9091669994992328*Arg_0*Arg_0+15484426254360979*Arg_0+27972761824273396*Arg_1+27972776944483388*Arg_2+28010637950015524*Arg_3+10537715682834457 {O(n^5)}

MPRF:

n_f1___1 [Arg_0+1 ]
n_f1___2 [0 ]

CFR did not improve the program. Rolling back

All Bounds

Timebounds

Overall timebound:1340174267760*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+1340174267760*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+1340174267760*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+1347703336680*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+1347703336680*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+1347703336680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+1355232405600*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+1355232405600*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+223362377960*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+223362377960*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+223362377960*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+223362377960*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+224617222780*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+224617222780*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+224617222780*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+228381757240*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+2695406673360*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+2710464811200*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+44672475592*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+44672475592*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+44672475592*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+451744135200*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+451744135200*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+451744135200*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+454253824840*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+454253824840*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+454253824840*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+45927320412*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+893449511840*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+898468891120*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+898468891120*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+898468891120*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+898468891120*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+898468891120*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+898468891120*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+908507649680*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+908507649680*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+908507649680*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+16269446594436*Arg_0*Arg_1*Arg_2*Arg_3+2696410549216*Arg_0*Arg_0*Arg_0*Arg_1+2696410549216*Arg_0*Arg_1*Arg_1*Arg_1+2696417598906*Arg_0*Arg_0*Arg_0*Arg_2+2696417598906*Arg_1*Arg_1*Arg_1*Arg_2+2696431698286*Arg_0*Arg_2*Arg_2*Arg_2+2696431698286*Arg_1*Arg_2*Arg_2*Arg_2+2711567382716*Arg_0*Arg_0*Arg_0*Arg_3+2711567382716*Arg_1*Arg_1*Arg_1*Arg_3+2711588531786*Arg_2*Arg_2*Arg_2*Arg_3+2741881049716*Arg_0*Arg_3*Arg_3*Arg_3+2741881049716*Arg_1*Arg_3*Arg_3*Arg_3+2741888099406*Arg_2*Arg_3*Arg_3*Arg_3+4044615823824*Arg_0*Arg_0*Arg_1*Arg_1+4044636972894*Arg_0*Arg_0*Arg_2*Arg_2+4044636972894*Arg_1*Arg_1*Arg_2*Arg_2+4090086324324*Arg_0*Arg_0*Arg_3*Arg_3+4090086324324*Arg_1*Arg_1*Arg_3*Arg_3+4090107473394*Arg_2*Arg_2*Arg_3*Arg_3+674102637304*Arg_0*Arg_0*Arg_0*Arg_0+674102637304*Arg_1*Arg_1*Arg_1*Arg_1+674109686994*Arg_2*Arg_2*Arg_2*Arg_2+689259470804*Arg_3*Arg_3*Arg_3*Arg_3+8089252796718*Arg_0*Arg_0*Arg_1*Arg_2+8089252796718*Arg_0*Arg_1*Arg_1*Arg_2+8089273945788*Arg_0*Arg_1*Arg_2*Arg_2+8134702148148*Arg_0*Arg_0*Arg_1*Arg_3+8134702148148*Arg_0*Arg_1*Arg_1*Arg_3+8134723297218*Arg_0*Arg_0*Arg_2*Arg_3+8134723297218*Arg_1*Arg_1*Arg_2*Arg_3+8134744446288*Arg_0*Arg_2*Arg_2*Arg_3+8134744446288*Arg_1*Arg_2*Arg_2*Arg_3+8180172648648*Arg_0*Arg_1*Arg_3*Arg_3+8180193797718*Arg_0*Arg_2*Arg_3*Arg_3+8180193797718*Arg_1*Arg_2*Arg_3*Arg_3+12206549554109*Arg_0*Arg_0*Arg_1+12206549593714*Arg_0*Arg_1*Arg_1+12206613357764*Arg_0*Arg_0*Arg_2+12206613436974*Arg_1*Arg_1*Arg_2+12206677201024*Arg_0*Arg_2*Arg_2+12206677240629*Arg_1*Arg_2*Arg_2+12275202247284*Arg_0*Arg_0*Arg_3+12275202326494*Arg_1*Arg_1*Arg_3+12275329933804*Arg_2*Arg_2*Arg_3+12343854980064*Arg_0*Arg_3*Arg_3+12343855019669*Arg_1*Arg_3*Arg_3+12343918823324*Arg_2*Arg_3*Arg_3+24413226794738*Arg_0*Arg_1*Arg_2+24550404573778*Arg_0*Arg_1*Arg_3+24550532181088*Arg_0*Arg_2*Arg_3+24550532260298*Arg_1*Arg_2*Arg_3+4068849838168*Arg_0*Arg_0*Arg_0+4068849877773*Arg_1*Arg_1*Arg_1+4068913681428*Arg_2*Arg_2*Arg_2+4137502570948*Arg_3*Arg_3*Arg_3+12279676947098*Arg_0*Arg_0+12279677185885*Arg_1*Arg_1+12279869671970*Arg_2*Arg_2+12417882115260*Arg_3*Arg_3+24559354132983*Arg_0*Arg_1+24559546619068*Arg_0*Arg_2+24559546857855*Arg_1*Arg_2+24697559062358*Arg_0*Arg_3+24697559301145*Arg_1*Arg_3+24697751787230*Arg_2*Arg_3+18529848285618*Arg_0+18529848645541*Arg_1+18530042212561*Arg_2+18634181269321*Arg_3+11184495910797 {O(n^5)}
0: f0->f1: 1 {O(1)}
1: f1->f1: 89*Arg_0+89*Arg_1+89*Arg_2+89*Arg_3+268 {O(n)}
2: f1->f1: 1340174267760*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+1340174267760*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+1340174267760*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+1347703336680*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+1347703336680*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+1347703336680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+1355232405600*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+1355232405600*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+223362377960*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+223362377960*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+223362377960*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+223362377960*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+224617222780*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+224617222780*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+224617222780*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+228381757240*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+2695406673360*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+2710464811200*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+44672475592*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+44672475592*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+44672475592*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+451744135200*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+451744135200*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+451744135200*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+454253824840*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+454253824840*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+454253824840*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+45927320412*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+893449511840*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+898468891120*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+898468891120*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+898468891120*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+898468891120*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+898468891120*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+898468891120*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+908507649680*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+908507649680*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+908507649680*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+16269446594436*Arg_0*Arg_1*Arg_2*Arg_3+2696410549216*Arg_0*Arg_0*Arg_0*Arg_1+2696410549216*Arg_0*Arg_1*Arg_1*Arg_1+2696417598906*Arg_0*Arg_0*Arg_0*Arg_2+2696417598906*Arg_1*Arg_1*Arg_1*Arg_2+2696431698286*Arg_0*Arg_2*Arg_2*Arg_2+2696431698286*Arg_1*Arg_2*Arg_2*Arg_2+2711567382716*Arg_0*Arg_0*Arg_0*Arg_3+2711567382716*Arg_1*Arg_1*Arg_1*Arg_3+2711588531786*Arg_2*Arg_2*Arg_2*Arg_3+2741881049716*Arg_0*Arg_3*Arg_3*Arg_3+2741881049716*Arg_1*Arg_3*Arg_3*Arg_3+2741888099406*Arg_2*Arg_3*Arg_3*Arg_3+4044615823824*Arg_0*Arg_0*Arg_1*Arg_1+4044636972894*Arg_0*Arg_0*Arg_2*Arg_2+4044636972894*Arg_1*Arg_1*Arg_2*Arg_2+4090086324324*Arg_0*Arg_0*Arg_3*Arg_3+4090086324324*Arg_1*Arg_1*Arg_3*Arg_3+4090107473394*Arg_2*Arg_2*Arg_3*Arg_3+674102637304*Arg_0*Arg_0*Arg_0*Arg_0+674102637304*Arg_1*Arg_1*Arg_1*Arg_1+674109686994*Arg_2*Arg_2*Arg_2*Arg_2+689259470804*Arg_3*Arg_3*Arg_3*Arg_3+8089252796718*Arg_0*Arg_0*Arg_1*Arg_2+8089252796718*Arg_0*Arg_1*Arg_1*Arg_2+8089273945788*Arg_0*Arg_1*Arg_2*Arg_2+8134702148148*Arg_0*Arg_0*Arg_1*Arg_3+8134702148148*Arg_0*Arg_1*Arg_1*Arg_3+8134723297218*Arg_0*Arg_0*Arg_2*Arg_3+8134723297218*Arg_1*Arg_1*Arg_2*Arg_3+8134744446288*Arg_0*Arg_2*Arg_2*Arg_3+8134744446288*Arg_1*Arg_2*Arg_2*Arg_3+8180172648648*Arg_0*Arg_1*Arg_3*Arg_3+8180193797718*Arg_0*Arg_2*Arg_3*Arg_3+8180193797718*Arg_1*Arg_2*Arg_3*Arg_3+12206549554109*Arg_0*Arg_0*Arg_1+12206549593714*Arg_0*Arg_1*Arg_1+12206613357764*Arg_0*Arg_0*Arg_2+12206613436974*Arg_1*Arg_1*Arg_2+12206677201024*Arg_0*Arg_2*Arg_2+12206677240629*Arg_1*Arg_2*Arg_2+12275202247284*Arg_0*Arg_0*Arg_3+12275202326494*Arg_1*Arg_1*Arg_3+12275329933804*Arg_2*Arg_2*Arg_3+12343854980064*Arg_0*Arg_3*Arg_3+12343855019669*Arg_1*Arg_3*Arg_3+12343918823324*Arg_2*Arg_3*Arg_3+24413226794738*Arg_0*Arg_1*Arg_2+24550404573778*Arg_0*Arg_1*Arg_3+24550532181088*Arg_0*Arg_2*Arg_3+24550532260298*Arg_1*Arg_2*Arg_3+4068849838168*Arg_0*Arg_0*Arg_0+4068849877773*Arg_1*Arg_1*Arg_1+4068913681428*Arg_2*Arg_2*Arg_2+4137502570948*Arg_3*Arg_3*Arg_3+12279676947098*Arg_0*Arg_0+12279677185885*Arg_1*Arg_1+12279869671970*Arg_2*Arg_2+12417882115260*Arg_3*Arg_3+24559354132983*Arg_0*Arg_1+24559546619068*Arg_0*Arg_2+24559546857855*Arg_1*Arg_2+24697559062358*Arg_0*Arg_3+24697559301145*Arg_1*Arg_3+24697751787230*Arg_2*Arg_3+18529848285529*Arg_0+18529848645452*Arg_1+18530042212472*Arg_2+18634181269232*Arg_3+11184495910528 {O(n^5)}

Costbounds

Overall costbound: 1340174267760*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+1340174267760*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+1340174267760*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+1347703336680*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+1347703336680*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+1347703336680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+1355232405600*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+1355232405600*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+223362377960*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+223362377960*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+223362377960*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+223362377960*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+224617222780*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+224617222780*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+224617222780*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+228381757240*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+2695406673360*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+2710464811200*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+44672475592*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+44672475592*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+44672475592*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+451744135200*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+451744135200*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+451744135200*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+454253824840*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+454253824840*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+454253824840*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+45927320412*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+893449511840*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+898468891120*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+898468891120*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+898468891120*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+898468891120*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+898468891120*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+898468891120*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+908507649680*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+908507649680*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+908507649680*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+16269446594436*Arg_0*Arg_1*Arg_2*Arg_3+2696410549216*Arg_0*Arg_0*Arg_0*Arg_1+2696410549216*Arg_0*Arg_1*Arg_1*Arg_1+2696417598906*Arg_0*Arg_0*Arg_0*Arg_2+2696417598906*Arg_1*Arg_1*Arg_1*Arg_2+2696431698286*Arg_0*Arg_2*Arg_2*Arg_2+2696431698286*Arg_1*Arg_2*Arg_2*Arg_2+2711567382716*Arg_0*Arg_0*Arg_0*Arg_3+2711567382716*Arg_1*Arg_1*Arg_1*Arg_3+2711588531786*Arg_2*Arg_2*Arg_2*Arg_3+2741881049716*Arg_0*Arg_3*Arg_3*Arg_3+2741881049716*Arg_1*Arg_3*Arg_3*Arg_3+2741888099406*Arg_2*Arg_3*Arg_3*Arg_3+4044615823824*Arg_0*Arg_0*Arg_1*Arg_1+4044636972894*Arg_0*Arg_0*Arg_2*Arg_2+4044636972894*Arg_1*Arg_1*Arg_2*Arg_2+4090086324324*Arg_0*Arg_0*Arg_3*Arg_3+4090086324324*Arg_1*Arg_1*Arg_3*Arg_3+4090107473394*Arg_2*Arg_2*Arg_3*Arg_3+674102637304*Arg_0*Arg_0*Arg_0*Arg_0+674102637304*Arg_1*Arg_1*Arg_1*Arg_1+674109686994*Arg_2*Arg_2*Arg_2*Arg_2+689259470804*Arg_3*Arg_3*Arg_3*Arg_3+8089252796718*Arg_0*Arg_0*Arg_1*Arg_2+8089252796718*Arg_0*Arg_1*Arg_1*Arg_2+8089273945788*Arg_0*Arg_1*Arg_2*Arg_2+8134702148148*Arg_0*Arg_0*Arg_1*Arg_3+8134702148148*Arg_0*Arg_1*Arg_1*Arg_3+8134723297218*Arg_0*Arg_0*Arg_2*Arg_3+8134723297218*Arg_1*Arg_1*Arg_2*Arg_3+8134744446288*Arg_0*Arg_2*Arg_2*Arg_3+8134744446288*Arg_1*Arg_2*Arg_2*Arg_3+8180172648648*Arg_0*Arg_1*Arg_3*Arg_3+8180193797718*Arg_0*Arg_2*Arg_3*Arg_3+8180193797718*Arg_1*Arg_2*Arg_3*Arg_3+12206549554109*Arg_0*Arg_0*Arg_1+12206549593714*Arg_0*Arg_1*Arg_1+12206613357764*Arg_0*Arg_0*Arg_2+12206613436974*Arg_1*Arg_1*Arg_2+12206677201024*Arg_0*Arg_2*Arg_2+12206677240629*Arg_1*Arg_2*Arg_2+12275202247284*Arg_0*Arg_0*Arg_3+12275202326494*Arg_1*Arg_1*Arg_3+12275329933804*Arg_2*Arg_2*Arg_3+12343854980064*Arg_0*Arg_3*Arg_3+12343855019669*Arg_1*Arg_3*Arg_3+12343918823324*Arg_2*Arg_3*Arg_3+24413226794738*Arg_0*Arg_1*Arg_2+24550404573778*Arg_0*Arg_1*Arg_3+24550532181088*Arg_0*Arg_2*Arg_3+24550532260298*Arg_1*Arg_2*Arg_3+4068849838168*Arg_0*Arg_0*Arg_0+4068849877773*Arg_1*Arg_1*Arg_1+4068913681428*Arg_2*Arg_2*Arg_2+4137502570948*Arg_3*Arg_3*Arg_3+12279676947098*Arg_0*Arg_0+12279677185885*Arg_1*Arg_1+12279869671970*Arg_2*Arg_2+12417882115260*Arg_3*Arg_3+24559354132983*Arg_0*Arg_1+24559546619068*Arg_0*Arg_2+24559546857855*Arg_1*Arg_2+24697559062358*Arg_0*Arg_3+24697559301145*Arg_1*Arg_3+24697751787230*Arg_2*Arg_3+18529848285618*Arg_0+18529848645541*Arg_1+18530042212561*Arg_2+18634181269321*Arg_3+11184495910797 {O(n^5)}
0: f0->f1: 1 {O(1)}
1: f1->f1: 89*Arg_0+89*Arg_1+89*Arg_2+89*Arg_3+268 {O(n)}
2: f1->f1: 1340174267760*Arg_0*Arg_0*Arg_1*Arg_1*Arg_2+1340174267760*Arg_0*Arg_0*Arg_1*Arg_2*Arg_2+1340174267760*Arg_0*Arg_1*Arg_1*Arg_2*Arg_2+1347703336680*Arg_0*Arg_0*Arg_1*Arg_1*Arg_3+1347703336680*Arg_0*Arg_0*Arg_2*Arg_2*Arg_3+1347703336680*Arg_1*Arg_1*Arg_2*Arg_2*Arg_3+1355232405600*Arg_0*Arg_0*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_0*Arg_2*Arg_3*Arg_3+1355232405600*Arg_0*Arg_1*Arg_1*Arg_3*Arg_3+1355232405600*Arg_0*Arg_2*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_1*Arg_2*Arg_3*Arg_3+1355232405600*Arg_1*Arg_2*Arg_2*Arg_3*Arg_3+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_1+223362377960*Arg_0*Arg_0*Arg_0*Arg_0*Arg_2+223362377960*Arg_0*Arg_1*Arg_1*Arg_1*Arg_1+223362377960*Arg_0*Arg_2*Arg_2*Arg_2*Arg_2+223362377960*Arg_1*Arg_1*Arg_1*Arg_1*Arg_2+223362377960*Arg_1*Arg_2*Arg_2*Arg_2*Arg_2+224617222780*Arg_0*Arg_0*Arg_0*Arg_0*Arg_3+224617222780*Arg_1*Arg_1*Arg_1*Arg_1*Arg_3+224617222780*Arg_2*Arg_2*Arg_2*Arg_2*Arg_3+228381757240*Arg_0*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_1*Arg_3*Arg_3*Arg_3*Arg_3+228381757240*Arg_2*Arg_3*Arg_3*Arg_3*Arg_3+2695406673360*Arg_0*Arg_0*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_1*Arg_2*Arg_3+2695406673360*Arg_0*Arg_1*Arg_2*Arg_2*Arg_3+2710464811200*Arg_0*Arg_1*Arg_2*Arg_3*Arg_3+44672475592*Arg_0*Arg_0*Arg_0*Arg_0*Arg_0+44672475592*Arg_1*Arg_1*Arg_1*Arg_1*Arg_1+44672475592*Arg_2*Arg_2*Arg_2*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_0*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_0*Arg_2*Arg_2+446724755920*Arg_0*Arg_0*Arg_1*Arg_1*Arg_1+446724755920*Arg_0*Arg_0*Arg_2*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_1*Arg_2*Arg_2+446724755920*Arg_1*Arg_1*Arg_2*Arg_2*Arg_2+451744135200*Arg_0*Arg_0*Arg_0*Arg_3*Arg_3+451744135200*Arg_1*Arg_1*Arg_1*Arg_3*Arg_3+451744135200*Arg_2*Arg_2*Arg_2*Arg_3*Arg_3+454253824840*Arg_0*Arg_0*Arg_3*Arg_3*Arg_3+454253824840*Arg_1*Arg_1*Arg_3*Arg_3*Arg_3+454253824840*Arg_2*Arg_2*Arg_3*Arg_3*Arg_3+45927320412*Arg_3*Arg_3*Arg_3*Arg_3*Arg_3+893449511840*Arg_0*Arg_0*Arg_0*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_1*Arg_1*Arg_2+893449511840*Arg_0*Arg_1*Arg_2*Arg_2*Arg_2+898468891120*Arg_0*Arg_0*Arg_0*Arg_1*Arg_3+898468891120*Arg_0*Arg_0*Arg_0*Arg_2*Arg_3+898468891120*Arg_0*Arg_1*Arg_1*Arg_1*Arg_3+898468891120*Arg_0*Arg_2*Arg_2*Arg_2*Arg_3+898468891120*Arg_1*Arg_1*Arg_1*Arg_2*Arg_3+898468891120*Arg_1*Arg_2*Arg_2*Arg_2*Arg_3+908507649680*Arg_0*Arg_1*Arg_3*Arg_3*Arg_3+908507649680*Arg_0*Arg_2*Arg_3*Arg_3*Arg_3+908507649680*Arg_1*Arg_2*Arg_3*Arg_3*Arg_3+16269446594436*Arg_0*Arg_1*Arg_2*Arg_3+2696410549216*Arg_0*Arg_0*Arg_0*Arg_1+2696410549216*Arg_0*Arg_1*Arg_1*Arg_1+2696417598906*Arg_0*Arg_0*Arg_0*Arg_2+2696417598906*Arg_1*Arg_1*Arg_1*Arg_2+2696431698286*Arg_0*Arg_2*Arg_2*Arg_2+2696431698286*Arg_1*Arg_2*Arg_2*Arg_2+2711567382716*Arg_0*Arg_0*Arg_0*Arg_3+2711567382716*Arg_1*Arg_1*Arg_1*Arg_3+2711588531786*Arg_2*Arg_2*Arg_2*Arg_3+2741881049716*Arg_0*Arg_3*Arg_3*Arg_3+2741881049716*Arg_1*Arg_3*Arg_3*Arg_3+2741888099406*Arg_2*Arg_3*Arg_3*Arg_3+4044615823824*Arg_0*Arg_0*Arg_1*Arg_1+4044636972894*Arg_0*Arg_0*Arg_2*Arg_2+4044636972894*Arg_1*Arg_1*Arg_2*Arg_2+4090086324324*Arg_0*Arg_0*Arg_3*Arg_3+4090086324324*Arg_1*Arg_1*Arg_3*Arg_3+4090107473394*Arg_2*Arg_2*Arg_3*Arg_3+674102637304*Arg_0*Arg_0*Arg_0*Arg_0+674102637304*Arg_1*Arg_1*Arg_1*Arg_1+674109686994*Arg_2*Arg_2*Arg_2*Arg_2+689259470804*Arg_3*Arg_3*Arg_3*Arg_3+8089252796718*Arg_0*Arg_0*Arg_1*Arg_2+8089252796718*Arg_0*Arg_1*Arg_1*Arg_2+8089273945788*Arg_0*Arg_1*Arg_2*Arg_2+8134702148148*Arg_0*Arg_0*Arg_1*Arg_3+8134702148148*Arg_0*Arg_1*Arg_1*Arg_3+8134723297218*Arg_0*Arg_0*Arg_2*Arg_3+8134723297218*Arg_1*Arg_1*Arg_2*Arg_3+8134744446288*Arg_0*Arg_2*Arg_2*Arg_3+8134744446288*Arg_1*Arg_2*Arg_2*Arg_3+8180172648648*Arg_0*Arg_1*Arg_3*Arg_3+8180193797718*Arg_0*Arg_2*Arg_3*Arg_3+8180193797718*Arg_1*Arg_2*Arg_3*Arg_3+12206549554109*Arg_0*Arg_0*Arg_1+12206549593714*Arg_0*Arg_1*Arg_1+12206613357764*Arg_0*Arg_0*Arg_2+12206613436974*Arg_1*Arg_1*Arg_2+12206677201024*Arg_0*Arg_2*Arg_2+12206677240629*Arg_1*Arg_2*Arg_2+12275202247284*Arg_0*Arg_0*Arg_3+12275202326494*Arg_1*Arg_1*Arg_3+12275329933804*Arg_2*Arg_2*Arg_3+12343854980064*Arg_0*Arg_3*Arg_3+12343855019669*Arg_1*Arg_3*Arg_3+12343918823324*Arg_2*Arg_3*Arg_3+24413226794738*Arg_0*Arg_1*Arg_2+24550404573778*Arg_0*Arg_1*Arg_3+24550532181088*Arg_0*Arg_2*Arg_3+24550532260298*Arg_1*Arg_2*Arg_3+4068849838168*Arg_0*Arg_0*Arg_0+4068849877773*Arg_1*Arg_1*Arg_1+4068913681428*Arg_2*Arg_2*Arg_2+4137502570948*Arg_3*Arg_3*Arg_3+12279676947098*Arg_0*Arg_0+12279677185885*Arg_1*Arg_1+12279869671970*Arg_2*Arg_2+12417882115260*Arg_3*Arg_3+24559354132983*Arg_0*Arg_1+24559546619068*Arg_0*Arg_2+24559546857855*Arg_1*Arg_2+24697559062358*Arg_0*Arg_3+24697559301145*Arg_1*Arg_3+24697751787230*Arg_2*Arg_3+18529848285529*Arg_0+18529848645452*Arg_1+18530042212472*Arg_2+18634181269232*Arg_3+11184495910528 {O(n^5)}

Sizebounds

0: f0->f1, Arg_0: Arg_0 {O(n)}
0: f0->f1, Arg_1: Arg_1 {O(n)}
0: f0->f1, Arg_2: Arg_2 {O(n)}
0: f0->f1, Arg_3: Arg_3 {O(n)}
1: f1->f1, Arg_0: 12131106552*Arg_0*Arg_1*Arg_2*Arg_3+2007751712*Arg_0*Arg_0*Arg_0*Arg_1+2007751712*Arg_0*Arg_0*Arg_0*Arg_2+2007751712*Arg_0*Arg_1*Arg_1*Arg_1+2007751712*Arg_0*Arg_2*Arg_2*Arg_2+2007751712*Arg_1*Arg_1*Arg_1*Arg_2+2007751712*Arg_1*Arg_2*Arg_2*Arg_2+2021851092*Arg_0*Arg_0*Arg_0*Arg_3+2021851092*Arg_1*Arg_1*Arg_1*Arg_3+2021851092*Arg_2*Arg_2*Arg_2*Arg_3+2050049852*Arg_0*Arg_3*Arg_3*Arg_3+2050049852*Arg_1*Arg_3*Arg_3*Arg_3+2050049852*Arg_2*Arg_3*Arg_3*Arg_3+3011627568*Arg_0*Arg_0*Arg_1*Arg_1+3011627568*Arg_0*Arg_0*Arg_2*Arg_2+3011627568*Arg_1*Arg_1*Arg_2*Arg_2+3053925708*Arg_0*Arg_0*Arg_3*Arg_3+3053925708*Arg_1*Arg_1*Arg_3*Arg_3+3053925708*Arg_2*Arg_2*Arg_3*Arg_3+501937928*Arg_0*Arg_0*Arg_0*Arg_0+501937928*Arg_1*Arg_1*Arg_1*Arg_1+501937928*Arg_2*Arg_2*Arg_2*Arg_2+516037308*Arg_3*Arg_3*Arg_3*Arg_3+6023255136*Arg_0*Arg_0*Arg_1*Arg_2+6023255136*Arg_0*Arg_1*Arg_1*Arg_2+6023255136*Arg_0*Arg_1*Arg_2*Arg_2+6065553276*Arg_0*Arg_0*Arg_1*Arg_3+6065553276*Arg_0*Arg_0*Arg_2*Arg_3+6065553276*Arg_0*Arg_1*Arg_1*Arg_3+6065553276*Arg_0*Arg_2*Arg_2*Arg_3+6065553276*Arg_1*Arg_1*Arg_2*Arg_3+6065553276*Arg_1*Arg_2*Arg_2*Arg_3+6107851416*Arg_0*Arg_1*Arg_3*Arg_3+6107851416*Arg_0*Arg_2*Arg_3*Arg_3+6107851416*Arg_1*Arg_2*Arg_3*Arg_3+18188200200*Arg_0*Arg_0*Arg_1+18188200200*Arg_0*Arg_1*Arg_1+18188279410*Arg_0*Arg_0*Arg_2+18188279410*Arg_1*Arg_1*Arg_2+18188358620*Arg_0*Arg_2*Arg_2+18188358620*Arg_1*Arg_2*Arg_2+18316045140*Arg_0*Arg_0*Arg_3+18316045140*Arg_1*Arg_1*Arg_3+18316203560*Arg_2*Arg_2*Arg_3+18443890080*Arg_0*Arg_3*Arg_3+18443890080*Arg_1*Arg_3*Arg_3+18443969290*Arg_2*Arg_3*Arg_3+36376558820*Arg_0*Arg_1*Arg_2+36632090280*Arg_0*Arg_1*Arg_3+36632248700*Arg_0*Arg_2*Arg_3+36632248700*Arg_1*Arg_2*Arg_3+6062733400*Arg_0*Arg_0*Arg_0+6062733400*Arg_1*Arg_1*Arg_1+6062812610*Arg_2*Arg_2*Arg_2+6190578340*Arg_3*Arg_3*Arg_3+27461093112*Arg_0*Arg_0+27461093557*Arg_1*Arg_1+27461571932*Arg_2*Arg_2+27847500852*Arg_3*Arg_3+54922186669*Arg_0*Arg_1+54922665044*Arg_0*Arg_2+54922665489*Arg_1*Arg_2+55308593964*Arg_0*Arg_3+55308594409*Arg_1*Arg_3+55309072784*Arg_2*Arg_3+55282067338*Arg_0+55282068681*Arg_1+55282790946*Arg_2+55671369516*Arg_3+41733193696 {O(n^4)}
1: f1->f1, Arg_1: 16919256*Arg_0*Arg_1*Arg_2+17077676*Arg_0*Arg_1*Arg_3+17077676*Arg_0*Arg_2*Arg_3+17077676*Arg_1*Arg_2*Arg_3+2819876*Arg_0*Arg_0*Arg_0+2819876*Arg_1*Arg_1*Arg_1+2819876*Arg_2*Arg_2*Arg_2+2899086*Arg_3*Arg_3*Arg_3+8459628*Arg_0*Arg_0*Arg_1+8459628*Arg_0*Arg_0*Arg_2+8459628*Arg_0*Arg_1*Arg_1+8459628*Arg_0*Arg_2*Arg_2+8459628*Arg_1*Arg_1*Arg_2+8459628*Arg_1*Arg_2*Arg_2+8538838*Arg_0*Arg_0*Arg_3+8538838*Arg_1*Arg_1*Arg_3+8538838*Arg_2*Arg_2*Arg_3+8618048*Arg_0*Arg_3*Arg_3+8618048*Arg_1*Arg_3*Arg_3+8618048*Arg_2*Arg_3*Arg_3+25537304*Arg_0*Arg_0+25537304*Arg_1*Arg_1+25537749*Arg_2*Arg_2+26016124*Arg_3*Arg_3+51074608*Arg_0*Arg_1+51075053*Arg_0*Arg_2+51075053*Arg_1*Arg_2+51553428*Arg_0*Arg_3+51553428*Arg_1*Arg_3+51553873*Arg_2*Arg_3+77090020*Arg_0+77090022*Arg_1+77091365*Arg_2+77813630*Arg_3+77570992 {O(n^3)}
1: f1->f1, Arg_2: 15842*Arg_0*Arg_0+15842*Arg_1*Arg_1+15842*Arg_2*Arg_2+16287*Arg_3*Arg_3+31684*Arg_0*Arg_1+31684*Arg_0*Arg_2+31684*Arg_1*Arg_2+32129*Arg_0*Arg_3+32129*Arg_1*Arg_3+32129*Arg_2*Arg_3+95586*Arg_0+95586*Arg_1+95588*Arg_2+96931*Arg_3+144184 {O(n^2)}
1: f1->f1, Arg_3: 89*Arg_0+89*Arg_1+89*Arg_2+91*Arg_3+268 {O(n)}
2: f1->f1, Arg_0: 12131106552*Arg_0*Arg_1*Arg_2*Arg_3+2007751712*Arg_0*Arg_0*Arg_0*Arg_1+2007751712*Arg_0*Arg_0*Arg_0*Arg_2+2007751712*Arg_0*Arg_1*Arg_1*Arg_1+2007751712*Arg_0*Arg_2*Arg_2*Arg_2+2007751712*Arg_1*Arg_1*Arg_1*Arg_2+2007751712*Arg_1*Arg_2*Arg_2*Arg_2+2021851092*Arg_0*Arg_0*Arg_0*Arg_3+2021851092*Arg_1*Arg_1*Arg_1*Arg_3+2021851092*Arg_2*Arg_2*Arg_2*Arg_3+2050049852*Arg_0*Arg_3*Arg_3*Arg_3+2050049852*Arg_1*Arg_3*Arg_3*Arg_3+2050049852*Arg_2*Arg_3*Arg_3*Arg_3+3011627568*Arg_0*Arg_0*Arg_1*Arg_1+3011627568*Arg_0*Arg_0*Arg_2*Arg_2+3011627568*Arg_1*Arg_1*Arg_2*Arg_2+3053925708*Arg_0*Arg_0*Arg_3*Arg_3+3053925708*Arg_1*Arg_1*Arg_3*Arg_3+3053925708*Arg_2*Arg_2*Arg_3*Arg_3+501937928*Arg_0*Arg_0*Arg_0*Arg_0+501937928*Arg_1*Arg_1*Arg_1*Arg_1+501937928*Arg_2*Arg_2*Arg_2*Arg_2+516037308*Arg_3*Arg_3*Arg_3*Arg_3+6023255136*Arg_0*Arg_0*Arg_1*Arg_2+6023255136*Arg_0*Arg_1*Arg_1*Arg_2+6023255136*Arg_0*Arg_1*Arg_2*Arg_2+6065553276*Arg_0*Arg_0*Arg_1*Arg_3+6065553276*Arg_0*Arg_0*Arg_2*Arg_3+6065553276*Arg_0*Arg_1*Arg_1*Arg_3+6065553276*Arg_0*Arg_2*Arg_2*Arg_3+6065553276*Arg_1*Arg_1*Arg_2*Arg_3+6065553276*Arg_1*Arg_2*Arg_2*Arg_3+6107851416*Arg_0*Arg_1*Arg_3*Arg_3+6107851416*Arg_0*Arg_2*Arg_3*Arg_3+6107851416*Arg_1*Arg_2*Arg_3*Arg_3+18188200200*Arg_0*Arg_0*Arg_1+18188200200*Arg_0*Arg_1*Arg_1+18188279410*Arg_0*Arg_0*Arg_2+18188279410*Arg_1*Arg_1*Arg_2+18188358620*Arg_0*Arg_2*Arg_2+18188358620*Arg_1*Arg_2*Arg_2+18316045140*Arg_0*Arg_0*Arg_3+18316045140*Arg_1*Arg_1*Arg_3+18316203560*Arg_2*Arg_2*Arg_3+18443890080*Arg_0*Arg_3*Arg_3+18443890080*Arg_1*Arg_3*Arg_3+18443969290*Arg_2*Arg_3*Arg_3+36376558820*Arg_0*Arg_1*Arg_2+36632090280*Arg_0*Arg_1*Arg_3+36632248700*Arg_0*Arg_2*Arg_3+36632248700*Arg_1*Arg_2*Arg_3+6062733400*Arg_0*Arg_0*Arg_0+6062733400*Arg_1*Arg_1*Arg_1+6062812610*Arg_2*Arg_2*Arg_2+6190578340*Arg_3*Arg_3*Arg_3+27461093112*Arg_0*Arg_0+27461093557*Arg_1*Arg_1+27461571932*Arg_2*Arg_2+27847500852*Arg_3*Arg_3+54922186669*Arg_0*Arg_1+54922665044*Arg_0*Arg_2+54922665489*Arg_1*Arg_2+55308593964*Arg_0*Arg_3+55308594409*Arg_1*Arg_3+55309072784*Arg_2*Arg_3+55282067338*Arg_0+55282068681*Arg_1+55282790946*Arg_2+55671369516*Arg_3+41733193696 {O(n^4)}
2: f1->f1, Arg_1: 16919256*Arg_0*Arg_1*Arg_2+17077676*Arg_0*Arg_1*Arg_3+17077676*Arg_0*Arg_2*Arg_3+17077676*Arg_1*Arg_2*Arg_3+2819876*Arg_0*Arg_0*Arg_0+2819876*Arg_1*Arg_1*Arg_1+2819876*Arg_2*Arg_2*Arg_2+2899086*Arg_3*Arg_3*Arg_3+8459628*Arg_0*Arg_0*Arg_1+8459628*Arg_0*Arg_0*Arg_2+8459628*Arg_0*Arg_1*Arg_1+8459628*Arg_0*Arg_2*Arg_2+8459628*Arg_1*Arg_1*Arg_2+8459628*Arg_1*Arg_2*Arg_2+8538838*Arg_0*Arg_0*Arg_3+8538838*Arg_1*Arg_1*Arg_3+8538838*Arg_2*Arg_2*Arg_3+8618048*Arg_0*Arg_3*Arg_3+8618048*Arg_1*Arg_3*Arg_3+8618048*Arg_2*Arg_3*Arg_3+25537304*Arg_0*Arg_0+25537304*Arg_1*Arg_1+25537749*Arg_2*Arg_2+26016124*Arg_3*Arg_3+51074608*Arg_0*Arg_1+51075053*Arg_0*Arg_2+51075053*Arg_1*Arg_2+51553428*Arg_0*Arg_3+51553428*Arg_1*Arg_3+51553873*Arg_2*Arg_3+77090020*Arg_0+77090022*Arg_1+77091365*Arg_2+77813630*Arg_3+77570992 {O(n^3)}
2: f1->f1, Arg_2: 15842*Arg_0*Arg_0+15842*Arg_1*Arg_1+15842*Arg_2*Arg_2+16287*Arg_3*Arg_3+31684*Arg_0*Arg_1+31684*Arg_0*Arg_2+31684*Arg_1*Arg_2+32129*Arg_0*Arg_3+32129*Arg_1*Arg_3+32129*Arg_2*Arg_3+95586*Arg_0+95586*Arg_1+95588*Arg_2+96931*Arg_3+144184 {O(n^2)}
2: f1->f1, Arg_3: 89*Arg_0+89*Arg_1+89*Arg_2+91*Arg_3+268 {O(n)}