Details

Time bar (total: 3.0m)

sample27.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify3.0m

Counts
1 → 1
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
010283
126243
294203
3242203
4441203
5669203
6997203
71358203
81550203
91634203
101653203
111660203
121664203
131668203
141672203
151676203
161680203
171684203
181688203
191692203
201696203
211700203
221704203
231708203
241712203
251716203
261720203
271724203
281728203
291732203
301736203
311740203
321744203
331748203
341752203
351756203
361760203
371764203
381768203
391772203
401776203
411780203
421784203
431788203
441792203
451796203
461800203
471804203
481808203
491812203
501816203
511820203
521824203
531828203
541832203
551836203
561840203
571844203
581848203
591852203
601856203
611860203
621864203
631868203
641872203
651876203
661880203
671884203
681888203
691892203
701896203
711900203
721904203
731908203
741912203
751916203
761920203
771924203
781928203
791932203
801936203
811940203
821944203
831948203
841952203
851956203
861960203
871964203
881968203
891972203
901976203
911980203
921984203
931988203
941992203
951996203
962000203
972004203
982008203
992012203
1002016203
1012020203
1022024203
1032028203
1042032203
1052036203
1062040203
1072044203
1082048203
1092052203
1102056203
1112060203
1122064203
1132068203
1142072203
1152076203
1162080203
1172084203
1182088203
1192092203
1202096203
1212100203
1222104203
1232108203
1242112203
1252116203
1262120203
1272124203
1282128203
1292132203
1302136203
1312140203
1322144203
1332148203
1342152203
1352156203
1362160203
1372164203
1382168203
1392172203
1402176203
1412180203
1422184203
1432188203
1442192203
1452196203
1462200203
1472204203
1482208203
1492212203
1502216203
1512220203
1522224203
1532228203
1542232203
1552236203
1562240203
1572244203
1582248203
1592252203
1602256203
1612260203
1622264203
1632268203
1642272203
1652276203
1662280203
1672284203
1682288203
1692292203
1702296203
1712300203
1722304203
1732308203
1742312203
1752316203
1762320203
1772324203
1782328203
1792332203
1802336203
1812340203
1822344203
1832348203
1842352203
1852356203
1862360203
1872364203
1882368203
1892372203
1902376203
1912380203
1922384203
1932388203
1942392203
1952396203
1962400203
1972404203
1982408203
1992412203
2002416203
2012420203
2022424203
2032428203
2042432203
2052436203
2062440203
2072444203
2082448203
2092452203
2102456203
2112460203
2122464203
2132468203
2142472203
2152476203
2162480203
2172484203
2182488203
2192492203
2202496203
2212500203
2222504203
2232508203
2242512203
2252516203
2262520203
2272524203
2282528203
2292532203
2302536203
2312540203
2322544203
2332548203
2342552203
2352556203
2362560203
2372564203
2382568203
2392572203
2402576203
2412580203
2422584203
2432588203
2442592203
2452596203
2462600203
2472604203
2482608203
2492612203
2502616203
2512620203
2522624203
2532628203
2542632203
2552636203
2562640203
2572644203
2582648203
2592652203
2602656203
2612660203
2622664203
2632668203
2642672203
2652676203
2662680203
2672684203
2682688203
2692692203
2702696203
2712700203
2722704203
2732708203
2742712203
2752716203
2762720203
2772724203
2782728203
2792732203
2802736203
2812740203
2822744203
2832748203
2842752203
2852756203
2862760203
2872764203
2882768203
2892772203
2902776203
2912780203
2922784203
2932788203
2942792203
2952796203
2962800203
2972804203
2982808203
2992812203
3002816203
3012820203
3022824203
3032828203
3042832203
3052836203
3062840203
3072844203
3082848203
3092852203
3102856203
3112860203
3122864203
3132868203
3142872203
3152876203
3162880203
3172884203
3182888203
3192892203
3202896203
3212900203
3222904203
3232908203
3242912203
3252916203
3262920203
3272924203
3282928203
3292932203
3302936203
3312940203
3322944203
3332948203
3342952203
3352956203
3362960203
3372964203
3382968203
3392972203
3402976203
3412980203
3422984203
3432988203
3442992203
3452996203
3463000203
3473004203
3483008203
3493012203
3503016203
3513020203
3523024203
3533028203
3543032203
3553036203
3563040203
3573044203
3583048203
3593052203
3603056203
3613060203
3623064203
3633068203
3643072203
3653076203
3663080203
3673084203
3683088203
3693092203
3703096203
3713100203
3723104203
3733108203
3743112203
3753116203
3763120203
3773124203
3783128203
3793132203
3803136203
3813140203
3823144203
3833148203
3843152203
3853156203
3863160203
3873164203
3883168203
3893172203
3903176203
3913180203
3923184203
3933188203
3943192203
3953196203
3963200203
3973204203
3983208203
3993212203
4003216203
4013220203
4023224203
4033228203
4043232203
4053236203
4063240203
4073244203
4083248203
4093252203
4103256203
4113260203
4123264203
4133268203
4143272203
4153276203
4163280203
4173284203
4183288203
4193292203
4203296203
4213300203
4223304203
4233308203
4243312203
4253316203
4263320203
4273324203
4283328203
4293332203
4303336203
4313340203
4323344203
4333348203
4343352203
4353356203
4363360203
4373364203
4383368203
4393372203
4403376203
4413380203
4423384203
4433388203
4443392203
4453396203
4463400203
4473404203
4483408203
4493412203
4503416203
4513420203
4523424203
4533428203
4543432203
4553436203
4563440203
4573444203
4583448203
4593452203
4603456203
4613460203
4623464203
4633468203
4643472203
4653476203
4663480203
4673484203
4683488203
4693492203
4703496203
4713500203
4723504203
4733508203
4743512203
4753516203
4763520203
4773524203
4783528203
4793532203
4803536203
4813540203
4823544203
4833548203
4843552203
4853556203
4863560203
4873564203
4883568203
4893572203
4903576203
4913580203
4923584203
4933588203
4943592203
4953596203
4963600203
4973604203
4983608203
4993612203
5003616203
5013620203
5023624203
5033628203
5043632203
5053636203
5063640203
5073644203
5083648203
5093652203
5103656203
5113660203
5123664203
5133668203
5143672203
5153676203
5163680203
5173684203
5183688203
5193692203
5203696203
5213700203
5223704203
5233708203
5243712203
5253716203
5263720203
5273724203
5283728203
5293732203
5303736203
5313740203
5323744203
5333748203
5343752203
5353756203
5363760203
5373764203
5383768203
5393772203
5403776203
5413780203
5423784203
5433788203
5443792203
5453796203
5463800203
5473804203
5483808203
5493812203
5503816203
5513820203
5523824203
5533828203
5543832203
5553836203
5563840203
5573844203
5583848203
5593852203
5603856203
5613860203
5623864203
5633868203
5643872203
5653876203
5663880203
5673884203
5683888203
5693892203
5703896203
5713900203
5723904203
5733908203
5743912203
5753916203
5763920203
5773924203
5783928203
5793932203
5803936203
5813940203
5823944203
5833948203
5843952203
5853956203
5863960203
5873964203
5883968203
5893972203
5903976203
5913980203
5923984203
5933988203
5943992203
5953996203
5964000203
5974004203
5984008203
5994012203
6004016203
6014020203
6024024203
6034028203
6044032203
6054036203
6064040203
6074044203
6084048203
6094052203
6104056203
6114060203
6124064203
6134068203
6144072203
6154076203
6164080203
6174084203
6184088203
6194092203
6204096203
6214100203
6224104203
6234108203
6244112203
6254116203
6264120203
6274124203
6284128203
6294132203
6304136203
6314140203
6324144203
6334148203
6344152203
6354156203
6364160203
6374164203
6384168203
6394172203
6404176203
6414180203
6424184203
6434188203
6444192203
6454196203
6464200203
6474204203
6484208203
6494212203
6504216203
6514220203
6524224203
6534228203
6544232203
6554236203
6564240203
6574244203
6584248203
6594252203
6604256203
6614260203
6624264203
6634268203
6644272203
6654276203
6664280203
6674284203
6684288203
6694292203
6704296203
6714300203
6724304203
6734308203
6744312203
6754316203
6764320203
6774324203
6784328203
6794332203
6804336203
6814340203
6824344203
6834348203
6844352203
6854356203
6864360203
6874364203
6884368203
6894372203
6904376203
6914380203
6924384203
6934388203
6944392203
6954396203
6964400203
6974404203
6984408203
6994412203
7004416203
7014420203
7024424203
7034428203
7044432203
7054436203
7064440203
7074444203
7084448203
7094452203
7104456203
7114460203
7124464203
7134468203
7144472203
7154476203
7164480203
7174484203
7184488203
7194492203
7204496203
7214500203
7224504203
7234508203
7244512203
7254516203
7264520203
7274524203
7284528203
7294532203
7304536203
7314540203
7324544203
7334548203
7344552203
7354556203
7364560203
7374564203
7384568203
7394572203
7404576203
7414580203
7424584203
7434588203
7444592203
7454596203
7464600203
7474604203
7484608203
7494612203
7504616203
7514620203
7524624203
7534628203
7544632203
7554636203
7564640203
7574644203
7584648203
7594652203
7604656203
7614660203
7624664203
7634668203
7644672203
7654676203
7664680203
7674684203
7684688203
7694692203
7704696203
7714700203
7724704203
7734708203
7744712203
7754716203
7764720203
7774724203
7784728203
7794732203
7804736203
7814740203
7824744203
7834748203
7844752203
7854756203
7864760203
7874764203
7884768203
7894772203
7904776203
7914780203
7924784203
7934788203
7944792203
7954796203
7964800203
7974804203
7984808203
7994812203
8004816203
8014820203
8024824203
8034828203
8044832203
8054836203
8064840203
8074844203
8084848203
8094852203
8104856203
8114860203
8124864203
8134868203
8144872203
8154876203
8164880203
8174884203
8184888203
8194892203
8204896203
8214900203
8224904203
8234908203
8244912203
8254916203
8264920203
8274924203
8284928203
8294932203
8304936203
8314940203
8324944203
8334948203
8344952203
8354956203
8364960203
8374964203
8384968203
8394972203
8404976203
8414980203
8424984203
8434988203
8444992203
8454996203
done5000203

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08203
112203
done12203

end0.0ms

sample349.0ms

Algorithm
intervals
Results
319.0ms8000×body80valid