Details

Time bar (total: 4.0min)

sample40.0ms

Algorithm
intervals
Results
18.0ms335×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 8 (1.1s)

IterNodesCost
01417
12517
24617
37917
412117
518317
630917
771417
8283815
done500015

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 2.0 z) (* 2.0 1.0))
0.0b
(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
0.1b
(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
13×times-frac
12×add-cube-cbrt
10×add-log-exp
div-inv
add-exp-log add-cbrt-cube distribute-lft-out
associate-/l*
pow1 diff-log associate-/r* distribute-lft-out--
sub-neg flip3-- flip3-+ frac-sub flip-- flip-+ associate-/l/ associate--r+ difference-of-squares
cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log associate--r-
Counts
3 → 67
Calls
3 calls:
7.0ms
(+ (/ 2.0 z) (* 2.0 1.0))
25.0ms
(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
10.0ms
(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

series24.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(+ (/ 2.0 z) (* 2.0 1.0))
14.0ms
(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
6.0ms
(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

simplify1.6min

Counts
76 → 76
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11411
21511
done1511
0910
11410
21610
31710
done1710
0910
11110
done1110
01229
13529
211713
336911
4106511
5313111
done500011
01021
11221
done1221
0910
11110
done1110
01029
11929
25111
314311
439711
5109711
6298611
done500011
0910
11110
done1110
0910
11110
done1110
078
1128
2218
3228
done228
022
done22
01223
12023
22923
33523
done3523
01011
11211
done1211
01120
11520
21720
31820
done1820
01011
11211
done1211
01019
11617
22217
32717
done2717
0910
11110
done1110
01114
11514
done1514
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
0910
1138
2158
done158
0910
11110
done1110
057
197
done97
0910
11110
done1110
044
164
done64
0910
11110
done1110
023
141
done41
089
1109
done109
057
177
done77
088
1118
done118
044
done44
088
1118
done118
033
151
done51
077
1107
done107
033
153
done53
089
1109
done109
01013
11413
done1413
0910
11110
done1110
089
1127
2147
done147
0910
11110
done1110
0910
11110
done1110
089
1109
done109
077
1107
done107
01225
14221
211021
329321
465919
5104919
6153119
7214319
8342819
done500019
089
1129
2259
3489
4649
5749
6819
7849
done849
01618
12217
23116
34716
47216
511316
616016
730416
842516
947016
1048216
1156316
1281016
13147116
14156116
15233516
done500016
01517
12416
23616
35816
49416
513316
625116
736516
841016
942516
1044116
1152616
1277316
13141816
14151616
15253516
done500016
01416
12216
23216
34716
45416
56216
67916
711116
813316
915316
1023316
1138016
1246416
1347816
1450016
1559516
1674316
17107416
18155516
19237316
20278016
done278016
01416
12516
24416
37216
411216
518616
632816
740316
842616
944216
1052716
1177416
12141316
13150916
14252816
done500016
01533
12333
23333
34833
45533
56333
68033
711233
813433
915433
1023433
1138133
1245733
1346933
1449133
1558633
1673433
17106733
18154333
19237033
20271033
done271033
01416
12216
23216
34716
45416
56216
67916
711116
813316
915316
1023316
1138016
1246416
1347816
1450016
1559516
1674316
17107416
18155516
19237316
20278016
done278016
01547
12447
26017
322817
4115717
done500217
01416
12216
23216
34716
45416
56216
67916
711116
813316
915316
1023316
1138016
1246416
1347816
1450016
1559516
1674316
17107416
18155516
19237316
20278016
done278016
01416
12216
23216
34716
45416
56216
67916
711116
813316
915316
1023316
1138016
1246416
1347816
1450016
1559516
1674316
17107416
18155516
19237316
20278016
done278016
02237
16333
218433
362333
4253833
done500033
01119
13115
27015
313515
422415
531315
636115
737415
done37415
01727
13827
210227
330121
495621
5285721
done500021
077
1157
2207
3247
4267
5277
done277
01619
13819
29319
327919
491819
5316019
done500119
01747
13441
28441
322637
464137
5195437
done500137
066
186
2146
3186
4215
done215
01531
12831
26431
317131
453831
5177331
done500031
01315
12015
22915
33815
44615
56215
68315
711515
821515
936415
1050515
1154015
1256215
1365715
1480515
15114015
16161815
17247315
18288315
19292615
done292615
01517
12017
22317
done2317
01517
12117
22517
done2517
01618
12118
22418
done2418
01618
12218
22618
done2618
01315
12115
23115
34615
45215
56015
67715
710915
813115
915315
1023315
1138015
1245715
1347115
1449315
1558815
1673615
17106915
18154415
19236315
20270915
done270915
01315
12115
23115
34615
45215
56015
67715
710915
813115
915315
1023315
1138015
1245715
1347115
1449315
1558815
1673615
17106915
18154415
19236315
20270915
done270915
0911
11311
21411
done1411
0911
11311
21411
done1411
0911
11311
21411
done1411
066
186
2146
3186
4215
done215
089
1148
2218
3338
4688
51588
64138
712668
846938
done50018
078
198
done98
078
1128
2178
3248
4428
5928
62178
75838
819528
done50008
0817
11017
done1017
078
198
done98
0823
12323
2759
32479
46769
517869
641879
done50019
078
198
done98
078
198
done98
0911
12911
28011
321411
447811
5135311
done500011
01023
13319
28119
316519
425917
536517
650517
765217
897017
9138617
10139817
done139817
0815
12515
26015
312415
419113
529113
643713
781913
8265013
done500113
067
197
2167
done167
055
185
done85
01013
12211
2369
3609
41039
51767
62147
72227
done2227
01013
12211
2369
3609
41039
51767
62147
72227
done2227
01013
12211
2369
3609
41039
51767
62147
72227
done2227
01417
12717
24713
37613
412313
518911
622311
723011
done23011
01011
12011
2309
3379
4489
5719
61339
72549
83049
93289
103509
113769
done3769
01011
12011
2309
3379
4489
5719
61339
72549
83049
93289
103509
113769
done3769
067
1127
2175
3205
4255
5275
6285
7305
8315
done315
067
1127
2175
3205
4255
5275
6285
7305
8315
done315
067
1127
2175
3205
4255
5275
6285
7305
8315
done315

prune148.0ms

Filtered
60 candidates to 76 candidates (-26.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New72476
Fresh011
Picked011
Done000
Total72678

Merged error: 0.0b

Counts
78 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
124×cbrt-prod
90×times-frac
88×add-sqr-sqrt
64×add-cube-cbrt *-un-lft-identity
28×div-inv
21×distribute-lft-out
19×swap-sqr associate-*r* associate-*l*
11×pow1
pow1/3 unswap-sqr
cbrt-div
add-exp-log
add-cbrt-cube add-log-exp
pow-prod-down pow-sqr pow-prod-up
pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 162
Calls
4 calls:
26.0ms
(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
7.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

series110.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
22.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
30.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
22.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

simplify53.0s

Counts
174 → 174
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
023
151
done51
023
161
done61
0919
11519
22919
35819
411119
521219
638019
768519
8107619
9158919
10233219
11324719
12425719
done500119
01021
11221
done1221
023
161
done61
01123
11513
21613
done1613
01122
11522
21713
31813
done1813
01122
11522
21922
32422
44222
58222
618622
755622
8223522
done500122
0919
11519
22919
35819
411119
521219
638019
768519
8107619
9158919
10233219
11324719
12425719
done500119
01245
11445
done1445
01122
11322
done1322
01265
12265
22923
34312
48912
522812
661412
7224512
done500012
01122
11411
done1411
01122
11411
done1411
0817
11017
done1017
035
done35
01245
11445
done1445
01123
11323
done1323
01123
11323
done1323
01123
11323
done1323
01449
12249
23149
33749
done3749
01225
11425
done1425
01343
11743
21943
32043
done2043
01225
11425
done1425
01241
11837
22437
32937
done2937
01123
11323
done1323
01331
11731
done1731
01225
11425
done1425
01225
11425
done1425
01225
11425
done1425
01123
11519
21719
done1719
01123
11323
done1323
0717
11117
done1117
01123
11323
done1323
0611
1811
done811
01123
11323
done1323
049
163
done61
01021
11221
done1221
0717
1917
done917
01019
11319
done1319
0611
done611
01019
11319
done1319
059
175
done75
0917
11217
done1217
035
153
done51
01021
11221
done1221
0817
11017
done1017
059
179
done79
01247
11847
22225
33113
44613
57413
614613
735513
8126713
done500013
01123
11323
done1323
01123
11310
21410
done1410
01123
11310
21410
done1410
023
141
done41
01021
11221
done1221
01123
11323
done1323
01123
11323
done1323
01524
11824
done1824
01524
11824
done1824
01323
11623
done1623
01323
11623
done1623
01524
11824
done1824
01524
11824
done1824
01225
11425
done1425
01225
11425
done1425
01524
11824
done1824
01524
11824
done1824
01323
11623
done1623
01323
11623
done1623
01524
11824
done1824
01524
11824
done1824
01123
11310
21410
done1410
01123
11310
21410
done1410
033
151
done51
033
161
done61
01233
11533
done1533
01222
11522
done1522
01635
12535
23435
34035
done4035
01532
12032
22232
32332
done2332
01531
12229
22829
33329
done3329
01526
12026
done2026
01423
11723
done1723
01422
11922
22120
done2120
01519
12219
done2219
01416
11916
done1916
01315
11812
done1812
01419
11919
done1919
01316
11616
done1616
01315
11813
done1813
01213
11712
done1712
01119
11419
done1419
01234
11734
21934
done1934
01122
11422
done1422
01112
11610
21910
done1910
01122
11422
done1422
01222
11522
done1522
01423
11723
done1723
01423
11723
done1723
01322
11622
done1622
01423
11723
done1723
01423
11723
done1723
01322
11622
done1622
01322
11622
done1622
01322
11622
done1622
01021
11221
done1221
01620
12220
done2220
01620
12220
done2220
01519
12119
done2119
01021
11221
done1221
01315
11815
done1815
01122
11422
done1422
01122
11422
done1422
01021
11221
done1221
01119
11419
done1419
01119
11419
done1419
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02357
15351
212751
331735
493922
5325618
done500118
02248
15445
211545
332927
4126621
done500021
03587
18887
226587
386058
4442050
done500050

prune701.0ms

Filtered
148 candidates to 174 candidates (-17.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1722174
Fresh134
Picked011
Done011
Total1737180

Merged error: 0b

Counts
180 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt t) (cbrt t))
0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
pow1/3
add-exp-log swap-sqr associate-*r* associate-*l*
add-cbrt-cube add-log-exp unswap-sqr
pow-prod-down pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
7.0ms
(* (cbrt t) (cbrt t))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series112.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (cbrt t) (cbrt t))
30.0ms
(cbrt t)
26.0ms
(cbrt t)
26.0ms
(cbrt t)

simplify52.0s

Counts
85 → 85
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
023
151
done51
023
161
done61
023
done23
035
done35
023
161
done61
047
165
275
done75
046
166
285
395
done95
046
166
2106
3156
4336
5736
61776
75606
822476
done50006
023
done23
0513
done513
046
done46
0517
11317
2207
3343
4533
5873
61513
73353
88323
932263
done50003
046
153
done53
046
153
done53
0513
done513
047
done47
047
done47
047
done47
035
153
done51
035
done35
0515
1915
2119
3205
4355
5615
61315
73485
812555
done50015
047
done47
047
done42
047
done42
023
141
done41
035
done35
047
done47
047
done47
067
177
done77
067
177
done77
067
177
done77
067
177
done77
047
done42
047
done42
033
151
done51
033
161
done61
059
169
done69
056
166
done66
055
184
done84
0510
1810
21010
done1010
046
156
done56
044
172
2102
done102
046
156
done56
056
166
done66
035
done35
046
156
done56
046
156
done56
035
done35
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
01010
1239
2395
3793
41563
53143
68873
729593
done50003
01112
12210
2468
31315
42863
56173
619803
done50013
01517
13116
26614
318911
455310
5213910
done50009

prune105.0ms

Filtered
52 candidates to 85 candidates (-63.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New84185
Fresh134
Picked101
Done022
Total86692

Merged error: 0b

Counts
92 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
64×cbrt-prod
48×times-frac
36×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
16×div-inv
12×distribute-lft-out
pow1 add-exp-log cbrt-div pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 100
Calls
4 calls:
7.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
8.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
11.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

series89.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms
(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

simplify31.0s

Counts
112 → 112
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01122
11322
done1322
01011
11211
done1211
01011
11211
done1211
01011
11211
done1211
01324
12124
23024
33624
done3624
01112
11312
done1312
01221
11621
21821
31921
done1921
01112
11312
done1312
01120
11718
22318
32818
done2818
01011
11211
done1211
01215
11615
done1615
01112
11312
done1312
01112
11312
done1312
01112
11312
done1312
01011
1149
2169
done169
01011
11211
done1211
068
1108
done108
01011
11211
done1211
055
175
done75
01011
11211
done1211
034
151
done51
0910
11110
done1110
068
188
done88
099
1129
done129
055
done55
099
1129
done129
044
162
done62
088
1118
done118
022
141
done41
0910
11110
done1110
078
198
done98
044
164
done64
078
198
done98
022
done22
01123
11323
done1323
01011
11211
done1211
01132
11432
21612
3219
4279
5379
6589
71149
83219
912339
done50019
01011
11211
done1211
01011
11211
done1211
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040
02545
15345
212045
329031
481518
5282016
done500116
02142
15239
210936
331323
4122217
done500017
03371
18371
222771
365452
4227140
done500040

prune676.0ms

Filtered
100 candidates to 112 candidates (-12.0%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1120112
Fresh033
Picked011
Done022
Total1126118

Merged error: 0b

Counts
118 → 6

regimes522.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
11515
done1515

end0.0ms

sample1.1s

Algorithm
intervals
Results
577.0ms10476×body80valid

Profiling

Loading profile data...