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
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
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 ]
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 ]
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)}
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)}
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)}