Details

Time bar (total: 34.8min)

sample219.0ms

Algorithm
intervals
Results
133.0ms461×body80valid
40.0ms19×body320valid
15.0ms12×body640valid
1.0msbody160valid
1.0msbody1280valid

simplify907.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (151.0ms)

IterNodesCost
035127
1103127
2352125
31575121
done5001121

prune18.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.5b

Counts
2 → 2

localize45.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.8b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log add-cbrt-cube
26×add-sqr-sqrt
24×associate-*r*
23×associate-*r/
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×add-cube-cbrt
11×flip3-- flip--
10×frac-add
pow-prod-down
add-log-exp
sub-neg
distribute-rgt-in distribute-lft-in
difference-of-squares
frac-times associate-+l+ associate-+r+ distribute-lft-out--
cbrt-undiv div-exp
flip3-+ associate-*l* associate-*l/ associate-/r/ *-commutative flip-+
+-commutative associate--l- diff-log div-sub sum-log div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
20.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
42.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
21.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
24.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series153.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
89.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
12.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
35.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify7.8min

Counts
128 → 128
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01825
13925
27925
316725
441925
5104725
6216825
7444925
done500025
01825
13925
27925
316725
441925
5104725
6216825
7444925
done500025
02128
14427
27327
312327
420827
536127
663627
7122627
8219427
9361627
done500027
02027
14127
27327
312427
420927
536227
662927
7121927
8216727
9359727
done500127
01926
14326
28826
318326
442926
5105126
6218226
7444926
done500026
01926
14226
29126
320726
454826
5151826
6439026
done500126
02277
15377
214831
357127
4287927
done500027
02277
15477
214929
357027
4293127
done500127
02053
14153
28153
316953
442153
5104253
6217753
7446153
done500053
01926
14026
28026
316826
440626
5102526
6211726
7437226
done500026
02077
15177
215827
363427
4307027
done500027
01926
14026
28026
316826
440626
5102526
6211726
7437226
done500026
01926
14026
28026
316826
440626
5102526
6211726
7437226
done500026
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
056
1106
2186
3266
4286
done286
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
056
1106
2186
3266
4286
done286
01623
13723
28323
319123
450523
5115623
6223123
7421523
done500123
056
1106
2186
3266
4286
done286
01623
13723
28323
319123
450523
5115623
6223123
7421523
done500123
056
1106
2186
3266
4286
done286
02049
14549
28249
313249
421349
536849
663749
7122749
8218849
9361949
done500049
01926
14026
26826
311826
419926
535226
661926
7120926
8218526
9361226
done500126
045
193
2173
done173
01823
13723
26923
313623
429223
564723
6129923
7260223
8470723
done500023
02129
15829
216129
364129
4378729
done500029
02047
15147
213047
347847
4227747
done500047
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
02028
14128
28127
316427
426227
541827
682927
7117227
8160127
9181327
10184227
11192227
12207827
13210027
done210027
01927
14227
27726
314126
425726
543526
684026
7119226
8173726
9230526
10256026
11329526
done500026
01927
13927
27127
314327
425427
541027
682327
7115227
8158127
9190927
10236427
11322727
12403627
done500027
01826
14026
26926
312926
424326
541526
682626
7117126
8172626
9242426
10312226
11465026
done500126
01726
13526
26226
313026
424126
538726
676426
7109126
8165426
9226226
10305926
11340426
12404126
done500026
01625
13625
26225
311425
422125
538825
675525
7108425
8174225
9266625
10367325
11468725
done500125
01524
13624
29624
334624
481724
5152424
6307324
done500024
01524
13524
29324
334424
482524
5179524
6473924
done500024
02371
17171
229733
3189227
done500027
02171
15871
221531
3119627
done500027
02271
17271
230331
3199029
done500029
02071
15971
222029
3130229
done500029
02071
16571
228329
3175427
done500027
01871
15271
220027
3109727
done500127
01649
13449
27949
328849
463249
5113549
6241649
done500149
01524
13324
27824
328824
463524
5114524
6240724
done500024
01671
14471
218625
3131825
done500025
01524
13324
27824
328824
463524
5114524
6240724
done500024
01524
13324
27824
328824
463524
5114524
6240724
done500024
01643
13443
26743
310943
412743
515743
623143
745343
875243
9109443
10165943
11252943
done500043
01524
13124
25524
37424
48324
511324
618724
736524
859924
983624
10115024
11195024
done500024
01845
13945
210345
331845
484845
5160345
6183445
7240445
8373845
done500045
01738
13438
27538
318338
436538
554838
664238
798638
8153138
9241038
10426738
11494538
done500038
01433
13331
27831
322931
456231
5114231
6125531
7164831
8227631
9303131
10450931
done500031
01732
13432
27632
319332
439132
565532
677932
7112632
8178032
9275732
10452732
done500032
01625
13125
26325
312025
418125
525625
632525
754325
883625
9120925
10166825
11208025
12391325
13457025
14499725
done499725
01320
13018
26218
313118
425618
551218
661218
788918
8116818
9144918
10183018
11255918
done500018
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
01833
13233
27533
323033
446333
582633
6134933
7178233
8188433
9193633
10195533
11196133
12196633
done196633
01726
12926
26226
315526
426226
536026
655326
764326
865726
967526
1067926
done67926
01421
12819
26919
318419
433219
561319
676119
7107819
8121219
done121219
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
067
1155
2365
3505
done505
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
01727
15027
211925
336325
480625
5167025
6499525
done500025
01629
14229
210727
341825
4125225
5375725
done500025
01419
13019
25519
39319
415919
525919
645219
788619
8157219
9305019
done500019
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
02569
16468
218768
371566
4287654
done500054
02468
15768
215868
358666
4233854
done500054
02468
16068
217468
366766
4272954
done500054
025137
158137
2159137
3587133
42326109
done5001109
02468
15768
215868
358666
4233554
done500054
025203
171203
225269
3151367
done500167
02468
15768
215868
358666
4233554
done500054
02468
15768
215868
358666
4233554
done500054
041201
1145197
2582197
33830163
done5001163
028131
188127
2320127
3193193
done500093
037175
1125173
2475173
32861157
done5000157
02487
17085
223185
3118969
done500069
037177
1125175
2510175
33444157
done5001157
02491
17389
225989
3134971
done500071
032151
1100151
2396151
32494151
done5001151
02047
15447
216747
365347
4327143
done500043
040201
1137197
2522197
33446163
done5001163
027125
178121
2253121
3133487
done500087
036175
1117173
2415173
32457157
done5000157
02381
16079
217079
369263
4300363
done500163
036177
1117175
2464160
33168142
done5000141
02385
16383
219683
376765
4394965
done500065
031151
192151
2352151
32159136
done5000135
01941
14441
211041
329141
4113741
done500141
033137
1106135
2420135
32700117
done5000117
02271
16169
219069
376151
4348551
done500051
028111
181111
2306111
31769111
done5000111
01827
14227
210427
326327
473723
5222521
done500121
02671
17871
228371
3163071
done500071
027203
185177
2365177
32373157
done5000157
025135
176135
2298135
31687131
done5001131
02367
15767
216867
363165
4251053
done500053
02165
15465
216065
364747
4251445
done500145
02165
15465
216065
364747
4251445
done500145
02165
15465
216065
361247
4242545
done500145
02165
15465
216065
361247
4242545
done500145
02350
15650
215449
352048
4157036
5444032
done500031
02350
15650
215449
352048
4157036
5444032
done500031
02350
15650
215349
355649
4180136
5488432
done500032
02350
15650
215349
355649
4180136
5488432
done500032
01621
13120
24820
37420
411720
520020
636820
766220
8118020
9193620
10465320
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13320
25320
38820
413720
521520
642320
772020
8126120
9203420
10478820
done500020
01641
13141
24641
36841
49141
513041
623241
740641
867341
993341
10120741
11200241
12488741
done500041
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01659
13259
26121
314621
463121
5327321
done500121
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01723
14823
29823
331023
4130523
done500023
01859
14457
28557
324141
477641
5267041
done500141
022
done22
01639
13839
27739
322839
480839
5295839
done500139
01419
12819
24219
35819
47719
512119
621819
738819
865019
992619
10122619
11203719
12452219
done500019
01621
13021
24021
34821
45721
58721
616121
729521
847721
965521
1089621
11162921
12428421
done500121
01621
13121
24221
35021
45921
58921
616321
729721
847921
965721
1089821
11163321
12449521
done500021
01722
12822
23622
34222
44822
56822
611822
719222
823222
926522
1028922
1137322
1253322
1355522
done55522
01722
12922
23822
34422
45022
57022
612022
719422
823422
926722
1029122
1137122
1252422
1355222
done55222
01419
12919
24419
36619
48919
512819
623019
740619
867119
993219
10120619
11200219
12483919
done500019
079
199
done99
022
done22
01519
13719
210419
319715
443013
591813
6259613
done500013
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01719
14219
211919
323317
450815
5124615
6395415
done500015
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01619
14219
29919
319817
442115
589515
6308415
done500115
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
099
1169
2259
3419
4539
5779
61129
71339
81509
91549
101589
done1589
01419
13119
27317
318117
448417
5169215
done500015
01419
13119
27317
318117
448417
5169215
done500015

