Details

Time bar (total: 12.1min)

sample25.0ms

Algorithm
intervals
Results
8.0ms326×body80valid

simplify61.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077
1167
2417
3617
4877
5957
done957

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x y) (+ z 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity
flip3-+ flip-+
add-sqr-sqrt
frac-times associate-*r* associate-*l*
pow1 add-exp-log add-cube-cbrt add-cbrt-cube
associate-*r/ associate-*l/ distribute-lft-out
distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 30
Calls
1 calls:
9.0ms
(* (+ x y) (+ z 1.0))

series9.0ms

Counts
1 → 3
Calls
1 calls:
9.0ms
(* (+ x y) (+ z 1.0))

simplify36.3s

Counts
33 → 33
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
077
1167
2417
3617
4877
5957
done957
099
1129
done129
088
1208
2468
3668
4908
5948
done948
088
1198
2578
31068
42108
54308
615358
done50018
01123
14423
216111
360511
434509
done50009
0917
11817
24317
36317
48917
59517
done9517
088
1178
2428
3628
4868
5968
done968
0923
12823
21489
37239
434269
done50009
088
1178
2428
3628
4868
5968
done968
088
1178
2428
3628
4868
5968
done968
01215
14415
210815
334815
4121815
5483815
done500015
01523
13819
210719
339819
4156219
done500019
01215
13215
26615
319715
482215
5323515
done500015
01115
12213
25213
314613
440713
5107813
6260113
done500013
01215
13815
210915
342015
4153515
done500015
01115
12813
27713
322613
457413
5146413
6333113
done500013
01115
12215
25615
322615
4104115
5374515
done500015
077
1127
2267
3607
41247
52167
62917
74157
86537
98127
108197
done8197
099
1129
done129
099
1129
done129
055
175
2155
done155
055
175
2155
done155
055
1135
2145
done145
055
1135
2145
done145
0913
11413
22413
33613
done3613
088
1118
2198
done198
055
193
2203
3283
done283
055
193
2203
3283
done283
088
1178
2188
done188
088
1178
2188
done188
077
1167
2417
3617
4877
5957
done957
077
1167
2417
3617
4877
5957
done957
01011
13211
29011
322611
444911
599411
6309211
done500011
0911
11611
24111
313111
437611
584411
6231811
done500011
01011
13211
26611
317511
438311
587011
6283511
done500111
0911
12211
26011
318811
447311
5107411
6373511
done500111
0911
11611
2249
3309
4329
done329
0911
1189
2269
3309
4329
done329
0911
1189
2269
3309
4329
done329

prune54.0ms

Filtered
26 candidates to 33 candidates (-26.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New31233
Fresh000
Picked011
Done000
Total31334

Merged error: 0b

Counts
34 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) (+ z 1.0))
0.0b
(sqrt (* (+ x y) (+ z 1.0)))
0.0b
(sqrt (* (+ x y) (+ z 1.0)))
0.2b
(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
160×sqrt-div
148×frac-times
126×flip3-+ flip-+
61×pow1
50×associate-*r/ associate-*l/
32×sqrt-pow1
23×pow-prod-down
14×add-sqr-sqrt *-un-lft-identity
12×pow1/2
10×add-cube-cbrt pow-prod-up
add-exp-log associate-*r* associate-*l* add-cbrt-cube
sqrt-prod pow-sqr
swap-sqr add-log-exp
prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
pow2 distribute-rgt-in distribute-lft-in pow-plus sqrt-unprod rem-square-sqrt
Counts
4 → 197
Calls
4 calls:
9.0ms
(* (+ x y) (+ z 1.0))
8.0ms
(sqrt (* (+ x y) (+ z 1.0)))
8.0ms
(sqrt (* (+ x y) (+ z 1.0)))
24.0ms
(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

series125.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* (+ x y) (+ z 1.0))
33.0ms
(sqrt (* (+ x y) (+ z 1.0)))
30.0ms
(sqrt (* (+ x y) (+ z 1.0)))
52.0ms
(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

simplify7.1min

Counts
209 → 209
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
023
151
271
done71
055
181
done81
055
181
done81
023
161
done61
055
183
done81
047
183
291
done91
047
183
291
done91
055
183
done81
047
183
291
done91
047
183
291
done91
0815
12415
210415
337515
4136915
done500015
0917
1187
2447
3647
4927
5987
done987
0815
12415
210415
337515
4136915
done500015
0815
12415
210415
337515
4136915
done500015
0815
12415
210415
337515
4136915
done500015
0815
12415
210415
337515
4136915
done500015
023
161
done61
01019
12111
24711
36711
49311
510111
done10111
01018
1218
2538
3748
41018
51058
done1058
01018
1218
2588
31148
42208
54508
615898
done50008
01153
12723
211821
36979
440119
done50009
01137
12017
24617
36617
49017
59617
done9617
01018
1198
2458
3658
4918
5978
done978
01153
12823
21099
36199
437939
done50009
0815
12415
210415
337515
4136915
done500015
01018
1208
2458
3658
4918
5978
done978
01018
1208
2458
3658
4918
5978
done978
01433
14615
211115
334215
4121915
5489815
done500015
01749
14019
211019
339919
4157019
done500019
01933
15633
214333
347333
4182033
done500033
02041
14735
212835
347235
4176235
done500135
01933
16233
218833
369233
4245233
done500133
02041
15335
215535
356335
4196035
done500135
02233
16233
216033
356933
4224633
done500133
02133
15029
213129
345029
4167029
done500129
01729
15829
217129
352329
4148829
done500129
01837
14231
211131
340031
4156731
done500031
02029
15829
214729
347229
4154729
done500029
01929
14525
211425
340225
4156525
done500025
01729
15829
214329
345929
4146729
done500029
01837
14231
211131
340031
4156731
done500031
02029
16429
216629
353629
4166229
done500129
01929
14525
211425
340225
4156525
done500125
01933
15633
214333
347033
4184233
done500133
02041
14735
212835
347235
4175835
done500135
01433
13415
26915
320015
483415
5324915
done500015
01333
12413
25513
314913
441213
5106613
6261013
done500013
02233
16233
216433
360133
4231533
done500033
02133
15029
212729
336629
496729
5246129
done500029
01933
14433
210533
338333
4168433
done500033
01625
13123
27323
319623
449523
5123323
6280623
done500023
02029
15829
214729
340829
4122929
5421529
done500029
01929
13925
28325
318925
446925
5114625
6270225
done500125
01729
14029
29229
329429
4108429
5384529
done500029
01421
12619
25619
315019
441519
5108319
6255519
done500119
01729
14529
210229
331229
4114429
5396229
done500029
01429
12625
25625
315025
441525
5108325
6255525
done500125
02029
15129
212229
338129
4128129
5426429
done500029
01521
12919
25919
315219
441219
5108119
6262419
done500019
01933
16233
218833
369433
4246633
done500033
02041
15335
215535
356335
4196335
done500135
02233
16233
216433
360033
4230333
done500133
02133
15029
212729
336629
495929
5245929
done500029
01433
14015
211215
341915
4152215
done500015
01333
13013
28013
322913
457713
5146413
6333913
done500013
01933
15033
214633
358033
4233733
done500033
01625
13723
29623
326523
464723
5159323
6354323
done500023
01729
15129
216729
356129
4187129
done500029
01429
13225
28125
322825
457825
5149625
6336425
done500025
02029
15129
214629
353429
4184229
done500029
01521
13519
28419
323219
457519
5147119
6337119
done500119
02029
16429
216629
358129
4186429
done500029
01929
14525
210825
326725
463025
5156925
6347025
done500025
01729
15229
215029
355229
4183829
done500029
01421
13219
28119
322819
457819
5149619
6336419
done500019
02233
16233
216033
356533
4224633
done500033
02133
15029
213129
345029
4167529
done500029
01933
14433
210533
338333
4167833
done500133
01625
13123
27323
319623
449323
5122823
6275323
done500023
01933
15033
214633
358633
4233233
done500033
01625
13723
29623
326523
464523
5160623
6353223
done500123
01333
12415
25915
322915
4105215
5373515
done500015
0917
1147
2297
3637
41277
52197
62947
74187
86567
98157
108257
118297
128357
done8357
02029
15129
214229
344129
4146629
5468929
done500029
01521
12919
25719
310319
418419
529719
638919
754519
880619
997019
1097419
done97419
01629
12929
27929
330829
4129029
5430629
done500029
01013
11613
23013
36413
412813
522213
629713
742113
866013
981913
1082613
done82613
02029
15129
211829
339529
4140429
5455629
done500029
01521
12919
25719
310319
418419
529719
638919
754519
880619
997019
1097419
done97419
01629
13529
29829
336529
4146029
done500029
01013
11613
23013
36413
412813
522213
629713
742113
866013
981913
1082613
done82613
01729
15829
217129
352129
4147729
done500029
01837
14231
211131
340031
4157431
done500031
02029
15829
214729
340729
4123229
5424229
done500029
01929
13925
28325
318925
446925
5115725
6269725
done500125
01729
15129
216729
356129
4185729
done500129
01429
13225
28125
322825
457825
5147725
6334325
done500025
02029
15129
214229
344329
4145529
5468729
done500029
01521
12919
25719
310319
418419
528719
637919
753519
879519
995919
1096319
done96319
01225
13411
29311
322811
444811
5100111
6304711
done500011
0925
1179
2339
3469
4669
5879
61049
71279
81709
92359
102409
112469
done2469
01725
14425
212525
333325
478325
5186225
done500025
01117
12215
23715
34915
46615
58615
610315
712615
816915
923115
1023215
done23215
01825
16025
214925
338025
480025
5184625
done500025
01725
13421
26421
39021
413021
517221
620621
725221
833821
946221
1046421
done46421
01825
15325
214625
338525
487725
5203725
done500125
01317
12415
24015
35315
47315
59415
611115
713415
817715
923915
1024015
done24015
02029
15829
214729
347229
4157629
done500029
01929
14525
211425
340225
4156925
done500125
01729
14029
29229
329429
4108429
5381829
done500129
01421
12619
25619
315019
441119
5109119
6262619
done500019
02029
15129
214629
353729
4185129
done500029
01521
13519
28419
323219
457619
5147519
6336419
done500119
01629
12929
27929
330829
4130829
5434629
done500029
01013
11613
23013
36413
412813
522413
629913
742313
866213
982113
1082813
done82813
01725
14425
212525
333425
477325
5185625
done500025
01117
12215
23715
34915
46615
58615
610315
712615
816915
923115
1023215
done23215
01125
11811
24411
313411
437911
583911
6231611
done500011
059
173
293
done93
01825
14725
210525
330025
473525
5167125
done500025
01317
12415
24015
35315
47315
59415
611115
713415
817715
923915
1024015
done24015
01725
13625
29725
330125
480925
5197825
done500125
099
1149
2169
done169
01729
15829
214329
345629
4142429
done500029
01837
14231
211131
340031
4157231
done500131
01729
14529
210229
331229
4115729
5400029
done500129
01429
12625
25625
315025
441525
5107525
6260125
done500025
02029
16429
216629
357729
4185929
done500129
01929
14525
210825
326725
463025
5156425
6349025
done500025
02029
15129
211829
339529
4140029
5455329
done500029
01521
12919
25719
310319
418419
528719
637919
753519
879619
996019
1096419
done96419
01825
16025
214925
338725
481525
5185625
done500025
01725
13421
26421
39021
413021
517221
620621
725221
833821
946221
1046421
done46421
01825
14725
210525
330025
471525
5165925
done500025
01317
12415
24015
35315
47315
59415
611115
713415
817715
923915
1024015
done24015
01225
13411
26911
317811
439811
588211
6282711
done500111
0925
1179
2339
3469
4669
5879
61049
71279
81709
92359
102409
112469
done2469
01725
15025
212225
333525
481325
5188525
done500025
01117
12215
23715
34915
46615
58615
610315
712615
816915
923115
1023215
done23215
02029
16429
216629
352929
4165729
done500029
01929
14525
211425
340225
4156725
done500025
02029
15129
212229
338129
4127529
5423629
done500129
01521
12919
25919
315219
441219
5108419
6260119
done500019
01729
15229
215029
355129
4182429
done500129
01421
13219
28119
322819
457819
5147519
6334119
done500119
01629
13529
29829
336529
4147029
done500029
01013
11613
23013
36413
412813
522413
629913
742313
866213
982113
1082813
done82813
01825
15325
214625
339125
488225
5206325
done500125
01317
12415
24015
35315
47315
59415
611115
713415
817715
923915
1024015
done24015
01725
13625
29725
330125
480725
5197625
done500125
099
1149
2169
done169
01725
15025
212225
333525
480425
5189925
done500025
01117
12215
23715
34915
46615
58615
610315
712615
816915
923115
1023215
done23215
01125
12411
26311
319111
448011
5107911
6374211
done500011
059
173
293
done93
01139
12439
25121
38011
412211
515811
622911
743411
8133211
done500111
01019
11919
24419
36419
49219
510019
done10019
059
163
273
done73
059
163
273
done73
01019
1198
2458
3658
4918
5978
done978
01019
1198
2458
3658
4918
5978
done978
023
141
done41
0917
1187
2447
3647
4927
5987
done987
01019
1198
2458
3658
4918
5978
done978
01019
1198
2458
3658
4918
5978
done978
033
151
271
done71
033
161
done61
045
1101
done101
045
1101
done101
045
1101
done101
045
1101
done101
01128
12328
25028
37028
49428
510428
done10428
01013
12013
24513
36513
49113
59713
done9713
01018
12018
24518
36518
49118
59718
done9718
01010
1228
2508
3708
4908
5968
done968
01018
12018
24518
36518
49118
59718
done9718
01013
12013
24513
36513
49113
59713
done9713
01018
12018
24518
36518
49118
59718
done9718
0917
1187
2447
3647
4927
5987
done987
01825
16025
214925
341425
4128025
5499025
done500025
01825
14725
210525
325625
490125
5333025
done500025
01825
15325
214825
347725
4158925
done500025
01725
13625
29325
328125
4119325
5435225
done500025
01521
14621
212521
326321
448721
5105821
6305421
done500021
01421
12921
27721
317421
452521
5109721
6356621
done500021
01521
14621
210521
322221
444421
594421
6278421
done500121
01421
13521
29421
321121
456921
5126921
6464921
done500021
01825
16025
214925
340425
4128425
5497325
done500025
01825
14725
210525
325625
490025
5332325
done500025
01825
15325
214825
347325
4158425
done500025
01725
13625
29325
328125
4118225
5433925
done500025
01521
14621
212521
326221
449821
5108021
6322621
done500021
01421
12921
27721
317421
451621
5109221
6352921
done500021
01521
14621
210521
322221
444621
593121
6284121
done500021
01421
13521
29421
321121
456421
5126521
6462121
done500021
099
1189
2439
3639
4899
5959
done959
099
1189
2439
3639
4899
5959
done959
01019
11919
24419
36419
49219
510019
done10019
099
1189
2439
3639
4899
5959
done959
01026
12016
26210
314810
424710
532110
635610
742110
864210
9156010
done500110
044
154
done54
044
154
done54
01316
14516
210916
334616
4121016
5490316
done500016
01624
13920
210820
339720
4155320
done500120
01316
13316
26716
319816
483616
5325516
done500016
01216
12314
25314
314714
441014
5108914
6258114
done500014
01316
13916
211016
341716
4152116
done500016
01216
12914
27814
322514
457514
5147014
6335414
done500014
01216
12316
25716
322716
4104616
5372316
done500016
088
1138
2278
3618
41258
52198
62948
74188
86568
98158
108228
done8228
01112
13312
29112
323012
444412
599912
6301912
done500012
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
01012
11712
24212
313212
437512
582912
6229812
done500112
044
164
274
done74
01112
13312
26712
317612
438812
588112
6285112
done500012
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
01012
12312
26112
318912
447412
5107412
6374312
done500012
044
164
274
done74
033
161
done61
033
161
done61
099
1189
2439
3639
4899
5959
done959
099
1189
2439
3639
4899
5959
done959
099
1189
2439
3639
4899
5959
done959
099
1189
2439
3639
4899
5959
done959
01019
11919
24419
36419
49219
510019
done10019
099
1189
2439
3639
4899
5959
done959
01026
12016
26210
314810
424710
532110
635610
742110
864210
9156010
done500110
044
154
done54
044
154
done54
01316
14516
210916
334616
4121016
5490316
done500016
01624
13920
210820
339720
4155320
done500120
01316
13316
26716
319816
483616
5325516
done500016
01216
12314
25314
314714
441014
5108914
6258114
done500014
01316
13916
211016
341716
4152116
done500016
01216
12914
27814
322514
457514
5147014
6335414
done500014
01216
12316
25716
322716
4104616
5372316
done500016
088
1138
2278
3618
41258
52198
62948
74188
86568
98158
108228
done8228
01112
13312
29112
323012
444412
599912
6301912
done500012
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
01012
11712
24212
313212
437512
582912
6229812
done500112
044
164
274
done74
01112
13312
26712
317612
438812
588112
6285112
done500012
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
01012
12312
26112
318912
447412
5107412
6374312
done500012
044
164
274
done74
033
161
done61
033
161
done61
099
1189
2439
3639
4899
5959
done959
099
1189
2439
3639
4899
5959
done959
077
1167
2417
3617
4877
5957
done957
099
1129
done129
088
1208
2468
3668
4908
5948
done948
088
1198
2578
31068
42108
54308
615358
done50018
01123
14423
216111
360511
434509
done50009
0917
11817
24317
36317
48917
59517
done9517
088
1178
2428
3628
4868
5968
done968
0923
12823
21489
37239
434269
done50009
088
1178
2428
3628
4868
5968
done968
088
1178
2428
3628
4868
5968
done968
01215
14415
210815
334815
4121815
5483815
done500015
01523
13819
210719
339819
4156219
done500019
01215
13215
26615
319715
482215
5323515
done500015
01115
12213
25213
314613
440713
5107813
6260113
done500013
01215
13815
210915
342015
4153515
done500015
01115
12813
27713
322613
457413
5146413
6333113
done500013
01115
12215
25615
322615
4104115
5374515
done500015
077
1127
2267
3607
41247
52167
62917
74157
86537
98127
108197
done8197
099
1129
done129
099
1129
done129
055
175
2155
done155
055
175
2155
done155
055
1135
2145
done145
055
1135
2145
done145
0913
11413
22413
33613
done3613
088
1118
2198
done198
055
193
2203
3283
done283
055
193
2203
3283
done283
088
1178
2188
done188
088
1178
2188
done188
077
1167
2417
3617
4877
5957
done957
077
1167
2417
3617
4877
5957
done957
01011
13211
29011
322611
444911
599411
6309211
done500011
0911
11611
24111
313111
437611
584411
6231811
done500011
01011
13211
26611
317511
438311
587011
6283511
done500111
0911
12211
26011
318811
447311
5107411
6373511
done500111
0911
11611
2249
3309
4329
done329
0911
1189
2269
3309
4329
done329
01923
14523
212023
327923
4133523
done500023
01821
14721
213421
337719
4126819
5328917
done500017
01825
14925
217525
368525
4388519
done500019
01825
14925
216925
361325
4327719
done500019
01821
14721
213421
337719
4126819
5328917
done500017
01825
14925
217525
368525
4388519
done500019
01825
14925
216925
361325
4327719
done500019
0911
11611
2249
3309
4329
done329
0911
1189
2269
3309
4329
done329
0911
1189
2269
3309
4329
done329

prune465.0ms

Filtered
170 candidates to 209 candidates (-22.9%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2090209
Fresh011
Picked011
Done011
Total2093212

Merged error: 0b

Counts
212 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (pow x 3) (pow y 3))
1.7b
(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
2.0b
(- (* y y) (* x y))
36.2b
(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
14×flip3-+ flip-+
11×add-exp-log add-cbrt-cube distribute-lft-out
10×add-sqr-sqrt
associate-*l*
frac-times add-cube-cbrt unpow-prod-down cube-prod associate-/l/ add-log-exp
pow1
associate-*r/ associate-*r* associate-*l/
times-frac associate-/r*
cbrt-undiv div-exp prod-exp associate-/r/ sum-cubes cbrt-unprod
+-commutative distribute-rgt-in sub-neg flip3-- distribute-rgt-out-- frac-2neg distribute-lft-in diff-log pow-prod-down clear-num sum-log *-commutative flip-- div-inv associate-/l* unswap-sqr
Counts
4 → 96
Calls
4 calls:
12.0ms
(+ (pow x 3) (pow y 3))
24.0ms
(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
4.0ms
(- (* y y) (* x y))
25.0ms
(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

series55.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(+ (pow x 3) (pow y 3))
16.0ms
(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
6.0ms
(- (* y y) (* x y))
24.0ms
(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

simplify4.3min

Counts
108 → 108
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01926
14524
27624
311224
417924
532424
678124
7266124
done500024
01825
15123
210623
323723
447723
598423
6290223
done500023
01724
15022
211422
327822
455622
5120922
6381722
done500022
01724
14722
210322
325322
453922
5119722
6389522
done500022
02271
19465
241727
3204627
done500027
02071
17865
235325
3204023
done500123
01849
14845
210445
325245
452545
5115745
6380145
done500145
01724
14722
210322
325122
453222
5117322
6382422
done500122
01871
15565
215923
370423
4475023
done500023
01724
14722
210322
325122
453222
5117322
6382422
done500122
01724
14722
210322
325122
453222
5117322
6382422
done500122
01112
13712
29212
327712
480612
5231812
done500112
0812
11910
24410
38710
41449
51729
61889
72079
done2079
01433
13629
26029
39029
415129
528229
671529
7258029
done500029
01216
12114
23614
34914
46914
59014
610714
713014
817314
923514
1023614
done23614
01320
13318
25718
38718
414818
528618
673118
7259218
done500118
01216
12114
23614
34914
46914
59014
610714
713014
817314
923514
1023614
done23614
089
1247
2357
3527
4957
52107
66197
724427
done50017
01115
12013
23513
34813
46813
58913
610613
712913
817213
923413
1023513
done23513
0913
11911
23411
34711
46711
58811
610511
712811
817111
923311
1023411
done23411
01623
14621
210321
326121
456221
5122721
6344721
done500021
01837
15333
211633
326733
450533
5115433
6418633
done500133
01724
14722
210022
323322
448222
5106722
6352022
done500022
01213
13811
28011
320611
442511
593111
6307111
done500011
01115
12013
23813
36013
49513
514613
621113
727113
835513
951613
1057613
1159713
done59713
01827
15725
215323
347223
4142823
5494923
done500023
01835
15229
214427
347527
4154127
done500027
02447
17335
227435
3137835
done500135
02039
15729
221129
393929
done500029
02031
15927
217727
385727
done500027
01623
14321
211821
348521
4304521
done500121
01523
13819
210719
339819
4156219
done500019
01115
12213
25213
314613
440713
5107813
6260113
done500013
01635
15425
220425
393525
done500125
01219
13417
28417
326017
4127717
done500017
079
1148
2256
3546
41356
54866
630266
done50006
068
1116
2236
3256
done256
068
1146
2316
3556
41156
53516
615536
done50006
0717
11213
22113
32213
done2213
068
1116
2206
3216
done216
0723
11317
2467
31957
47497
524667
done50007
068
1116
2206
3216
done216
068
1116
2206
3216
done216
0811
12811
2989
33309
48609
524339
done50009
0923
13019
27715
313813
418213
522913
639013
790813
8295413
done500013
044
194
2114
done114
0715
12315
26511
315411
427011
545711
691011
7242111
done500111
057
195
2115
done115
033
153
263
done63
044
194
2114
done114
01011
13211
26611
317511
438311
587011
6283511
done500111
01213
12813
23713
35413
49513
521113
662313
7244613
done500013
01112
13612
27112
318012
440912
589112
6292112
done500012
01112
13512
28112
323112
460712
5166812
done500112
01435
16035
223715
3106415
done500215
01225
13425
26825
317725
439125
587525
6284625
done500025
01112
13312
26712
317612
438812
588112
6285112
done500012
01235
14435
217213
390513
done500213
01112
13312
26712
317612
438812
588112
6285112
done500012
01112
13312
26712
317612
438812
588112
6285112
done500012
01419
15619
219819
394419
done500019
01835
15825
220825
392525
done500025
01419
14419
215619
360319
4340619
done500019
01427
14219
215319
360819
4307219
done500019
01423
15415
216915
369915
4441915
done500015
01419
14417
211417
343517
4195017
done500117
01423
14215
212315
345515
4284715
done500015
01011
12811
26311
317911
461511
5229811
done500011
01213
12813
23713
35413
49513
521113
662313
7244613
done500013
01213
12813
23713
35413
49513
521113
662313
7244613
done500013
089
1239
2409
3819
41579
53829
612729
done50009
089
1239
2409
3819
41579
53829
612729
done50009
089
1299
2639
31059
41949
54779
615239
done50009
089
1299
2639
31059
41949
54779
615239
done50009
01217
13017
24917
311017
426317
568117
6223017
done500117
01112
12712
24412
38512
417212
541512
6130412
done500012
089
1257
2457
3947
42047
54307
611317
737947
done50007
089
1257
2457
3947
42047
54307
611317
737947
done50007
01112
13312
24312
36012
410112
522412
665412
7252012
done500012
01112
13312
24312
36012
410112
522412
665412
7252012
done500012
077
1167
2417
3617
4877
5957
done957
01011
13211
26611
317511
438311
587011
6283511
done500111
01011
13211
26611
317511
438311
587011
6283511
done500111
01011
13211
26611
317511
438311
587011
6283511
done500111
01011
13211
26611
317511
438311
587011
6283511
done500111
01011
13211
26611
317511
438311
587011
6283511
done500111
01011
13211
26611
317511
438311
587011
6283511
done500111
01215
14415
210815
334815
4121815
5483815
done500015
01215
13215
26615
319715
482215
5323515
done500015
01215
14415
215615
374215
4404515
done500015
01219
14211
212711
347311
4244111
done500011
089
1248
2468
3878
42468
57958
633668
done50018
078
1218
2308
3478
4888
52088
66138
724418
done50008
078
1248
2468
3878
42468
57978
633728
done50008
0817
12217
23117
34817
49117
521217
662017
7244517
done500117
078
1218
2308
3478
4888
52088
66138
724418
done50008
0823
13523
21279
35169
423389
done50009
078
1218
2308
3478
4888
52088
66138
724418
done50008
078
1218
2308
3478
4888
52088
66138
724418
done50008
0711
1159
2309
3439
4639
5849
61019
71249
81679
92299
102309
done2309
033
143
done43
0811
13211
211911
338411
4133411
done500011
01023
13515
213115
346515
4178015
done500015
0815
1307
2847
32277
47917
535357
done50017
067
1217
2437
3777
41657
55057
622577
done50007
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017
0911
11611
2249
3309
4329
done329
0911
1189
2269
3309
4329
done329
0911
1189
2269
3309
4329
done329
067
1147
2315
3385
4455
5555
6775
71365
83415
912745
done50005
067
1147
2315
3385
4455
5555
6775
71365
83415
912745
done50005
067
1147
2315
3385
4455
5555
6775
71365
83415
912745
done50005
0911
1279
2629
31019
41919
54689
614979
done50009
01217
13413
29513
318213
432813
579113
6249813
done500113
01217
13413
29513
318213
432813
579113
6249813
done500113
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017
067
1207
2297
3467
4877
52057
66147
724247
done50017

prune206.0ms

Filtered
84 candidates to 108 candidates (-28.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1080108
Fresh000
Picked011
Done022
Total1083111

Merged error: 0b

Counts
111 → 3

regimes280.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1107
done107

end0.0ms

sample701.0ms

Algorithm
intervals
Results
259.0ms10173×body80valid
0.0msbody1280valid
0.0msbody640valid
0.0msbody320valid

Profiling

Loading profile data...