Details

Time bar (total: 8.5min)

sample91.0ms

Algorithm
intervals
Results
23.0ms159×body160valid
17.0ms527×pre80true
15.0ms271×body80nan
6.0ms34×body320valid
4.0ms63×body80valid

simplify57.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
01217
12117
24116
37516
48716
59516
done9516

prune9.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 42.8b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (* b b) (* (* 3.0 a) c))
0.2b
(* (* 3.0 a) c)
0.3b
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
39.5b
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×add-exp-log add-cbrt-cube
13×*-un-lft-identity
pow1
add-log-exp
add-cube-cbrt
times-frac associate-/l* difference-of-squares
prod-exp cbrt-unprod
flip3-- associate-*r* pow-prod-down sqrt-prod flip-- distribute-lft-out--
cbrt-undiv sub-neg diff-log div-exp associate-/l/
frac-2neg div-sub associate-*l* clear-num associate-/r* *-commutative div-inv
Counts
4 → 75
Calls
4 calls:
5.0ms
(- (* b b) (* (* 3.0 a) c))
6.0ms
(* (* 3.0 a) c)
12.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
8.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series67.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* b b) (* (* 3.0 a) c))
4.0ms
(* (* 3.0 a) c)
31.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
21.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify1.3min

Counts
87 → 87
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01214
12013
23913
36713
47413
58013
68413
710013
810413
910913
1011613
1113413
1215513
1317213
1417513
done17513
01113
11913
23713
36213
46613
done6613
01113
12213
24213
37013
48013
58413
610013
710413
810913
911613
1013413
1115513
1217313
1317613
done17613
01227
12027
23827
36327
46727
done6727
01113
11913
23713
36213
46613
done6613
01238
12138
25314
312114
423114
560514
6244814
done500014
01113
11913
23713
36213
46613
done6613
01113
11913
23713
36213
46613
done6613
01316
13316
27216
314016
430416
574516
6257016
done500116
01338
12624
26124
311722
416722
525022
642322
753622
863822
969422
1076622
done76622
022
done22
01125
12213
25513
311213
41627
52466
69796
done50006
01012
11712
23412
35912
46312
done6312
01214
11914
23614
36114
46314
done6314
01214
12014
23814
36314
46714
done6714
01214
11914
23614
36114
46314
done6314
01214
12014
23814
36314
46714
done6714
01012
11812
23612
36112
46512
done6512
022
done22
01519
12819
25519
39019
410419
512019
613919
715519
816019
done16019
01318
12618
25118
38418
49518
510718
612618
715218
816218
done16218
01217
12817
26717
311417
413717
514817
616417
718317
819917
920417
done20417
01217
12517
25917
39417
410717
511417
611817
713417
813817
914917
1016617
1119517
1223117
1326117
1427817
1530417
1630617
done30617
01850
14150
216122
368622
4272120
done500020
01550
14150
217620
382718
4320018
done500118
01335
12635
25735
39035
410035
510135
done10135
01217
12517
25617
38917
49717
59817
done9817
01350
13350
212218
357118
4258018
done500018
01217
12517
25617
38917
49717
59817
done9817
01217
12517
25617
38917
49717
59817
done9817
01113
11913
24013
36713
47212
done7212
044
194
2114
done114
01014
11814
23714
36214
46414
done6414
055
185
2105
done105
01329
12329
24329
36929
47329
done7329
01215
12015
23815
36315
46715
done6715
01215
12015
23815
36315
46715
done6715
01215
12015
23815
36315
46715
done6715
033
153
done53
01114
12214
24214
36914
47314
done7314
01316
12016
23716
36216
46616
done6616
01316
12416
24416
37116
47316
done7316
01316
12016
23716
36216
46616
done6616
01316
12416
24416
37116
47316
done7316
033
153
done53
01114
12214
24214
36914
47314
done7314
055
1105
2125
done125
01116
12116
24616
37916
48816
59016
done9016
01114
12214
24214
36914
47314
done7314
01217
12217
24417
37217
47517
done7517
01217
12217
24417
37217
47517
done7517
01116
12116
24616
37916
48816
59016
done9016
01318
12318
24818
38118
49018
59218
done9218
01318
12318
24818
38118
49018
59218
done9218
01116
12116
24616
37916
48816
59016
done9016
01442
13628
212828
335226
475526
5117126
6175926
7263226
8398926
done500026
01116
12716
27116
310616
410816
done10816
055
195
2155
done155
055
195
2155
done155
088
1128
2188
3208
done208
077
1127
2177
3217
done217
066
1136
2266
3386
4406
done406
066
1126
2296
3516
41076
52486
65866
715506
done50006
01117
12417
28911
332711
410729
529869
done50009
0917
12617
2939
33799
411617
521757
done50007
0713
11113
21713
done1713
066
1106
2166
done166
0717
12117
2917
34237
411387
516107
631987
done50007
066
1106
2166
done166
066
1106
2166
done166
079
1139
2269
3369
done369
066
1106
2166
3186
done186
055
1113
2233
3273
done273
033
143
done43
01011
12010
24210
39610
425410
583410
6496510
done500010
0910
11510
23210
35710
45910
done5910
0910
11810
24510
310310
421010
565210
6295310
done500110
01021
11621
23321
35821
46021
done6021
0910
11510
23210
35710
45910
done5910
01029
11729
24811
317411
492011
5463811
done500011
0910
11510
23210
35710
45910
done5910
0910
11510
23210
35710
45910
done5910
01113
13513
213111
362111
4319411
done500111
01229
13823
212721
337619
453019
555719
666319
7100619
8236219
done500019
066
1146
2356
3536
done536
01019
13019
29817
337815
4102915
5144915
6195015
7316415
done500015
089
1139
2199
done199
066
1146
2356
3536
done536
01315
13115
27115
312413
422013
529413
640913
770613
8107913
9218413
done500013
077
1137
2277
3487
4777
5887
done887
01011
11911
24111
36211
49111
510211
done10211
01417
14015
212015
335115
4105713
5294213
done500013
055
185
2115
3155
4165
done165
01011
11811
23311
35011
46211
56511
done6511
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019