prune1.0s

Filtered
102 candidates to 128 candidates (-25.5%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New11810128
Fresh011
Picked101
Done000
Total11911130

Merged error: 0.4b

Counts
130 → 11

localize41.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
4.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.7b
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log add-cbrt-cube
25×pow1 prod-exp cbrt-unprod
24×add-sqr-sqrt
22×associate-*r*
21×*-un-lft-identity
16×times-frac
14×pow-prod-down
13×add-cube-cbrt associate-*r/
11×add-log-exp
10×frac-add
flip3-+ flip-+
cbrt-undiv flip3-- div-exp flip-- difference-of-squares
frac-times associate-+l+ distribute-lft-out--
sub-neg sum-log
distribute-rgt-in associate-+r- distribute-lft-in associate-*l* associate-*l/ associate-/r/ *-commutative distribute-rgt-neg-out
+-commutative associate--l- associate-+r+ diff-log div-sub unsub-neg div-inv
Counts
4 → 118
Calls
4 calls:
20.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
68.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
21.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
20.0ms
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

series133.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
91.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
13.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
12.0ms
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

simplify7.7min

Counts
130 → 130
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
02128
14327
28127
316927
429027
549727
684627
7120527
8161027
9185827
10188027
11196427
12212027
13215027
done215027
02027
14426
27626
313626
425426
545226
677226
7111126
8162426
9213026
10238826
11312726
done500126
01926
14325
28325
316925
434225
563325
6112425
7186525
8299625
9446425
done500025
02027
14027
27627
315827
428427
548627
682527
7115827
8156627
9188027
10211427
11260727
12334727
done500127
01926
14126
27326
313326
425126
545126
676426
7110426
8162026
9220026
10267826
11381326
done500026
01825
14025
28125
316725
434425
563025
6110825
7185025
8297425
9451925
done500025
01724
14124
210124
329324
477124
5160224
6282024
done500024
01724
14024
29724
328524
483224
5215824
done500124
02471
17371
229333
3182627
done500027
02271
16071
220931
3118327
done500027
02071
15871
219929
3118925
done500125
02471
17471
229531
3182627
done500027
02271
16171
221129
3119627
done500027
02071
15971
220227
3119125
done500025
01849
13949
28549
323749
462349
5127749
6225049
7419849
done500049
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
01871
14971
219025
3117225
done500025
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
045
175
295
done95
01621
13521
27221
318021
439221
571621
6124121
7237021
8444221
done500021
01317
12817
27317
324817
445917
559817
676917
7129717
8272817
done500117
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
02028
14128
28127
316427
426227
541827
682927
7117227
8160127
9181327
10184227
11192227
12207827
13210027
done210027
01927
14227
27726
314126
425726
543526
684026
7119226
8173726
9230526
10256026
11329526
done500026
01927
13927
27127
314327
425427
541027
682327
7115227
8158127
9190927
10236427
11322727
12403627
done500027
01826
14026
26926
312926
424326
541526
682626
7117126
8172626
9242426
10312226
11465026
done500126
01726
13526
26226
313026
424126
538726
676426
7109126
8165426
9226226
10305926
11340426
12404126
done500026
01625
13625
26225
311425
422125
538825
675525
7108425
8174225
9266625
10367325
11468725
done500125
01524
13624
29624
334624
481724
5152424
6307324
done500024
01524
13524
29324
334424
482524
5179524
6473924
done500024
02371
17171
229733
3189227
done500027
02171
15871
221531
3119627
done500027
02271
17271
230331
3199029
done500029
02071
15971
222029
3130229
done500029
02071
16571
228329
3175427
done500027
01871
15271
220027
3109727
done500127
01649
13449
27949
328849
463249
5113549
6241649
done500149
01524
13324
27824
328824
463524
5114524
6240724
done500024
01671
14471
218625
3131825
done500025
01524
13324
27824
328824
463524
5114524
6240724
done500024
01524
13324
27824
328824
463524
5114524
6240724
done500024
01643
13443
26743
310943
412743
515743
623143
745343
875243
9109443
10165943
11252943
done500043
01524
13124
25524
37424
48324
511324
618724
736524
859924
983624
10115024
11195024
done500024
01845
13945
210345
331845
484845
5160345
6183445
7240445
8373845
done500045
01738
13438
27538
318338
436538
554838
664238
798638
8153138
9241038
10426738
11494538
done500038
01433
13331
27831
322931
456231
5114231
6125531
7164831
8227631
9303131
10450931
done500031
01732
13432
27632
319332
439132
565532
677932
7112632
8178032
9275732
10452732
done500032
01625
13125
26325
312025
418125
525625
632525
754325
883625
9120925
10166825
11208025
12391325
13457025
14499725
done499725
01320
13018
26218
313118
425618
551218
661218
788918
8116818
9144918
10183018
11255918
done500018
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
01833
13233
27533
323033
446333
582633
6134933
7178233
8188433
9193633
10195533
11196133
12196633
done196633
01726
12926
26226
315526
426226
536026
655326
764326
865726
967526
1067926
done67926
01421
12819
26919
318419
433219
561319
676119
7107819
8121219
done121219
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
067
1155
2365
3505
done505
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
01727
15027
211925
336325
480625
5167025
6499525
done500025
01629
14229
210727
341825
4125225
5375725
done500025
01419
13019
25519
39319
415919
525919
645219
788619
8157219
9305019
done500019
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
02875
17674
224069
393754
4397850
done500050
02774
17569
223868
388254
4358650
done500150
02673
16969
220068
371654
4270250
done500050
02673
17269
221868
382154
4318350
done500050
027147
170139
2201137
3716109
42675101
done5000101
02673
16969
220068
371654
4269950
done500050
027218
183206
231469
3214155
done500155
02673
16969
220068
371654
4269950
done500050
02673
16969
220068
371654
4269950
done500050
043233
1169224
2821218
done5000182
031158
1110149
2491145
33359105
done5001105
039198
1136188
2574182
33611139
done5000139
02796
18090
225790
3128273
done500073
039209
1148202
2748196
done5000176
027118
194111
2427107
3282583
done500083
034174
1111166
2493160
33186133
done5000133
02356
16452
219152
383051
4465247
done500047
042233
1161224
2764218
done5001182
030152
1100143
2430139
3286999
done500099
038198
1128188
2513182
33143139
done5001139
02690
17084
219384
381267
4356967
done500067
038209
1140202
2697196
done5002176
026112
184105
2372101
3224477
done500177
033174
1103166
2450160
32806118
done5001117
02250
15446
214546
350045
4193345
done500045
035169
1128162
2653156
done5000136
02598
18291
236587
3220563
done500163
030134
191126
2405120
3247393
done500093
02136
15232
213932
348131
4151431
5488227
done500027
02876
18572
230071
3174971
done500171
029218
198179
2462177
33521148
done5000147
027145
185137
2350135
32138107
done5001107
02572
16968
220567
376953
4298049
done500049
02165
15465
216065
364747
4251445
done500145
02555
16851
219649
364336
4187232
5496731
done500031
02555
16851
219649
364336
4187232
5496731
done500031
02555
16851
219736
367636
4210933
done500031
02555
16851
219736
367636
4210933
done500031
02165
15465
216065
364747
4251445
done500145
02165
15465
216065
364747
4251445
done500145
01621
13120
24820
37420
411720
520020
636820
766220
8118020
9193620
10465320
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13320
25320
38820
413720
521520
642320
772020
8126120
9203420
10478820
done500020
01641
13141
24641
36841
49141
513041
623241
740641
867341
993341
10120741
11200241
12488741
done500041
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01659
13259
26121
314621
463121
5327321
done500121
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01723
14823
29823
331023
4130523
done500023
01859
14457
28557
324141
477641
5267041
done500141
022
done22
01639
13839
27739
322839
480839
5295839
done500139
01419
12819
24219
35819
47719
512119
621819
738819
865019
992619
10122619
11203719
12452219
done500019
01621
13021
24021
34821
45721
58721
616121
729521
847721
965521
1089621
11162921
12428421
done500121
01621
13121
24221
35021
45921
58921
616321
729721
847921
965721
1089821
11163321
12449521
done500021
01722
12822
23622
34222
44822
56822
611822
719222
823222
926522
1028922
1137322
1253322
1355522
done55522
01722
12922
23822
34422
45022
57022
612022
719422
823422
926722
1029122
1137122
1252422
1355222
done55222
01419
12919
24419
36619
48919
512819
623019
740619
867119
993219
10120619
11200219
12483919
done500019
079
199
done99
022
done22
01719
14219
211919
323317
450815
5124615
6395415
done500015
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01719
14219
211919
323317
450815
5124615
6395415
done500015
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01619
14219
29919
319817
442115
589515
6308415
done500115
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
099
1169
2259
3419
4539
5779
61129
71339
81509
91549
101589
done1589
01419
13119
27317
318117
448417
5169215
done500015
01419
13119
27317
318117
448417
5169215
done500015

prune925.0ms

Filtered
104 candidates to 130 candidates (-25.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh01010
Picked011
Done000
Total12912141

Merged error: 0.4b

Counts
141 → 12

localize54.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
26.0b
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
26.0b
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
26.0b
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log add-cbrt-cube
16×pow1
13×prod-exp cbrt-unprod
associate-*r/ pow-prod-down
add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
cbrt-prod cbrt-div pow1/3
cbrt-undiv div-exp
associate-*r* associate-*l* *-commutative
Counts
4 → 57
Calls
4 calls:
21.0ms
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
19.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
18.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
18.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

series314.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
101.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
101.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
99.0ms
(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

simplify4.2min

Counts
69 → 69
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
034
done34
01620
13220
25720
310720
418820
529620
650320
7101020
8191220
9317020
10470320
done500020
01418
12918
27418
324718
444818
559318
676418
7129818
8272718
done500018
056
166
done66
01951
14051
28651
323851
462951
5129351
6226251
7424351
done500051
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01974
14174
28926
324623
463623
5127023
6223423
7427423
done500023
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
034
done34
01620
13220
25720
310720
418820
529620
650320
7101020
8191220
9317020
10470320
done500020
01418
12918
27418
324718
444818
559318
676418
7129818
8272718
done500018
056
166
done66
01951
14051
28651
323851
462951
5129351
6226251
7424351
done500051
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01974
14174
28926
324623
463623
5127023
6223423
7427423
done500023
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
034
done34
01620
13220
25720
310720
418820
529620
650320
7101020
8191220
9317020
10470320
done500020
01418
12918
27418
324718
444818
559318
676418
7129818
8272718
done500018
056
166
done66
01951
14051
28651
323851
462951
5129351
6226251
7424351
done500051
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01974
14174
28926
324623
463623
5127023
6223423
7427423
done500023
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01825
13925
28525
323725
462325
5127725
6225025
7419825
done500025
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
01623
13723
28323
323323
462623
5124923
6222523
7419823
done500023
02128
14327
28127
316927
429027
549727
684627
7120527
8161027
9185827
10188027
11196427
12212027
13215027
done215027
02027
14426
27626
313626
425426
545226
677226
7111126
8162426
9213026
10238826
11312726
done500126
01926
14325
28325
316925
434225
563325
6112425
7186525
8299625
9446425
done500025
02027
14027
27627
315827
428427
548627
682527
7115827
8156627
9188027
10211427
11260727
12334727
done500127
01926
14126
27326
313326
425126
545126
676426
7110426
8162026
9220026
10267826
11381326
done500026
01825
14025
28125
316725
434425
563025
6110825
7185025
8297425
9451925
done500025
01724
14124
210124
329324
477124
5160224
6282024
done500024
01724
14024
29724
328524
483224
5215824
done500124
02471
17371
229333
3182627
done500027
02271
16071
220931
3118327
done500027
02071
15871
219929
3118925
done500125
02471
17471
229531
3182627
done500027
02271
16171
221129
3119627
done500027
02071
15971
220227
3119125
done500025
01849
13949
28549
323749
462349
5127749
6225049
7419849
done500049
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
01871
14971
219025
3117225
done500025
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
01724
13824
28424
323424
461924
5128024
6223824
7421824
done500024
045
175
295
done95
01621
13521
27221
318021
439221
571621
6124121
7237021
8444221
done500021
01317
12817
27317
324817
445917
559817
676917
7129717
8272817
done500117
02239
15039
212839
338724
4152320
done500020
02457
15654
214354
344633
4196927
done500027
02457
15457
214057
335737
4122531
done500131
02239
15039
212839
338724
4152320
done500020
02457
15654
214354
344633
4196927
done500027
02457
15457
214057
335737
4122531
done500131
02239
15039
212839
338724
4152320
done500020
02457
15654
214354
344633
4196927
done500027
02457
15457
214057
335737
4122531
done500131
01719
14219
211919
323317
450815
5124615
6395415
done500015
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111

prune618.0ms

Filtered
58 candidates to 69 candidates (-19.0%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New69069
Fresh01010
Picked011
Done011
Total691281

Merged error: 0.4b

Counts
81 → 12

localize49.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.0b
(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
4.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
9.6b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
301×associate-*r/
282×cbrt-div
196×frac-times
194×flip3-- flip--
130×frac-add
98×associate-*l/
41×pow1
37×add-exp-log
33×add-cbrt-cube
24×add-sqr-sqrt
22×associate-*r*
21×*-un-lft-identity
20×pow-prod-down prod-exp cbrt-unprod
16×times-frac
13×add-cube-cbrt
add-log-exp
difference-of-squares
associate-+l+ pow-plus pow-prod-up distribute-lft-out--
cbrt-undiv sub-neg div-exp
pow2 distribute-rgt-in distribute-lft-in flip3-+ associate-*l* associate-/r/ pow-sqr *-commutative flip-+
+-commutative associate--l- diff-log div-sub sum-log div-inv unswap-sqr
Counts
4 → 244
Calls
4 calls:
21.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
51.0ms
(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
21.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
51.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

series170.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
45.0ms
(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
12.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
97.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

simplify14.7min

Counts
256 → 256
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
028116
174115
2212115
372869
4275366
done500066
027115
167115
2176115
357869
4214966
done500166
027115
170115
2192115
366469
4256966
done500066
028231
168231
2177231
3577139
42141133
done5000133
027115
167115
2176115
357869
4214666
done500166
028344
181344
2269116
3161370
done500070
027115
167115
2176115
357869
4214666
done500166
027115
167115
2176115
357869
4214666
done500166
047391
1155383
2547255
32755166
done5001166
031266
188258
2265130
3105693
done500093
051365
1165359
2578359
32982307
done5000307
033222
192216
2274216
31132164
done5000164
051365
1163359
2566359
32888307
done5000307
033222
191216
2270216
31111164
done5001164
051339
1165335
2570335
32913301
done5001301
033178
193174
2275174
31129140
done5001140
051365
1165359
2570359
32909307
done5000307
033222
193216
2275216
31128164
done5000164
051339
1163335
2566335
32879301
done5000301
033178
191174
2270174
31109140
done5002140
051339
1165335
2578335
32994301
done5000301
033178
192174
2274174
31128140
done5000140
043313
1135311
2458267
32331160
done5001160
027134
170132
220288
381569
4386265
done500065
048320
1156314
2543314
32728262
done5001262
030199
186193
2254193
3999141
44418137
done5000137
052294
1164290
2571290
32908256
done5000256
032155
189151
2262151
31044117
44782113
done5000113
052294
1164290
2571290
32901256
done5000256
032155
189151
2262151
31042117
44770113
done5000113
044268
1135266
2458266
32334250
done5001250
026111
168109
2191109
376093
4314589
done500189
048320
1156314
2544314
32723262
done5000262
030199
186193
2254193
3999141
44418137
done5000137
052294
1164290
2571290
32907256
done5001256
032155
189151
2262151
31044117
44782113
done5000113
052294
1164290
2571290
32903256
done5001256
032155
189151
2262151
31042117
44770113
done5000113
044268
1135266
2459266
32328250
done5001250
026111
168109
2191109
376093
4314589
done500189
047249
1154245
2540245
32712211
done5001211
029132
183128
2244128
395694
4406290
done500090
043223
1133221
2455221
32326205
done5000205
02588
16586
218186
371670
4278866
done500066
048320
1157314
2552314
32800262
done5000262
030199
186193
2254193
3999141
44418137
done5000137
052294
1164290
2571290
32909256
done5000256
032155
189151
2262151
31044117
44782113
done5000113
052294
1164290
2571290
32903256
done5001256
032155
189151
2262151
31042117
44770113
done5000113
044268
1136266
2467266
32406250
done5000250
026111
168109
2191109
376093
4314589
done500189
047249
1153245
2532245
32629211
done5001211
029132
183128
2244128
395694
4406290
done500090
043223
1132221
2447221
32247205
done5000205
02588
16586
218186
371670
4278866
done500066
047249
1153245
2531245
32639211
done5001211
029132
183128
2244128
395694
4406290
done500090
043223
1132221
2446221
32254205
done5001205
02588
16586
218186
371670
4278866
done500066
043367
1135361
2475233
32317160
done5000150
027226
173220
220492
367171
4320467
done500067
047341
1145337
2506337
32561301
done5001291
029182
177178
2213178
3739142
43161138
done5000138
047341
1143337
2494337
32445301
done5000291
029182
176178
2209178
3726142
43143138
done5001138
047315
1145313
2498313
32477295
done5001285
029138
178136
2214136
3740118
43174114
done5000114
047341
1145337
2498337
32481301
done5000291
029182
178178
2214178
3739142
43161138
done5000138
047315
1143313
2494313
32444295
done5000285
029138
176136
2209136
3728118
43150114
done5000114
047315
1145313
2506313
32569295
done5000285
029138
177136
2213136
3740118
43157114
done5000114
038289
1110289
2381245
31929154
done5001154
02394
15494
213850
341447
4154243
done500243
044296
1136292
2471292
32279256
done5000246
026159
171155
2193155
3624119
42511115
done5000115
048270
1144268
2499268
32459250
done5000240
028115
174113
2201113
366195
4272691
done500191
048270
1144268
2499268
32466250
done5001240
028115
174113
2201113
366595
4272591
done500091
039244
1110244
2379244
31929244
done5000244
02271
15271
212771
335971
4111667
5347265
done500065
044296
1136292
2472292
32268256
done5001246
026159
171155
2193155
3624119
42511115
done5000115
048270
1144268
2499268
32459250
done5000240
028115
174113
2201113
366195
4272691
done500191
048270
1144268
2499268
32466250
done5001240
028115
174113
2201113
366595
4272591
done500091
039244
1110244
2380244
31931244
done5000244
02271
15271
212771
335971
4111667
5347265
done500065
043225
1134223
2468223
32254205
done5001195
02592
16890
218390
358672
4231368
done500068
038199
1108199
2376199
31913199
done5001199
02148
14948
211748
331948
490744
5257542
done500042
044296
1137292
2480292
32360256
done5000246
026159
171155
2193155
3624119
42511115
done5000115
048270
1144268
2499268
32459250
done5001240
028115
174113
2201113
366195
4272691
done500191
048270
1144268
2499268
32458250
done5001240
028115
174113
2201113
366595
4272591
done500091
039244
1111244
2388244
32010244
done5000244
02271
15271
212771
335971
4111667
5347265
done500065
043225
1133223
2460223
32171205
done5001195
02592
16890
218390
358672
4231368
done500068
038199
1107199
2368199
31825199
done5001199
02148
14948
211748
331948
490744
5257542
done500042
043225
1133223
2459223
32160205
done5000195
02592
16890
218390
358672
4231368
done500068
038199
1107199
2367199
31829199
done5000199
02148
14948
211748
331948
490744
5257542
done500042
046391
1147383
2488255
32376166
done5001166
030260
178252
2201124
369887
4311787
done500187
050365
1157359
2518359
32620307
done5000307
032216
182210
2208210
3757158
43023158
done5001158
050365
1155359
2506359
32505307
done5001307
032216
181210
2206210
3740158
43017158
done5000158
050339
1157335
2510335
32533301
done5000301
032172
183168
2209168
3758134
42995134
done5001134
050365
1157359
2510359
32561307
done5000307
032216
183210
2209210
3755158
43005158
done5000158
050339
1155335
2506335
32503301
done5000301
032172
181168
2206168
3743134
43026134
done5000134
050339
1157335
2518335
32615301
done5001301
032172
182168
2208168
3756134
42997134
done5001134
042313
1127311
2399267
31970160
done5001160
026128
160126
213882
345763
4160763
done500063
047320
1148314
2483314
32346262
done5001262
029193
176187
2192187
3651135
42603135
done5000135
051294
1156290
2511290
32534256
done5000256
031149
179145
2198145
3690111
42710111
done5001111
051294
1156290
2511290
32533256
done5000256
031149
179145
2198145
3685111
42692111
done5001111
043268
1127266
2398266
31951250
done5000250
025105
158103
2129103
341287
4130687
5462587
done500087
047320
1148314
2484314
32347262
done5000262
029193
176187
2192187
3651135
42603135
done5000135
051294
1156290
2511290
32515256
done5001256
031149
179145
2198145
3690111
42710111
done5001111
051294
1156290
2511290
32531256
done5000256
031149
179145
2198145
3685111
42692111
done5001111
043268
1127266
2399266
31949250
done5000250
025105
158103
2129103
341287
4130687
5462587
done500087
046249
1146245
2480245
32313211
done5001211
028126
173122
2187122
361588
4246488
done500088
042223
1125221
2395221
31937205
done5000205
02482
15580
212480
337164
4116464
5390064
done500164
047320
1149314
2492314
32421262
done5001262
029193
176187
2192187
3651135
42603135
done5000135
051294
1156290
2511290
32515256
done5000256
031149
179145
2198145
3690111
42710111
done5001111
051294
1156290
2511290
32523256
done5000256
031149
179145
2198145
3685111
42692111
done5001111
043268
1128266
2407266
32027250
done5000250
025105
158103
2129103
341287
4130687
5462587
done500087
046249
1145245
2472245
32251211
done5001211
028126
173122
2187122
361588
4246488
done500088
042223
1124221
2387221
31852205
done5000205
02482
15580
212480
337164
4116464
5390064
done500164
046249
1145245
2471245
32261211
done5001211
028126
173122
2187122
361588
4246488
done500088
042223
1124221
2386221
31856205
done5000205
02482
15580
212480
337164
4116464
5390064
done500164
042367
1127361
2430218
31980145
done5000144
026220
163214
215686
345365
4197865
done500065
046341
1137337
2460322
32217286
done5001285
028176
167172
2163172
3483136
41906136
done5001136
046341
1135337
2448322
32112286
done5000285
028176
166172
2161172
3483136
41931136
done5000136
046315
1137313
2452298
32148280
done5000279
028132
168130
2164130
3480112
41910112
done5000112
046341
1137337
2452322
32162286
done5000285
028176
168172
2164172
3483136
41906136
done5000136
046315
1135313
2448298
32122280
done5001279
028132
166130
2161130
3480112
41919112
done5000112
046315
1137313
2460298
32223280
done5000279
028132
167130
2163130
3486112
41914112
done5001112
037289
1102289
2336245
31628139
done5001138
02288
14488
29044
318841
448741
5170241
done500041
043296
1128292
2425277
31947241
done5000240
025153
161149
2147149
3427113
41734113
done5000113
047270
1136268
2453253
32136235
done5000234
027109
164107
2153107
344389
4177989
done500089
047270
1136268
2453253
32119235
done5000234
027109
164107
2153107
344589
4178489
done500089
038244
1102244
2335244
31621229
done5000228
02165
14265
28165
316165
433765
564765
6118765
7241965
8486765
done500065
043296
1128292
2426277
31944241
done5000240
025153
161149
2147149
3427113
41734113
done5000113
047270
1136268
2453253
32131235
done5000234
027109
164107
2153107
344389
4177989
done500089
047270
1136268
2453253
32119235
done5001234
027109
164107
2153107
344589
4178489
done500089
038244
1102244
2336244
31611229
done5000228
02165
14265
28165
316165
433765
564765
6118765
7241965
8486765
done500065
042225
1126223
2422208
31882190
done5000189
02486
15884
214284
341066
4168966
done500066
037199
1100199
2332199
31550184
done5001183
02042
13942
27642
314442
429342
551742
690642
7180042
8348342
done500042
043296
1129292
2434277
32003241
done5001240
025153
161149
2147149
3427113
41734113
done5000113
047270
1136268
2453253
32133235
done5000234
027109
164107
2153107
344389
4177989
done500089
047270
1136268
2453253
32126235
done5000234
027109
164107
2153107
344589
4178489
done500089
038244
1103244
2344244
31662229
done5000228
02165
14265
28165
316165
433765
564765
6118765
7241965
8486765
done500065
042225
1125223
2414208
31829190
done5000189
02486
15884
214284
341066
4168966
done500066
037199
199199
2324199
31493184
done5000183
02042
13942
27642
314442
429342
551742
690642
7180042
8348342
done500042
042225
1125223
2413208
31827190
done5000189
02486
15884
214284
341066
4168966
done500066
037199
199199
2323199
31500184
done5000183
02042
13942
27642
314442
429342
551742
690642
7180042
8348342
done500042
039327
1116321
2386193
31632120
done5000120
025206
161200
215072
343251
4179851
done500051
043301
1126297
2416297
31822261
done5001261
027162
165158
2157158
3463122
41740122
done5000122
043301
1124297
2404297
31747261
done5000261
027162
164158
2155158
3460122
41737122
done5000122
043275
1126273
2408273
31780255
done5001255
027118
166116
2158116
346298
4174998
done500098
043301
1126297
2408297
31766261
done5001261
027162
166158
2158158
3465122
41749122
done5000122
043275
1124273
2404273
31739255
done5001255
027118
164116
2155116
346198
4173998
done500098
043275
1126273
2416273
31829255
done5001255
027118
165116
2157116
346398
4174198
done500098
034249
191249
2291205
31279114
done5000112
02174
14274
28430
316827
432227
576727
6254327
done500027
040256
1117252
2381252
31592216
done5000216
024139
159135
2141135
340899
4164099
done500099
044230
1125228
2409228
31750210
done5001210
02695
16293
214793
342475
4165475
done500175
044230
1125228
2409228
31745210
done5000210
02695
16293
214793
342975
4165575
done500175
035204
191204
2289204
31265204
done5001202
02051
14051
27551
314551
423251
537151
662351
7117651
8210251
9344951
done500051
040256
1117252
2382252
31583216
done5000216
024139
159135
2141135
340899
4164099
done500099
044230
1125228
2409228
31753210
done5000210
02695
16293
214793
342475
4165475
done500175
044230
1125228
2409228
31745210
done5000210
02695
16293
214793
342975
4165575
done500175
035204
191204
2290204
31268204
done5001202
02051
14051
27551
314551
423251
537151
662351
7117651
8210251
9344951
done500051
039185
1115183
2378183
31566165
done5001163
02372
15670
213670
338552
4160152
done500052
034159
189159
2286159
31235159
done5000157
01928
13728
27028
312428
421128
535028
660628
7115928
8211528
9345228
done500028
040256
1118252
2390252
31643216
done5000216
024139
159135
2141135
340899
4164099
done500099
044230
1125228
2409228
31753210
done5001210
02695
16293
214793
342475
4165475
done500175
044230
1125228
2409228
31753210
done5001210
02695
16293
214793
342975
4165575
done500175
035204
192204
2298204
31321204
done5000202
02051
14051
27551
314551
423251
537151
662351
7117651
8210251
9344951
done500051
039185
1114183
2370183
31505165
done5000163
02372
15670
213670
338552
4160152
done500052
034159
188159
2278159
31178159
done5000157
01928
13728
27028
312428
421128
535028
660628
7115928
8211528
9345228
done500028
039185
1114183
2369183
31501165
done5000163
02372
15670
213670
338552
4160152
done500052
034159
188159
2277159
31181159
done5001157
01928
13728
27028
312428
421128
535028
660628
7115928
8211528
9345228
done500028
029118
188118
230771
3184271
done500071
030344
194271
2411271
32652164
done5001164
028229
185229
2342229
31871137
done5001137
026114
167114
2187114
365068
4233765
done500065
02697
16697
217296
351051
4140347
5374647
done500047
02697
16697
217296
351051
4140347
5374647
done500047
02697
16697
217196
354452
4163147
5417747
done500047
02697
16697
217196
354452
4163147
5417747
done500047
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
01423
13223
27723
328723
463323
5113023
6240823
done500123
02028
14128
28127
316427
426227
541827
682927
7117227
8160127
9181327
10184227
11192227
12207827
13210027
done210027
01927
14227
27726
314126
425726
543526
684026
7119226
8173726
9230526
10256026
11329526
done500026
01927
13927
27127
314327
425427
541027
682327
7115227
8158127
9190927
10236427
11322727
12403627
done500027
01826
14026
26926
312926
424326
541526
682626
7117126
8172626
9242426
10312226
11465026
done500126
01726
13526
26226
313026
424126
538726
676426
7109126
8165426
9226226
10305926
11340426
12404126
done500026
01625
13625
26225
311425
422125
538825
675525
7108425
8174225
9266625
10367325
11468725
done500125
01524
13624
29624
334624
481724
5152424
6307324
done500024
01524
13524
29324
334424
482524
5179524
6473924
done500024
02371
17171
229733
3189227
done500027
02171
15871
221531
3119627
done500027
02271
17271
230331
3199029
done500029
02071
15971
222029
3130229
done500029
02071
16571
228329
3175427
done500027
01871
15271
220027
3109727
done500127
01649
13449
27949
328849
463249
5113549
6241649
done500149
01524
13324
27824
328824
463524
5114524
6240724
done500024
01671
14471
218625
3131825
done500025
01524
13324
27824
328824
463524
5114524
6240724
done500024
01524
13324
27824
328824
463524
5114524
6240724
done500024
01643
13443
26743
310943
412743
515743
623143
745343
875243
9109443
10165943
11252943
done500043
01524
13124
25524
37424
48324
511324
618724
736524
859924
983624
10115024
11195024
done500024
01845
13945
210345
331845
484845
5160345
6183445
7240445
8373845
done500045
01738
13438
27538
318338
436538
554838
664238
798638
8153138
9241038
10426738
11494538
done500038
01433
13331
27831
322931
456231
5114231
6125531
7164831
8227631
9303131
10450931
done500031
01732
13432
27632
319332
439132
565532
677932
7112632
8178032
9275732
10452732
done500032
01625
13125
26325
312025
418125
525625
632525
754325
883625
9120925
10166825
11208025
12391325
13457025
14499725
done499725
01320
13018
26218
313118
425618
551218
661218
788918
8116818
9144918
10183018
11255918
done500018
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
01833
13233
27533
323033
446333
582633
6134933
7178233
8188433
9193633
10195533
11196133
12196633
done196633
01726
12926
26226
315526
426226
536026
655326
764326
865726
967526
1067926
done67926
01421
12819
26919
318419
433219
561319
676119
7107819
8121219
done121219
01221
12521
25919
322219
445619
551419
654719
done54719
01114
12214
24712
313912
420312
520712
621112
done21112
079
1187
2405
3845
41555
52205
62225
done2225
067
1155
2365
3505
done505
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
01727
15027
211925
336325
480625
5167025
6499525
done500025
01629
14229
210727
341825
4125225
5375725
done500025
01419
13019
25519
39319
415919
525919
645219
788619
8157219
9305019
done500019
01017
12317
26817
323817
442517
558317
678517
7186717
8438217
done500017
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
02049
14549
28249
313249
421349
536849
663749
7122749
8218849
9361949
done500049
02049
14549
28249
313249
421349
536849
663749
7122749
8218849
9361949
done500049
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
02049
14549
28249
313249
421349
536849
663749
7122749
8218849
9361949
done500049
02049
14549
28249
313249
421349
536849
663749
7122749
8218849
9361949
done500049
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
02353
14930
28728
314228
423528
538628
665928
7124928
8218628
9358828
done500028
02352
14851
28430
314328
423028
538128
664428
7123428
8219428
9360228
done500028
02252
14730
28330
314128
422228
537728
665628
7124628
8218428
9359928
done500028
02251
14551
28230
314228
422628
538128
664328
7123328
8217828
9358228
done500028
02150
14950
29750
316527
425027
540527
667627
7126627
8224827
9369627
done500127
02150
14850
29850
318050
435150
571050
6148750
7360650
done500050
02155
15355
215151
353547
4233147
done500047
024149
162149
216555
352128
4153328
done500028
02155
15255
214149
349947
4216447
done500047
024149
163149
217053
354128
4158828
done500028
022101
147101
284101
3134101
4216101
5369101
6634101
71224101
82192101
93648101
done5001101
02150
14650
28350
313350
421550
536650
663050
7122050
8216850
9358850
done500150
022149
157149
217951
366351
4131626
5249826
done500126
02150
14650
28425
313425
421425
536725
663625
7122625
8218825
9362025
done500125
02150
14650
28425
313425
421425
536725
663625
7122625
8218825
9362025
done500125
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01924
13824
26424
311424
419924
535224
662924
7121924
8218324
9358624
done500124
01926
14026
26826
311826
419926
535226
661926
7120926
8218526
9361226
done500126
02047
14147
26947
311947
419847
534947
660847
7119847
8215947
9355647
done500047
02357
16457
216457
348557
4249957
done500057
02775
17775
220475
365875
4340075
done500175
02775
17775
220475
366175
4339575
done500075
02293
15793
212793
334193
4144193
done500093
02553
16753
216953
349953
4253953
done500053
02471
15971
213671
338771
4160671
done500071
02553
16753
216953
350153
4255153
done500153
02471
15971
213671
338571
4160071
done500071
01621
13120
24820
37420
411720
520020
636820
766220
8118020
9193620
10465320
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13320
25320
38820
413720
521520
642320
772020
8126120
9203420
10478820
done500020
01641
13141
24641
36841
49141
513041
623241
740641
867341
993341
10120741
11200241
12488741
done500041
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01659
13259
26121
314621
463121
5327321
done500121
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01520
13020
24520
36720
49020
512920
623120
740720
867420
993720
10121320
11202220
done500020
01723
14823
29823
331023
4130523
done500023
01859
14457
28557
324141
477641
5267041
done500141
022
done22
01639
13839
27739
322839
480839
5295839
done500139
01419
12819
24219
35819
47719
512119
621819
738819
865019
992619
10122619
11203719
12452219
done500019
01621
13021
24021
34821
45721
58721
616121
729521
847721
965521
1089621
11162921
12428421
done500121
01621
13121
24221
35021
45921
58921
616321
729721
847921
965721
1089821
11163321
12449521
done500021
01722
12822
23622
34222
44822
56822
611822
719222
823222
926522
1028922
1137322
1253322
1355522
done55522
01722
12922
23822
34422
45022
57022
612022
719422
823422
926722
1029122
1137122
1252422
1355222
done55222
01419
12919
24419
36619
48919
512819
623019
740619
867119
993219
10120619
11200219
12483919
done500019
079
199
done99
022
done22
01619
14219
29919
319817
442115
589515
6308415
done500115
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01719
14219
211919
323317
450815
5124615
6395415
done500015
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
01213
12513
25413
36513
48311
511311
617411
730211
857611
9151311
done500111
02129
15726
219426
360222
4233820
done500020
01927
14723
212820
329117
482017
5287715
done500015
01927
14723
212820
329117
482017
5287715
done500015
099
1169
2259
3419
4539
5779
61129
71339
81509
91549
101589
done1589
01419
13119
27317
318117
448417
5169215
done500015
01419
13119
27317
318117
448417
5169215
done500015

prune9.3s

Filtered
228 candidates to 256 candidates (-12.3%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2533256
Fresh369
Picked101
Done112
Total25810268

Merged error: 0.4b

Counts
268 → 10

regimes412.0ms

Accuracy

0% (0.3b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 0.7b

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
040183
165183
268183
372183
done72183

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.5s13874×body80valid
381.0ms386×body640valid
266.0ms211×body1280valid
220.0ms299×body320valid
87.0ms167×body160valid

Profiling

Loading profile data...