Details

Time bar (total: 4.8m)

sample31.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify4.8m

Counts
1 → 1
Iterations
IterNodes
done5000
7154999
7144995
7134991
7124987
7114983
7104979
7094975
7084971
7074967
7064963
7054959
7044955
7034951
7024947
7014943
7004939
6994935
6984931
6974927
6964923
6954919
6944915
6934911
6924907
6914903
6904899
6894895
6884891
6874887
6864883
6854879
6844875
6834871
6824867
6814863
6804859
6794855
6784851
6774847
6764843
6754839
6744835
6734831
6724827
6714823
6704819
6694815
6684811
6674807
6664803
6654799
6644795
6634791
6624787
6614783
6604779
6594775
6584771
6574767
6564763
6554759
6544755
6534751
6524747
6514743
6504739
6494735
6484731
6474727
6464723
6454719
6444715
6434711
6424707
6414703
6404699
6394695
6384691
6374687
6364683
6354679
6344675
6334671
6324667
6314663
6304659
6294655
6284651
6274647
6264643
6254639
6244635
6234631
6224627
6214623
6204619
6194615
6184611
6174607
6164603
6154599
6144595
6134591
6124587
6114583
6104579
6094575
6084571
6074567
6064563
6054559
6044555
6034551
6024547
6014543
6004539
5994535
5984531
5974527
5964523
5954519
5944515
5934511
5924507
5914503
5904499
5894495
5884491
5874487
5864483
5854479
5844475
5834471
5824467
5814463
5804459
5794455
5784451
5774447
5764443
5754439
5744435
5734431
5724427
5714423
5704419
5694415
5684411
5674407
5664403
5654399
5644395
5634391
5624387
5614383
5604379
5594375
5584371
5574367
5564363
5554359
5544355
5534351
5524347
5514343
5504339
5494335
5484331
5474327
5464323
5454319
5444315
5434311
5424307
5414303
5404299
5394295
5384291
5374287
5364283
5354279
5344275
5334271
5324267
5314263
5304259
5294255
5284251
5274247
5264243
5254239
5244235
5234231
5224227
5214223
5204219
5194215
5184211
5174207
5164203
5154199
5144195
5134191
5124187
5114183
5104179
5094175
5084171
5074167
5064163
5054159
5044155
5034151
5024147
5014143
5004139
4994135
4984131
4974127
4964123
4954119
4944115
4934111
4924107
4914103
4904099
4894095
4884091
4874087
4864083
4854079
4844075
4834071
4824067
4814063
4804059
4794055
4784051
4774047
4764043
4754039
4744035
4734031
4724027
4714023
4704019
4694015
4684011
4674007
4664003
4653999
4643995
4633991
4623987
4613983
4603979
4593975
4583971
4573967
4563963
4553959
4543955
4533951
4523947
4513943
4503939
4493935
4483931
4473927
4463923
4453919
4443915
4433911
4423907
4413903
4403899
4393895
4383891
4373887
4363883
4353879
4343875
4333871
4323867
4313863
4303859
4293855
4283851
4273847
4263843
4253839
4243835
4233831
4223827
4213823
4203819
4193815
4183811
4173807
4163803
4153799
4143795
4133791
4123787
4113783
4103779
4093775
4083771
4073767
4063763
4053759
4043755
4033751
4023747
4013743
4003739
3993735
3983731
3973727
3963723
3953719
3943715
3933711
3923707
3913703
3903699
3893695
3883691
3873687
3863683
3853679
3843675
3833671
3823667
3813663
3803659
3793655
3783651
3773647
3763643
3753639
3743635
3733631
3723627
3713623
3703619
3693615
3683611
3673607
3663603
3653599
3643595
3633591
3623587
3613583
3603579
3593575
3583571
3573567
3563563
3553559
3543555
3533551
3523547
3513543
3503539
3493535
3483531
3473527
3463523
3453519
3443515
3433511
3423507
3413503
3403499
3393495
3383491
3373487
3363483
3353479
3343475
3333471
3323467
3313463
3303459
3293455
3283451
3273447
3263443
3253439
3243435
3233431
3223427
3213423
3203419
3193415
3183411
3173407
3163403
3153399
3143395
3133391
3123387
3113383
3103379
3093375
3083371
3073367
3063363
3053359
3043355
3033351
3023347
3013343
3003339
2993335
2983331
2973327
2963323
2953319
2943315
2933311
2923307
2913303
2903299
2893295
2883291
2873287
2863283
2853279
2843275
2833271
2823267
2813263
2803259
2793255
2783251
2773247
2763243
2753239
2743235
2733231
2723227
2713223
2703219
2693215
2683211
2673207
2663203
2653199
2643195
2633191
2623187
2613183
2603179
2593175
2583171
2573167
2563163
2553159
2543155
2533151
2523147
2513143
2503139
2493135
2483131
2473127
2463123
2453119
2443115
2433111
2423107
2413103
2403099
2393095
2383091
2373087
2363083
2353079
2343075
2333071
2323067
2313063
2303059
2293055
2283051
2273047
2263043
2253039
2243035
2233031
2223027
2213023
2203019
2193015
2183011
2173007
2163003
2152999
2142995
2132991
2122987
2112983
2102979
2092975
2082971
2072967
2062963
2052959
2042955
2032951
2022947
2012943
2002939
1992935
1982931
1972927
1962923
1952919
1942915
1932911
1922907
1912903
1902899
1892895
1882891
1872887
1862883
1852879
1842875
1832871
1822867
1812863
1802859
1792855
1782851
1772847
1762843
1752839
1742835
1732831
1722827
1712823
1702819
1692815
1682811
1672807
1662803
1652799
1642795
1632791
1622787
1612783
1602779
1592775
1582771
1572767
1562763
1552759
1542755
1532751
1522747
1512743
1502739
1492735
1482731
1472727
1462723
1452719
1442715
1432711
1422707
1412703
1402699
1392695
1382691
1372687
1362683
1352679
1342675
1332671
1322667
1312663
1302659
1292655
1282651
1272647
1262643
1252639
1242635
1232631
1222627
1212623
1202619
1192615
1182611
1172607
1162603
1152599
1142595
1132591
1122587
1112583
1102579
1092575
1082571
1072567
1062563
1052559
1042555
1032551
1022547
1012543
1002539
992535
982531
972527
962523
952519
942515
932511
922507
912503
902499
892495
882491
872487
862483
852479
842475
832471
822467
812463
802459
792455
782451
772447
762443
752439
742435
732431
722427
712423
702419
692415
682411
672407
662403
652399
642395
632391
622387
612383
602379
592375
582371
572367
562363
552359
542355
532351
522347
512343
502339
492335
482331
472327
462323
452319
442315
432311
422307
412303
402299
392295
382291
372287
362283
352279
342275
332271
322267
312263
302259
292255
282251
272247
262243
252239
242235
232231
222227
212223
202219
192215
182211
172207
162203
152199
142195
132191
122187
112183
102173
92145
82027
71726
61303
5889
4548
3284
2102
127
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample373.0ms

Algorithm
intervals
Results
339.0ms8000×body80valid