prune169.0ms

Filtered
66 candidates to 87 candidates (-31.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New81687
Fresh000
Picked101
Done000
Total82688

Merged error: 0.2b

Counts
88 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 3.0 a) c)
0.2b
(* (* 3.0 a) c)
0.3b
(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.4b
(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
78×*-un-lft-identity
40×add-sqr-sqrt add-cube-cbrt
36×associate-/l*
28×add-exp-log add-cbrt-cube
19×distribute-lft-out
14×pow1
13×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
prod-exp cbrt-unprod
cbrt-undiv div-exp
associate-*r* pow-prod-down associate-/r/
associate-/r*
div-inv add-log-exp
flip3-+ div-sub distribute-frac-neg flip-+
neg-sub0 frac-2neg associate-*l* clear-num *-commutative
associate-/l/
Counts
4 → 168
Calls
4 calls:
6.0ms
(* (* 3.0 a) c)
7.0ms
(* (* 3.0 a) c)
13.0ms
(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
17.0ms
(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

series134.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* (* 3.0 a) c)
4.0ms
(* (* 3.0 a) c)
65.0ms
(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
56.0ms
(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

simplify3.9min

Counts
180 → 180
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
01827
13727
29127
321926
478926
5284319
done500019
01626
13526
28126
318926
464126
5246119
done500019
01726
13726
29126
323525
482925
5331825
done500025
01525
13525
28425
321425
470625
5280025
done500125
01424
13324
211124
353917
4236316
done500016
01424
13024
29524
347217
4202816
done500016
02271
17169
235431
3496329
done500029
01971
17169
235929
3499927
done500027
02071
15371
222929
3185429
done500029
01771
15371
224427
3203725
done500125
01549
13149
29649
346735
4191933
done500133
01424
13024
29524
346617
4193816
done500016
01571
13871
217025
3140818
done500018
01424
13024
29524
346617
4193816
done500016
01424
13024
29524
346617
4193816
done500016
01320
12720
26318
315918
434218
547718
654818
755918
done55918
044
194
2114
done114
01318
1245
2571
31121
41201
done1201
01222
12522
28822
337616
4106614
done500014
01543
12943
26243
312343
420143
527543
630143
done30143
01422
12622
25722
311722
419522
526922
629522
done29522
01422
12622
25722
311722
419522
526922
629522
done29522
01422
12622
25722
311722
419522
526922
629522
done29522
01745
13545
28045
313545
417645
518145
done18145
01523
12723
25223
37023
done7023
01631
13031
26331
39431
410431
done10431
01523
12723
25223
37023
done7023
01119
12517
26617
310217
411217
511717
done11717
01422
12622
25922
37722
done7722
01119
12517
26617
310217
411217
511717
done11717
01422
12622
25922
37722
done7722
01637
13037
25837
38437
done8437
01523
12723
25223
37023
done7023
01523
12723
25223
37023
done7023
01523
12723
25223
37023
done7023
01011
1229
2499
3679
done679
01422
12622
25922
37722
done7722
01011
1229
2499
3679
done679
01422
12622
25922
37722
done7722
01531
12831
25131
38431
48631
done8631
01422
12822
27622
326222
469919
5119018
done500018
01417
12517
24517
37217
47417
done7417
01422
12822
27622
326222
469919
5119018
done500018
045
183
2103
3123
done123
01321
12721
28321
326921
470418
5120517
done500017
045
183
2103
3123
done123
01321
12721
28321
326921
470418
5120517
done500017
01531
12631
24931
38231
48431
done8431
01321
12421
27021
320021
438519
549917
6173517
done500017
01417
12317
24317
36817
47017
done7017
01321
12421
27021
320021
438519
549917
6173517
done500017
055
193
2113
3133
done133
01220
12320
27720
320520
438918
553616
6190316
done500016
055
193
2113
3133
done133
01220
12320
27720
320520
438918
553616
6190316
done500016
01534
13234
29134
324631
447230
5186530
done500130
01317
12217
24217
36717
47117
done7117
01420
12920
27020
315817
423116
584316
6450416
done500016
01317
12217
24217
36717
47117
done7117
078
1186
2576
31052
42782
57022
621022
done50002
01216
12116
24916
37416
47616
done7616
078
1186
2576
31052
42782
57022
621022
done50002
01216
12116
24916
37416
47616
done7616
01433
13033
28033
317031
426229
584329
6435129
done500129
01418
12518
24818
37818
48218
done8218
01319
12419
25919
311117
413715
532215
6162315
done500015
01418
12518
24818
37818
48218
done8218
067
1135
2415
3741
4801
done801
01317
12417
25517
38317
48717
done8717
067
1135
2415
3741
4801
done801
01317
12417
25517
38317
48717
done8717
033
153
done53
01321
12721
28321
326921
470418
5120517
done500017
078
1178
2478
31088
41885
52644
68324
748154
done50004
01316
12416
25216
37716
47916
done7916
01625
14225
210725
334325
494322
5197121
done500021
01440
12826
27326
316124
431024
560324
6118922
7237022
done500022
01434
13222
212122
358422
4243613
done500013
01114
12214
24214
36914
47314
done7314
055
1105
2125
done125
01323
12923
29923
346417
4221215
done500015
01222
12522
28822
337616
4106614
done500014
01321
12721
28321
326921
470418
5121017
done500017
01424
12824
26324
312624
420624
528024
630624
done30624
01424
12824
26324
312624
420624
528024
630624
done30624
01525
12925
26425
310225
412525
513325
613625
713825
done13825
01525
12925
26425
310225
412525
513325
613625
713825
done13825
01424
12824
27124
314124
422224
527424
628724
729924
830124
done30124
01424
12824
27124
314124
422224
527424
628724
729924
830124
done30124
01525
12925
26425
310225
412525
513325
613625
713825
done13825
01525
12925
26425
310225
412525
513325
613625
713825
done13825
01424
12824
27124
314124
422224
527424
628724
729924
830124
done30124
01424
12824
27124
314124
422224
527424
628724
729924
830124
done30124
01424
13024
29224
337718
4154816
done500016
01424
13024
29224
337718
4154816
done500016
01323
12923
29923
346417
4221215
done500015
01323
12923
29923
346417
4221215
done500015
01323
12623
28923
335117
494915
done500015
01323
12623
28923
335117
494915
done500015
01222
12522
29622
346216
4148414
done500014
01222
12522
29622
346216
4148414
done500014
01319
12419
25419
39919
412619
513519
613819
714019
done14019
01319
12419
25419
39919
412619
513519
613819
714019
done14019
01218
12318
26118
314018
422318
527518
628818
730018
830218
done30218
01218
12318
26118
314018
422318
527518
628818
730018
830218
done30218
01420
12720
25820
311020
413920
515420
615720
715920
done15920
01420
12720
25820
311020
413920
515420
615720
715920
done15920
01319
12619
26519
314919
423419
530519
633019
734219
834419
done34419
01319
12619
26519
314919
423419
530519
633019
734219
834419
done34419
01323
12923
29923
346417
4221215
done500015
01318
12618
26416
317316
440716
565616
693216
done93216
01442
13028
27928
318126
437626
578626
6168424
7386024
done500124
01116
12116
24616
37916
48816
59016
done9016
01116
12716
27116
310616
410816
done10816
01421
12621
25521
310321
418421
528421
633021
741421
857221
9106321
10123921
11147221
12163021
done163021
01320
12820
26720
315820
434820
562420
684520
7109020
8138220
9152520
10170120
11186420
done186420
01320
12520
25920
312120
420920
533120
649120
785620
8181320
9436820
done500020
01659
15457
224123
3233921
done500021
01441
12641
25741
311741
419541
526941
629541
done29541
01320
12520
25620
311620
419420
526820
629420
done29420
01459
13359
211121
360921
done500221
01320
12520
25620
311620
419420
526820
629420
done29420
01320
12520
25620
311620
419420
526820
629420
done29420
077
1155
2415
3915
41415
done1415
01113
12113
24013
36613
46813
done6813
01214
1191
2361
3611
4631
done631
01118
12018
24718
39118
411718
513018
done13018
01643
13243
26343
38743
done8743
01421
12421
24621
36421
done6421
01529
12729
25129
37029
done7029
01421
12421
24621
36421
done6421
01017
12215
24915
37215
47315
done7315
01320
12320
24520
36320
done6320
01017
12215
24915
37215
47315
done7315
01320
12320
24520
36320
done6320
01535
12735
24935
36735
done6735
01421
12421
24621
36421
done6421
01421
12421
24621
36421
done6421
01421
12421
24621
36421
done6421
099
1197
2427
3607
done607
01320
12320
24520
36320
done6320
099
1197
2427
3607
done607
01320
12320
24520
36320
done6320
01429
12529
24229
36729
47129
done7129
01320
12520
25620
311620
419420
526820
629420
done29420
01315
12215
23915
36415
46615
done6615
01320
12520
25620
311620
419420
526820
629420
done29420
023
141
done41
01219
12419
25519
311519
419319
526719
629319
done29319
023
141
done41
01219
12419
25519
311519
419319
526719
629319
done29319
01429
12329
24029
36529
46929
done6929
01219
12119
24819
39419
412219
513519
done13519
01315
12015
23715
36215
46615
done6615
01219
12119
24819
39419
412219
513519
done13519
033
151
done51
01118
12018
24718
39118
411718
513018
done13018
033
151
done51
01118
12018
24718
39118
411718
513018
done13018
01432
12932
26832
313332
416432
517132
done17132
01215
11915
23615
36115
46315
done6315
01318
12618
25018
38418
49718
510018
done10018
01215
11915
23615
36115
46315
done6315
066
1154
2284
3454
4724
5774
done774
01114
11814
23514
36014
46214
done6214
066
1154
2284
3454
4724
5774
done774
01114
11814
23514
36014
46214
done6214
01331
12731
25831
39631
410431
done10431
01316
12216
23816
36316
46516
done6516
01217
12117
24217
37017
47517
done7517
01316
12216
23816
36316
46516
done6516
055
1103
2183
3273
4323
done323
01215
12115
23715
36215
46615
done6615
055
1103
2183
3273
4323
done323
01215
12115
23715
36215
46615
done6615
01214
12114
23814
36314
46514
done6514
01219
12219
24819
38419
411619
511819
done11819
01118
12018
24718
39118
411718
513018
done13018
01434
12834
27734
322934
451534
576934
682034
done82034
01320
12520
25620
311620
419420
526820
629420
done29420
088
1206
2546
31236
42696
54136
64686
done4686
088
1206
2546
31236
42696
54136
64686
done4686
01320
12320
24520
36320
done6320
01320
12320
24520
36320
done6320
01219
12219
24819
38419
411619
511819
done11819
01118
12018
24418
38018
48318
done8318
01114
11814
23514
36014
46214
done6214
01215
11915
23515
36015
46415
done6415
01523
13923
27923
316523
435223
561623
6110823
7393323
done500023
01332
12920
29320
334020
4105914
5252613
done500013
055
195
2155
done155
055
195
2155
done155
088
1128
2188
3208
done208
077
1127
2177
3217
done217
066
1136
2266
3386
4406
done406
066
1126
2296
3516
41076
52486
65866
715506
done50006
01117
12417
28911
332711
410729
529869
done50009
0917
12617
2939
33799
411617
521757
done50007
0713
11113
21713
done1713
066
1106
2166
done166
0717
12117
2917
34237
411387
516107
631987
done50007
066
1106
2166
done166
066
1106
2166
done166
079
1139
2269
3369
done369
066
1106
2166
3186
done186
055
1113
2233
3273
done273
033
143
done43
055
195
2155
done155
055
195
2155
done155
088
1128
2188
3208
done208
077
1127
2177
3217
done217
066
1136
2266
3386
4406
done406
066
1126
2296
3516
41076
52486
65866
715506
done50006
01117
12417
28911
332711
410729
529869
done50009
0917
12617
2939
33799
411617
521757
done50007
0713
11113
21713
done1713
066
1106
2166
done166
0717
12117
2917
34237
411387
516107
631987
done50007
066
1106
2166
done166
066
1106
2166
done166
079
1139
2269
3369
done369
066
1106
2166
3186
done186
055
1113
2233
3273
done273
033
143
done43
011
done11
011
done11
02029
15129
218529
360927
4279027
done500027
011
done11
011
done11
01927
15127
218127
359425
4245923
done500023
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155

prune416.0ms

Filtered
137 candidates to 180 candidates (-31.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1728180
Fresh505
Picked101
Done000
Total1788186

Merged error: 0b

Counts
186 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
0.1b
(- (* b b) (* (* 3.0 a) c))
0.1b
(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.2b
(* (* 3.0 a) c)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
14×add-sqr-sqrt add-cube-cbrt
12×times-frac
11×add-exp-log add-cbrt-cube
pow1
add-log-exp
distribute-lft-out
associate-/r*
associate-*r* pow-prod-down prod-exp cbrt-unprod associate-/l*
flip3-+ associate-/r/ flip-+
cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp associate-*l* clear-num sum-log *-commutative flip-- div-inv
Counts
4 → 75
Calls
4 calls:
8.0ms
(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
5.0ms
(- (* b b) (* (* 3.0 a) c))
14.0ms
(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
6.0ms
(* (* 3.0 a) c)

series88.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
10.0ms
(- (* b b) (* (* 3.0 a) c))
52.0ms
(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
4.0ms
(* (* 3.0 a) c)

simplify1.3min

Counts
87 → 87
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
055
195
2155
done155
055
195
2155
done155
088
1128
2188
3208
done208
077
1127
2177
3217
done217
066
1136
2266
3386
4406
done406
066
1126
2296
3516
41076
52486
65866
715506
done50006
01117
12417
28911
332711
410729
529869
done50009
0917
12617
2939
33799
411617
521757
done50007
0713
11113
21713
done1713
066
1106
2166
done166
0717
12117
2917
34237
411387
516107
631987
done50007
066
1106
2166
done166
066
1106
2166
done166
079
1139
2269
3369
done369
066
1106
2166
3186
done186
055
1113
2233
3273
done273
033
143
done43
01316
12216
24016
36516
46716
done6716
01215
12215
24115
36715
47115
done7115
01215
11915
23615
36115
46315
done6315
01544
14344
212118
327516
459516
5192616
done500016
01331
12031
23731
36231
46631
done6631
01215
11915
23615
36115
46315
done6315
01344
12744
26016
312316
420816
535316
663516
7146916
done500016
01215
11915
23615
36115
46315
done6315
01215
11915
23615
36115
46315
done6315
022
done22
01113
12113
24013
36613
46813
done6813
01533
12833
25433
38533
48733
done8733
01316
12016
23716
36216
46616
done6616
01419
12319
24219
36819
47219
done7219
01316
12016
23716
36216
46616
done6616
057
195
2155
3205
done205
01215
11915
23615
36115
46515
done6515
057
195
2155
3205
done205
01215
11915
23615
36115
46515
done6515
01430
12330
24030
36530
46730
done6730
01316
12016
23716
36216
46616
done6616
01316
12016
23716
36216
46616
done6616
01316
12016
23716
36216
46616
done6616
044
162
282
done82
01215
11915
23615
36115
46515
done6515
044
162
282
done82
01215
11915
23615
36115
46515
done6515
01429
12529
24229
36729
47129
done7129
01215
11915
23615
36115
46315
done6315
01315
12215
23915
36415
46615
done6615
01215
11915
23615
36115
46315
done6315
023
141
done41
01114
11814
23514
36014
46214
done6214
023
141
done41
01114
11814
23514
36014
46214
done6214
01214
12114
23814
36314
46514
done6514
01114
11814
23514
36014
46214
done6214
01329
12229
23929
36429
46629
done6629
01215
11915
23615
36115
46315
done6315
033
151
done51
033
151
done51
01215
11915
23615
36115
46315
done6315
01215
11915
23615
36115
46315
done6315
01114
11814
23514
36014
46214
done6214
01418
13318
25918
311218
422818
543418
688018
7275818
done500018
01227
12315
25815
311715
41659
52498
610078
done50008
01011
12010
24210
39610
425410
583410
6496510
done500010
0910
11510
23210
35710
45910
done5910
0910
11810
24510
310310
421010
565210
6295310
done500110
01021
11621
23321
35821
46021
done6021
0910
11510
23210
35710
45910
done5910
01029
11729
24811
317411
492011
5463811
done500011
0910
11510
23210
35710
45910
done5910
0910
11510
23210
35710
45910
done5910
01113
13513
213111
362111
4319411
done500111
01229
13823
212721
337619
453019
555719
666319
7100619
8236219
done500019
066
1146
2356
3536
done536
01019
13019
29817
337815
4102915
5144915
6195015
7316415
done500015
089
1139
2199
done199
066
1146
2356
3536
done536
01214
12113
23913
36413
46613
done6613
01113
11813
23513
36013
46213
done6213
01113
12113
23913
36413
46613
done6613
01227
11927
23627
36127
46327
done6327
01113
11813
23513
36013
46213
done6213
01238
13238
28014
317014
437914
5144214
done500114
01113
11813
23513
36013
46213
done6213
01113
11813
23513
36013
46213
done6213
01316
13216
25816
310916
422516
543516
689116
7276916
done500116
01338
12724
26924
314322
423922
539722
666522
774022
876722
done76722
01125
12213
25513
311213
41627
52466
69796
done50006
01012
11812
23612
36112
46512
done6512
01012
11712
23412
35912
46312
done6312
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
011
done11
033
done33
01013
12113
25113
38613
418913
556513
6207913
done500013
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
01315
13115
28015
315113
423313
528213
637813
754713
881813
9183313
done500013
01011
11911
24211
39711
420311
527911
628911
done28911
077
1137
2277
3487
4777
5887
done887

prune166.0ms

Filtered
66 candidates to 87 candidates (-31.8%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New85287
Fresh257
Picked011
Done000
Total87895

Merged error: 0b

Counts
95 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (* b b) (* (* 3.0 a) c))
0.1b
(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
0.2b
(* (* 3.0 a) c)
0.3b
(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
332×times-frac
270×*-un-lft-identity
168×add-sqr-sqrt add-cube-cbrt
63×distribute-lft-neg-in distribute-rgt-neg-in
54×associate-/r*
51×distribute-lft-out
22×add-exp-log
21×neg-mul-1
16×add-cbrt-cube
10×pow1
div-exp
associate-/l*
div-inv add-log-exp
cbrt-undiv
associate-*r* pow-prod-down prod-exp cbrt-unprod
rec-exp frac-2neg 1-exp clear-num associate-/l/
sub-neg flip3-- pow-flip flip3-+ diff-log associate-*l* associate-/r/ *-commutative flip-- flip-+ inv-pow
Counts
4 → 298
Calls
4 calls:
4.0ms
(- (* b b) (* (* 3.0 a) c))
12.0ms
(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
6.0ms
(* (* 3.0 a) c)
17.0ms
(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

series72.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* b b) (* (* 3.0 a) c))
21.0ms
(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
4.0ms
(* (* 3.0 a) c)
37.0ms
(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

simplify1.9min

Counts
310 → 310
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
022
151
done51
01518
12418
24418
37118
47417
done7417
01417
12417
24217
37117
47717
57817
done7817
01619
12918
25818
310417
413617
516317
617217
718717
done18717
01518
12717
25117
38917
411717
514717
615517
716117
817817
done17817
01720
13219
25618
310617
414017
516617
617617
719217
done19217
01619
13018
25117
39517
412317
515317
616017
716617
818317
done18317
01518
13017
25717
310416
418616
534216
645916
757816
869916
971516
done71516
01518
12618
24918
38916
417716
535416
660316
7127416
8433416
done500016
02053
16247
218621
366719
4213419
done500019
01853
14149
210919
331019
490819
5244517
done500117
01637
12737
24837
38033
414333
526333
632533
733833
done33833
01518
12618
24718
37916
414216
526216
632316
733816
done33816
01653
13453
29019
334617
4100017
5258617
done500017
01518
12618
24718
37916
414216
526216
632316
733816
done33816
01518
12618
24718
37916
414216
526216
632316
733816
done33816
022
151
done51
01316
12216
24216
36916
47716
58116
68516
done8516
01839
13337
25835
39135
49335
done9335
01619
12518
24118
36618
46818
done6818
01722
12820
24618
37418
47618
done7618
01619
12518
24118
36618
46818
done6818
02041
13939
29137
318835
424735
done24735
01720
12819
24719
37517
49017
59717
done9717
01937
13435
26833
312831
415431
done15431
01720
12819
24719
37517
49017
59717
done9717
01735
13229
26329
39929
410329
done10329
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01835
13333
26829
312729
416229
516329
done16329
01518
12617
24617
37215
47415
done7415
02040
13838
29136
322534
449134
561534
667634
768434
done68434
01619
12718
24718
37316
48816
59316
done9316
01937
13435
27333
314931
423231
529831
632831
733531
done33531
01619
12718
24718
37316
48816
59316
done9316
01836
13433
26929
312829
416129
516229
done16229
01518
12617
24617
37215
47415
done7415
01939
13837
29135
318833
425133
done25133
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01836
13334
26832
312830
415530
done15530
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01735
13229
26329
39929
410329
done10329
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01927
13425
26523
311221
411721
done11721
01720
12819
24719
37517
49017
59717
done9717
01823
13121
25619
38917
49217
done9217
01720
12819
24719
37517
49017
59717
done9717
01621
12915
25115
37815
48015
done8015
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01721
13019
25615
39115
49715
done9715
01518
12617
24617
37215
47415
done7415
01926
13524
27122
313920
421820
524820
625920
726020
done26020
01619
12718
24718
37316
48816
59316
done9316
01823
13121
25919
310117
412917
514817
615417
715517
done15517
01619
12718
24718
37316
48816
59316
done9316
01722
13119
25715
39015
49315
done9315
01518
12617
24617
37215
47415
done7415
01825
13323
26521
311019
411619
done11619
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01722
13020
25618
39116
49416
done9416
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01621
12915
25115
37815
48015
done8015
01619
12718
24818
38016
414316
526516
632716
734216
done34216
0915
11713
2329
3497
4577
5587
done587
01619
12718
24618
37216
48716
59416
done9416
0811
1149
2235
3303
done303
01619
12718
24618
37216
48716
59416
done9416
059
1111
done111
01518
12617
24717
37915
414215
526215
632915
734215
done34215
069
1125
2181
done181
01417
12516
24516
37314
47514
done7514
0914
11812
2378
3726
41586
52086
62146
72186
done2186
01518
12617
24617
37215
48715
59215
done9215
0811
1149
2255
3403
4583
5753
6773
done773
01518
12617
24617
37215
48715
59215
done9215
0610
1135
2191
done191
01417
12516
24516
37314
47514
done7514
0813
11611
2317
3475
4555
5565
done565
01619
12718
24918
38116
411416
514416
615316
715416
done15416
0710
1138
2224
3292
done292
01619
12718
24918
38116
411416
514416
615316
715416
done15416
059
1111
done111
01518
12617
24717
37915
414215
526215
632915
734215
done34215
0915
11713
2329
3497
4577
5587
done587
01619
12718
24618
37216
48716
59416
done9416
0811
1149
2235
3303
done303
01619
12718
24618
37216
48716
59416
done9416
059
1111
done111
01518
12617
24717
37915
414215
526215
632915
734215
done34215
069
1125
2181
done181
01417
12516
24516
37314
47514
done7514
0914
11812
2378
3726
41586
52086
62146
72186
done2186
01518
12617
24617
37215
48715
59215
done9215
0811
1149
2255
3403
4583
5753
6773
done773
01518
12617
24617
37215
48715
59215
done9215
0610
1135
2191
done191
01417
12516
24516
37314
47514
done7514
0813
11611
2317
3475
4555
5565
done565
01619
12718
24918
38116
411416
514416
615316
715416
done15416
0710
1138
2224
3292
done292
01619
12718
24918
38116
411416
514416
615316
715416
done15416
059
1111
done111
01518
12617
24717
37915
414215
526215
632915
734215
done34215
047
183
2121
done121
01518
12617
24717
37915
414215
526215
632915
734215
done34215
01418
12516
24414
37014
47214
done7214
067
1106
2154
3262
4502
5612
6682
7702
done702
01736
12835
24435
37135
47335
done7335
01619
12518
24118
36618
46818
done6818
01619
12518
24118
36618
46818
done6818
01619
12518
24118
36618
46818
done6818
01938
13637
27337
312735
419135
525635
done25635
01720
12819
24719
37517
49017
59717
done9717
01834
13133
25533
39331
412231
516231
done16231
01720
12819
24719
37517
49017
59717
done9717
01632
12929
25729
39129
49329
done9329
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01732
13031
25529
39429
410429
513229
618129
718529
done18529
01518
12617
24617
37215
47415
done7415
01937
13536
27836
317134
432934
552634
659234
760534
done60534
01619
12718
24718
37316
48816
59316
done9316
01834
13133
26033
310831
417531
527631
631431
732331
done32331
01619
12718
24718
37316
48816
59316
done9316
01733
13131
25629
39529
410329
513129
617829
718229
done18229
01518
12617
24617
37215
47415
done7415
01836
13535
27335
312933
419333
526833
done26833
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01733
13032
25532
39330
412230
515930
done15930
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01632
12929
25729
39129
49329
done9329
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01824
13123
25423
38921
411521
513021
done13021
01720
12819
24719
37517
49017
59717
done9717
01720
12819
24719
37517
49017
59717
done9717
01720
12819
24719
37517
49017
59717
done9717
01518
12615
24815
37515
47715
done7715
01619
12718
24818
38016
414316
526516
632716
734216
done34216
01618
12717
24715
37515
47915
done7915
01518
12617
24617
37215
47415
done7415
01823
13222
26222
311020
417720
523720
625420
725520
done25520
01619
12718
24718
37316
48816
59316
done9316
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01619
12718
24718
37316
48816
59316
done9316
01619
12817
24815
37815
48015
done8015
01518
12617
24617
37215
47415
done7415
01722
13021
25421
38719
411319
513219
done13219
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01619
12718
24718
37316
48816
59316
done9316
01720
12819
25019
38417
411717
514917
615817
715917
done15917
01518
12615
24815
37515
47715
done7715
01619
12718
24818
38016
414316
526516
632716
734216
done34216
0812
11411
2219
3307
4437
5457
done457
01619
12718
24618
37216
48716
59416
done9416
078
1117
2145
3193
4233
done233
01619
12718
24618
37216
48716
59416
done9416
046
181
done81
01518
12617
24717
37915
414215
526215
632915
734215
done34215
056
191
done91
01417
12516
24516
37314
47514
done7514
0811
11510
2288
3516
41226
51786
61856
71896
done1896
01518
12617
24617
37215
48715
59215
done9215
078
1117
2165
3273
4513
5683
6703
done703
01518
12617
24617
37215
48715
59215
done9215
057
1105
2131
done131
01417
12516
24516
37314
47514
done7514
0710
1139
2207
3295
4425
5445
done445
01619
12718
24918
38116
411416
514416
615316
715416
done15416
067
1106
2134
3182
4222
done222
01619
12718
24918
38116
411416
514416
615316
715416
done15416
046
181
done81
01518
12617
24717
37915
414215
526215
632915
734215
done34215
0812
11411
2219
3307
4437
5457
done457
01619
12718
24618
37216
48716
59416
done9416
078
1117
2145
3193
4233
done233
01619
12718
24618
37216
48716
59416
done9416
046
181
done81
01518
12617
24717
37915
414215
526215
632915
734215
done34215
056
191
done91
01417
12516
24516
37314
47514
done7514
0811
11510
2288
3516
41226
51786
61856
71896
done1896
01518
12617
24617
37215
48715
59215
done9215
078
1117
2165
3273
4513
5683
6703
done703
01518
12617
24617
37215
48715
59215
done9215
057
1105
2131
done131
01417
12516
24516
37314
47514
done7514
0710
1139
2207
3295
4425
5445
done445
01619
12718
24918
38116
411416
514416
615316
715416
done15416
067
1106
2134
3182
4222
done222
01619
12718
24918
38116
411416
514416
615316
715416
done15416
046
181
done81
01518
12617
24717
37915
414215
526215
632915
734215
done34215
034
151
done51
01518
12617
24717
37915
414215
526215
632915
734215
done34215
01315
12214
23914
36414
46814
done6814
067
1106
2154
3262
4502
5612
6682
7702
done702
01635
12735
24335
36835
47035
done7035
01518
12418
24018
36518
46718
done6718
01518
12418
24018
36518
46718
done6718
01518
12418
24018
36518
46718
done6718
01837
13537
27237
313035
419435
526635
done26635
01619
12719
24619
37217
48717
59417
done9417
01733
13033
25433
39231
412131
516131
done16131
01619
12719
24619
37217
48717
59417
done9417
01531
12829
25629
39229
49429
done9429
01518
12618
24718
37916
414216
526016
631816
733316
done33316
01631
12931
25429
39329
410329
513129
617829
718029
done18029
01417
12517
24517
37315
47715
done7715
01836
13436
27736
316834
432034
550834
658134
760134
done60134
01518
12618
24618
37216
48716
59216
done9216
01733
13033
25933
310731
417631
527631
631431
732331
done32331
01518
12618
24618
37216
48716
59216
done9216
01632
13031
25529
39429
410229
513029
617729
717929
done17929
01417
12517
24517
37315
47715
done7715
01735
13435
27235
312833
419033
525733
done25733
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01632
12932
25432
39230
412130
516130
done16130
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01531
12829
25629
39229
49429
done9429
01518
12618
24718
37916
414216
526016
631816
733316
done33316
01723
13023
25323
38621
411221
513121
done13121
01619
12719
24619
37217
48717
59417
done9417
01619
12719
24619
37217
48717
59417
done9417
01619
12719
24619
37217
48717
59417
done9417
01417
12515
24715
37215
47415
done7415
01518
12618
24718
37916
414216
526016
631816
733316
done33316
01517
12617
24615
37415
47815
done7815
01417
12517
24517
37315
47715
done7715
01722
13122
26122
311120
417820
524020
625920
726120
done26120
01518
12618
24618
37216
48716
59216
done9216
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01518
12618
24618
37216
48716
59216
done9216
01518
12717
24715
37515
47715
done7715
01417
12517
24517
37315
47715
done7715
01621
12921
25321
38819
411419
513319
done13319
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01518
12618
24618
37216
48716
59216
done9216
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01417
12515
24715
37215
47415
done7415
01518
12618
24718
37916
414216
526016
631816
733316
done33316
0711
1137
2227
3357
4477
5487
done487
01518
12618
24518
37116
48616
59316
done9316
067
1103
2153
3173
4183
done183
01518
12618
24518
37116
48616
59316
done9316
035
161
done61
01417
12517
24617
38015
414515
526515
632615
733915
done33915
045
181
done81
01316
12416
24416
37014
47214
done7214
0710
1146
2296
3636
41006
51286
61466
71506
done1506
01417
12517
24517
37315
49015
59715
done9715
067
1103
2173
3273
4353
5433
6593
7633
done633
01417
12517
24517
37315
49015
59715
done9715
046
191
done91
01316
12416
24416
37014
47214
done7214
069
1125
2215
3345
4435
5445
done445
01518
12618
24818
38016
411316
514316
615216
715316
done15316
056
192
2142
3162
4172
done172
01518
12618
24818
38016
411316
514316
615216
715316
done15316
035
161
done61
01417
12517
24617
38015
414515
526515
632615
733915
done33915
0711
1137
2227
3357
4477
5487
done487
01518
12618
24518
37116
48616
59316
done9316
067
1103
2153
3173
4183
done183
01518
12618
24518
37116
48616
59316
done9316
035
161
done61
01417
12517
24617
38015
414515
526515
632615
733915
done33915
045
181
done81
01316
12416
24416
37014
47214
done7214
0710
1146
2296
3636
41006
51286
61466
71506
done1506
01417
12517
24517
37315
49015
59715
done9715
067
1103
2173
3273
4353
5433
6593
7633
done633
01417
12517
24517
37315
49015
59715
done9715
046
191
done91
01316
12416
24416
37014
47214
done7214
069
1125
2215
3345
4435
5445
done445
01518
12618
24818
38016
411316
514316
615216
715316
done15316
056
192
2142
3162
4172
done172
01518
12618
24818
38016
411316
514316
615216
715316
done15316
035
161
done61
01417
12517
24617
38015
414515
526515
632615
733915
done33915
023
141
done41
01417
12517
24617
38015
414515
526515
632615
733915
done33915
01214
12114
23814
36314
46514
done6514
056
192
2162
3262
4322
5412
6582
7652
8672
done672
01417
12517
24617
38015
414515
526515
632615
733915
done33915
01417
12515
25015
39515
417915
530915
632315
done32315
01635
12735
24335
36835
47035
done7035
01518
12418
24018
36518
46718
done6718
01837
13537
27237
313035
419435
526635
done26635
01733
13033
25433
39231
412131
516131
done16131
01531
12829
25629
39229
49429
done9429
01631
12931
25429
39329
410329
513129
617829
718029
done18029
01836
13436
27736
316834
432034
550834
658134
760134
done60134
01733
13033
25933
310731
417631
527631
631431
732331
done32331
01632
13031
25529
39429
410229
513029
617729
717929
done17929
01735
13435
27235
312833
419033
525733
done25733
01632
12932
25432
39230
412130
516130
done16130
01531
12829
25629
39229
49429
done9429
01723
13023
25323
38621
411221
513121
done13121
01619
12719
24619
37217
48717
59417
done9417
01417
12515
24715
37215
47415
done7415
01517
12617
24615
37415
47815
done7815
01722
13122
26122
311120
417820
524020
625920
726120
done26120
01619
12719
24919
38117
411417
514417
615317
715417
done15417
01518
12717
24715
37515
47715
done7715
01621
12921
25321
38819
411419
513319
done13319
01518
12618
24618
37216
48716
59216
done9216
01417
12515
24715
37215
47415
done7415
0711
1137
2227
3357
4477
5487
done487
067
1103
2153
3173
4183
done183
035
161
done61
045
181
done81
0710
1146
2296
3636
41006
51286
61466
71506
done1506
067
1103
2173
3273
4353
5433
6593
7633
done633
046
191
done91
069
1125
2215
3345
4435
5445
done445
056
192
2142
3162
4172
done172
035
161
done61
0711
1137
2227
3357
4477
5487
done487
067
1103
2153
3173
4183
done183
035
161
done61
045
181
done81
0710
1146
2296
3636
41006
51286
61466
71506
done1506
067
1103
2173
3273
4353
5433
6593
7633
done633
046
191
done91
069
1125
2215
3345
4435
5445
done445
056
192
2142
3162
4172
done172
035
161
done61
023
141
done41
01214
12114
23814
36314
46514
done6514
01518
12617
24717
37615
411515
523215
630015
done30015
01518
12617
24717
37615
411515
523215
630015
done30015
01417
12515
25015
39515
417915
530915
632315
done32315
01214
12114
23814
36314
46514
done6514
055
195
2155
done155
055
195
2155
done155
088
1128
2188
3208
done208
077
1127
2177
3217
done217
066
1136
2266
3386
4406
done406
066
1126
2296
3516
41076
52486
65866
715506
done50006
01117
12417
28911
332711
410729
529869
done50009
0917
12617
2939
33799
411617
521757
done50007
0713
11113
21713
done1713
066
1106
2166
done166
0717
12117
2917
34237
411387
516107
631987
done50007
066
1106
2166
done166
066
1106
2166
done166
079
1139
2269
3369
done369
066
1106
2166
3186
done186
055
1113
2233
3273
done273
033
143
done43
01417
12317
24017
36517
46717
done6717
01316
12316
24116
36716
47116
done7116
01316
12016
23616
36116
46516
done6516
01647
15145
214919
342817
4109317
5322417
done500017
01433
12133
23733
36233
46633
done6633
01316
12016
23616
36116
46516
done6516
01447
12847
27617
317717
438017
579917
6203417
done500117
01316
12016
23616
36116
46516
done6516
01316
12016
23616
36116
46516
done6516
01113
12113
24013
36613
46813
done6813
033
done31
01635
12935
25435
38535
48735
done8735
01417
12117
23717
36217
46417
done6417
01531
12431
24231
36831
47031
done7031
01417
12117
23717
36217
46417
done6417
01429
12527
24827
37827
48027
done8027
01316
12016
23616
36116
46516
done6516
01429
12329
24229
36829
47029
done7029
01215
11915
23615
36115
46315
done6315
01634
12834
25934
310234
411034
511134
done11134
01316
12016
23716
36216
46616
done6616
01531
12431
24531
37131
47331
done7331
01316
12016
23716
36216
46616
done6616
01530
12729
24629
37229
47429
done7429
01215
11915
23615
36115
46315
done6315
01533
12833
25433
38533
48733
done8733
01417
12117
23817
36317
46517
done6517
01430
12330
24230
36830
47030
done7030
01417
12117
23817
36317
46517
done6517
01429
12527
24827
37827
48027
done8027
01316
12016
23616
36116
46516
done6516
01521
12421
24021
36521
46721
done6721
01417
12117
23717
36217
46417
done6417
01417
12117
23717
36217
46417
done6417
01417
12117
23717
36217
46417
done6417
01315
12213
24113
36613
47013
done7013
01316
12016
23616
36116
46516
done6516
01315
12015
23715
36215
46615
done6615
01215
11915
23615
36115
46315
done6315
01520
12520
24620
37120
47320
done7320
01316
12016
23716
36216
46616
done6616
01417
12117
23817
36317
46517
done6517
01316
12016
23716
36216
46616
done6616
01416
12415
24115
36615
46815
done6815
01215
11915
23615
36115
46315
done6315
01419
12319
24019
36519
46719
done6719
01417
12117
23817
36317
46517
done6517
01316
12016
23716
36216
46616
done6616
01417
12117
23817
36317
46517
done6517
01315
12213
24113
36613
47013
done7013
01316
12016
23616
36116
46516
done6516
069
1109
done109
01316
12016
23616
36116
46516
done6516
055
175
done75
01316
12016
23616
36116
46516
done6516
023
141
done41
01215
11915
23515
36015
46415
done6415
033
151
done51
01114
11814
23514
36014
46214
done6214
068
1118
2158
done158
01215
11915
23615
36115
46315
done6315
055
175
done75
01215
11915
23615
36115
46315
done6315
034
161
done61
01114
11814
23514
36014
46214
done6214
057
197
done97
01316
12016
23716
36216
46616
done6616
044
164
done64
01316
12016
23716
36216
46616
done6616
023
141
done41
01215
11915
23515
36015
46415
done6415
069
1109
done109
01316
12016
23616
36116
46516
done6516
055
175
done75
01316
12016
23616
36116
46516
done6516
023
141
done41
01215
11915
23515
36015
46415
done6415
033
151
done51
01114
11814
23514
36014
46214
done6214
068
1118
2158
done158
01215
11915
23615
36115
46315
done6315
055
175
done75
01215
11915
23615
36115
46315
done6315
034
161
done61
01114
11814
23514
36014
46214
done6214
057
197
done97
01316
12016
23716
36216
46616
done6616
044
164
done64
01316
12016
23716
36216
46616
done6616
023
141
done41
01215
11915
23515
36015
46415
done6415
044
164
done64
01215
12115
23715
36215
46615
done6615
01420
12320
23920
36420
46620
done6620
01316
12016
23616
36116
46516
done6516
01214
12112
24012
36512
46712
done6712
01214
11914
23614
36114
46314
done6314
01419
12419
24519
37019
47219
done7219
01316
12016
23716
36216
46616
done6616
01315
12314
24014
36514
46714
done6714
01318
12218
23918
36418
46618
done6618
01215
11915
23615
36115
46315
done6315
01214
12112
24012
36512
46712
done6712
01316
12216
23816
36316
46516
done6516
01316
12216
23816
36316
46516
done6516
01215
12115
23715
36215
46615
done6615
01215
12115
23715
36215
46615
done6615
01541
13827
211327
331625
478725
5152924
6177024
7188624
8194524
done194524
01215
12315
25515
39815
412314
512814
done12814
01011
12010
24210
39610
425410
583410
6496510
done500010
0910
11510
23210
35710
45910
done5910
0910
11810
24510
310310
421010
565210
6295310
done500110
01021
11621
23321
35821
46021
done6021
0910
11510
23210
35710
45910
done5910
01029
11729
24811
317411
492011
5463811
done500011
0910
11510
23210
35710
45910
done5910
0910
11510
23210
35710
45910
done5910
01113
13513
213111
362111
4319411
done500111
01229
13823
212721
337619
453019
555719
666319
7100619
8236219
done500019
066
1146
2356
3536
done536
01019
13019
29817
337815
4102915
5144915
6195015
7316415
done500015
089
1139
2199
done199
066
1146
2356
3536
done536
01723
14723
215123
344121
4168917
done500017
055
185
2115
3155
4165
done165
01011
11811
23311
35011
46211
56511
done6511
055
195
2155
done155
055
195
2155
done155
055
195
2155
done155
01417
13117
27317
314117
423617
533415
648615
7108815
8178015
9285515
done500115
01011
11811
23411
35111
46311
56611
done6611
055
185
2115
3155
4165
done165
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019
099
1209
2459
3759
4839
5939
61159
71769
83909
913129
done50019

prune357.0ms

Filtered
151 candidates to 310 candidates (-105.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New3100310
Fresh066
Picked011
Done011
Total3108318

Merged error: 0b

Counts
318 → 8

regimes279.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11715
done1715

end0.0ms

sample2.6s

Algorithm
intervals
Results
559.0ms4874×body160valid
526.0ms16218×pre80true
497.0ms8218×body80nan
223.0ms1323×body320valid
107.0ms1803×body80valid

Profiling

Loading profile data...