Details

Time bar (total: 47.0min)

sample47.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify6.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 24.2b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.7b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.9b
(+ (* (+ x y) z) (* (+ t y) a))
22.7b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
add-exp-log add-cbrt-cube
flip3-+ flip-+
pow1
associate-/r*
associate-*l* frac-add
associate-*r* associate-/l*
flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
7.0ms
(* (+ x y) z)
12.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
8.0ms
(+ (* (+ x y) z) (* (+ t y) a))
18.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series244.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* (+ x y) z)
41.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
20.0ms
(+ (* (+ x y) z) (* (+ t y) a))
176.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify8.1min

Counts
102 → 102
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01823
13323
26623
311623
424423
543123
670023
7137523
8231923
9290923
10330423
11335723
done335723
01722
13622
27622
313522
428022
548622
681222
7165822
8318222
9488122
done500122
01722
13322
27422
313422
428822
551922
691922
7200422
8464022
done500122
02065
15465
221125
394123
done500023
01845
13445
27245
313045
427945
548845
681745
7166645
8319645
9490045
done500045
01722
13322
27122
312922
427422
547922
680222
7165122
8318422
9489722
done500022
01865
14165
211923
344923
4274423
done500023
01722
13322
27122
312922
427422
547922
680222
7165122
8318422
9489722
done500022
01722
13322
27122
312922
427422
547922
680222
7165122
8318422
9489722
done500022
01416
12416
25916
313716
437415
589515
6178115
7264215
8297515
9298715
done298715
066
1136
2276
3496
4636
5786
61046
71316
81386
91446
101476
done1476
01317
12117
24017
35617
48817
510617
610817
done10817
089
1159
2259
3289
4299
done299
02047
13947
28047
313647
426047
545047
671347
7138747
8232647
9292047
10330747
11335847
done335847
01823
13123
26323
311323
424123
542823
670123
7137923
8232323
9291523
10331023
11336323
done336323
01940
13440
26840
311940
424540
543640
670940
7138740
8233440
9292140
10331640
11336940
done336940
01823
13123
26323
311323
424123
542823
670123
7137923
8232323
9291523
10331023
11336323
done336323
01735
13133
26633
312133
424733
543633
670533
7137733
8230933
9288833
10326933
11331933
done331933
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
01735
13133
26633
312133
424733
543633
670533
7137733
8230933
9288833
10326933
11331933
done331933
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
01735
13133
26633
312133
424733
543633
670533
7137733
8230933
9288833
10326933
11331933
done331933
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
01930
13430
26630
311630
424430
543230
669830
7137230
8230830
9288330
10326530
11331630
done331630
01823
13123
26323
311323
424123
542823
670123
7137923
8232323
9291523
10331023
11336323
done336323
01823
13123
26323
311323
424123
542823
670123
7137923
8232323
9291523
10331023
11336323
done336323
01823
13123
26323
311323
424123
542823
670123
7137923
8232323
9291523
10331023
11336323
done336323
01618
12816
25916
310916
423516
542316
669016
7136416
8229616
9287116
10323816
11328616
done328616
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
01618
12816
25916
310916
423516
542316
669016
7136416
8229616
9287116
10323816
11328616
done328616
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
01618
12816
25916
310916
423516
542316
669016
7136416
8229616
9287116
10323816
11328616
done328616
01722
13022
26222
311222
424222
542622
669422
7136422
8231022
9289822
10328722
11334022
done334022
0915
11715
22315
32515
done2515
01722
13322
27122
312922
427422
547922
680222
7165122
8318322
9482922
done500022
088
1148
2208
3228
done228
01722
13322
27122
312922
427422
547922
680222
7165122
8318322
9482922
done500022
023
141
done41
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
023
141
done41
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
023
141
done41
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
077
1137
2197
done197
01621
12921
26121
311121
423521
541721
668421
7135221
8229421
9288521
10329621
11337521
12341721
13344021
14344521
15345321
16346121
done346121
01829
13629
28329
316429
434129
559129
6100729
7209229
8436029
done500029
01722
13322
27122
312922
427422
547922
680222
7165122
8318322
9482922
done500022
01517
13015
26715
312815
429115
550015
683915
7168715
8293515
9374315
10427715
11439915
done439915
01517
13015
26715
312815
429115
550015
683915
7168715
8293515
9374315
10427715
11439915
done439915
01517
13015
26715
312815
429115
550015
683915
7168715
8293515
9374315
10427715
11439915
done439915
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01621
12921
26121
311121
423521
541721
668421
7135221
8229421
9288521
10329621
11337521
12341721
13344021
14344521
15345321
16346121
done346121
01925
14725
210725
322225
450625
5118225
6350325
done500025
01827
14327
211927
330027
483627
5214027
done500027
02053
15849
222649
3116241
done500041
01621
13521
212321
348821
4223521
done500021
01213
12312
25812
311012
429812
592512
6446412
done500012
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11912
24412
38812
420612
550712
6212012
done500012
01225
11725
23325
34925
47725
510125
610325
done10325
01112
11612
23212
34812
47812
59412
69612
done9612
01235
13035
211013
352113
4312213
done500013
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11612
23212
34812
47812
59412
69612
done9612
02543
17339
219739
371839
4332839
done500039
01323
13619
210419
339219
4151119
done500019
02235
15733
215033
356933
4263829
done500129
01015
12113
25013
314413
440213
5104113
6266813
done500013
02235
16333
218333
375333
4353929
done500029
01015
12713
27513
322213
455613
5148113
6357213
done500013
01727
13627
211827
351127
4184423
done500023
067
1107
2247
3577
41187
51907
63137
74767
87497
99937
1010117
done10117
01315
13715
212015
342915
4132915
5353015
done500115
01435
14429
216829
362629
4195629
done500029
01223
13523
212423
340123
4110723
5340223
done500023
01011
11611
23911
37111
414711
519711
628111
744811
868511
977111
1077911
done77911
01618
13217
27916
318516
483216
done500116
01517
12816
26716
316316
459016
5334816
done500016
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12716
26816
316216
449116
5200216
done500016
01533
12533
25433
310433
423233
541733
668233
7135133
8228833
9286533
10323633
11328433
done328433
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01547
12647
28117
336417
4317417
done500117
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01619
14019
212719
344419
4186619
done500119
01747
14543
214143
349535
4251035
done500135
044
194
2114
done114
01531
13931
212631
343431
4228731
done500131
01315
12215
24415
39215
422015
527315
628115
done28115
089
1139
2289
3409
4489
5559
6659
7909
81279
92019
102209
112389
122759
132959
done2959
044
194
2114
done114
055
175
2155
done155
077
197
done97
066
1116
2206
done206
066
1106
2286
3406
4676
51336
63336
79496
833876
done50006
0917
12917
2909
32569
49797
536297
done50007
0713
1913
21713
done1713
066
186
2166
done166
0717
11917
2807
32917
47267
518407
643127
done50007
066
186
2166
done166
066
186
2166
done166
077
197
done97
077
197
done97
079
1119
2219
3339
4359
done359
066
186
2166
done166
055
193
2203
3283
done283
066
186
done86
066
186
done86
055
175
2155
done155
055
175
2155
done155
089
1239
2409
3819
41579
53829
612729
done50009
079
1139
2309
3769
41599
52459
63959
77649
833639
done50009
011
done11
011
done11
011
done11
011
done11
0911
11611
2249
3309
4329
done329
0911
11611
2249
3309
4329
done329
011
done11
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
011
done11
067
197
2135
3155
done155
067
197
2135
3155
done155

prune165.0ms

Filtered
76 candidates to 102 candidates (-34.2%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New9210102
Fresh000
Picked011
Done000
Total9211103

Merged error: 7.1b

Counts
103 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
1.7b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.9b
(+ (* (+ x y) z) (* (+ t y) a))
22.7b
(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
152×*-un-lft-identity
138×times-frac
72×add-sqr-sqrt add-cube-cbrt
48×distribute-lft-out
24×associate-/r*
17×add-exp-log
11×associate-/r/ add-cbrt-cube add-log-exp
div-exp associate-*l/ associate-/l*
flip3-- flip3-+ flip-- flip-+ div-inv
pow1
cbrt-undiv frac-add
rec-exp frac-2neg diff-log 1-exp clear-num sum-log associate-/l/
+-commutative sub-neg pow-flip associate--l+ inv-pow
Counts
4 → 176
Calls
4 calls:
21.0ms
(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
10.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
8.0ms
(+ (* (+ x y) z) (* (+ t y) a))
15.0ms
(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series3.6s

Counts
4 → 12
Calls
4 calls:
3.5s
(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
37.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
41.0ms
(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify28.4min

Counts
188 → 188
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01823
13323
26623
311623
424223
543323
670323
7138423
8233323
9291723
10331523
11336823
done336823
01722
13322
26722
311822
423822
542622
669222
7136022
8230422
9289522
10330622
11338522
12342722
13345022
14345522
15346322
16347122
done347122
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327822
11337322
12344122
13354422
14365622
15368322
16369122
done369122
02065
15465
220825
392723
done500223
01845
13145
26345
311345
423545
542245
669045
7136145
8230145
9288645
10328545
11336245
12340445
13342745
14343245
15344045
16344845
done344845
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01865
13865
211423
332623
4116023
done500023
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
066
1136
2276
3496
4636
5786
61046
71316
81386
91446
101476
done1476
01416
12416
25916
313716
437415
589515
6178115
7264215
8297515
9298715
done298715
02047
13947
28047
313647
425847
544747
671147
7138647
8232747
9292047
10331747
11337047
done337047
01823
13123
26323
311323
423523
542323
669123
7136623
8230423
9289023
10327223
11332323
done332323
01930
13430
26830
311930
424130
542430
668530
7136030
8229930
9288130
10326330
11331430
done331430
01823
13123
26323
311323
423523
542323
669123
7136623
8230423
9289023
10327223
11332323
done332323
0915
11713
22913
33413
done3413
01722
13022
26222
311222
423422
542322
668622
7135622
8229522
9288522
10327022
11332122
done332122
01940
13440
26640
311640
423640
542340
668740
7136040
8230140
9288640
10327940
11333240
done333240
01823
13123
26323
311323
423523
542323
669123
7136623
8230423
9289023
10327223
11332323
done332323
01823
13123
26323
311323
423523
542323
669123
7136623
8230423
9289023
10327223
11332323
done332323
01823
13123
26323
311323
423523
542323
669123
7136623
8230423
9289023
10327223
11332323
done332323
088
1146
2226
done226
01722
13022
26222
311222
423422
542322
668622
7135622
8229522
9288522
10327022
11332122
done332122
01735
13135
26035
311035
423035
541235
668135
7135135
8229135
9286735
10323935
11328735
done328735
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01618
12818
25718
310718
422918
541218
668418
7135718
8228418
9286018
10323018
11327818
done327818
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
023
141
done41
01621
12921
26121
311121
423521
541721
668421
7135221
8229421
9288521
10329621
11337521
12341721
13344021
14344521
15345321
16346121
done346121
01735
13135
26035
311035
423035
541235
668135
7135135
8229135
9286735
10323935
11328735
done328735
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01618
12818
25718
310718
422918
541218
668418
7135718
8228418
9286018
10323018
11327818
done327818
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
023
141
done41
01621
12921
26121
311121
423521
541721
668421
7135221
8229421
9288521
10329621
11337521
12341721
13344021
14344521
15345321
16346121
done346121
01735
13135
26035
311035
423035
541235
668135
7135135
8229135
9286735
10323935
11328735
done328735
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
01618
12818
25718
310718
422918
541218
668418
7135718
8228418
9286018
10323018
11327818
done327818
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
023
141
done41
01621
12921
26121
311121
423521
541721
668421
7135221
8229421
9288521
10329621
11337521
12341721
13344021
14344521
15345321
16346121
done346121
01517
12717
25617
310617
422617
540917
667717
7135517
8228817
9284917
10323317
11328317
done328317
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
01839
13339
26539
311539
423539
541839
668439
7135739
8229939
9288839
10330839
11342139
12350739
13355639
14356539
15357439
16358339
done358339
01722
13022
26222
311222
423422
541722
667822
7134822
8228622
9287622
10327522
11335222
12339422
13341722
14342222
15343022
16343822
done343822
077
1135
2215
done215
01722
13322
27122
312922
427422
547922
680222
7165122
8318322
9482922
done500022
01722
13322
27122
312922
427422
547922
680222
7165122
8318322
9482922
done500022
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
01621
13221
27021
312821
427521
548321
680621
7164921
8316721
9487721
done500021
01925
14625
213625
345325
4181125
done500025
01837
14537
213737
345037
4229137
done500037
02033
15231
218331
385729
done500029
01621
13221
29121
335921
4177421
done500021
01213
12312
25812
311012
429812
592512
6446412
done500012
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11912
24412
38812
420612
550712
6212012
done500012
01225
11725
23325
34925
47725
510125
610325
done10325
01112
11612
23212
34812
47812
59412
69612
done9612
01235
13035
211013
352113
4312213
done500013
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11612
23212
34812
47812
59412
69612
done9612
02543
17339
219739
371839
4332839
done500039
01323
13619
210419
339219
4151119
done500019
02235
15733
215033
356933
4263829
done500129
01015
12113
25013
314413
440213
5104113
6266813
done500013
02235
16333
218333
375333
4353929
done500029
01015
12713
27513
322213
455613
5148113
6357213
done500013
01727
13627
211827
351127
4184423
done500023
067
1107
2247
3577
41187
51907
63137
74767
87497
99937
1010117
done10117
01315
13715
212015
342915
4132915
5353015
done500115
01435
14429
216829
362629
4195629
done500029
01223
13523
212423
340123
4110723
5340223
done500023
01011
11611
23911
37111
414711
519711
628111
744811
868511
977111
1077911
done77911
01618
13217
27916
318516
483216
done500116
01517
12816
26716
316316
459016
5334816
done500016
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12716
26816
316216
449116
5200216
done500016
01533
12533
25433
310433
423233
541733
668233
7135133
8228833
9286533
10323633
11328433
done328433
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01547
12647
28117
336417
4317417
done500117
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01619
14019
212719
344419
4186619
done500119
01747
14543
214143
349535
4251035
done500135
044
194
2114
done114
01531
13931
212631
343431
4228731
done500131
01315
12215
24415
39215
422015
527315
628115
done28115
089
1139
2289
3409
4489
5559
6659
7909
81279
92019
102209
112389
122759
132959
done2959
044
194
2114
done114
022
151
done51
01924
13424
27024
312224
424323
542523
669223
7136723
8230923
9289323
10327223
11332323
done332323
01823
13423
26823
312223
424623
543923
671023
7138723
8233523
9292623
10334023
11341923
12346123
13348423
14348923
15349723
16350523
done350523
02025
13924
28424
315323
430623
551923
679323
7147723
8241923
9300623
10338523
11343623
done343623
01924
13723
27723
314023
428823
550523
678223
7146323
8243123
9302323
10344023
11351923
12356123
13358423
14358923
15359723
16360523
done360523
02126
14225
28224
315723
431123
552923
680023
7149623
8244823
9302623
10340723
11345823
done345823
02025
14024
27723
314423
429223
550423
677823
7146823
8242623
9301923
10341923
11349623
12353823
13356123
14356623
15357423
16358223
done358223
01924
14023
29323
323722
471522
5208222
6318622
7492622
done500022
01924
13624
28524
322822
478322
5251122
done500122
02471
16567
224327
3121025
done500225
02271
15167
214725
353925
4275823
done500023
02049
13749
28449
321545
467945
5200145
6308245
7480945
done500045
01924
13624
28324
321422
467222
5199922
6309522
7484422
done500022
02071
14471
212625
355323
4371923
done500023
01924
13624
28324
321422
467222
5199922
6309522
7484422
done500022
01924
13624
28324
321422
467222
5199922
6309522
7484422
done500022
022
151
done51
01722
13222
27022
313222
427922
548622
681822
7156722
8249722
9307722
10347522
11352622
12352822
done352822
02251
14349
28447
314047
426647
544847
671847
7139447
8234847
9294947
10336147
11344047
12348247
13350547
14351047
15351847
16352647
done352647
02025
13524
26724
311724
423724
542324
668524
7135524
8228924
9288324
10328524
11336224
12340424
13342724
14343224
15344024
16344824
done344824
02128
13826
27224
312324
424524
543324
669524
7137224
8231124
9289424
10329224
11336924
12341124
13343424
14343924
15344724
16345524
done345524
02025
13524
26724
311724
423724
542324
668524
7135524
8228924
9288324
10328524
11336224
12340424
13342724
14343224
15344024
16344824
done344824
02453
14951
211749
323947
442147
561147
687847
7155447
8248047
9306947
10344947
11350047
done350047
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
02336
14434
29432
317730
432230
550730
677230
7145530
8240230
9299330
10337430
11342530
done342530
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
01221
12415
24415
35315
done5315
02025
13724
28424
321522
467722
5200622
6308722
7481822
done500022
02346
14444
29142
316140
428940
547340
674640
7142140
8237240
9295840
10334540
11339640
done339640
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
02229
14127
28225
314023
426723
545023
671623
7139423
8234823
9294323
10333723
11339023
done339023
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
01114
1218
2328
done328
02025
13724
28424
321522
467722
5200622
6308722
7481822
done500022
02041
13839
28235
314833
427833
546933
674033
7141233
8235133
9292533
10331233
11336233
done336233
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01924
13522
27318
313116
425716
545016
671416
7138716
8232016
9289516
10328216
11333216
done333216
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
059
1111
done111
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
02041
13839
28235
314833
427833
546933
674033
7141233
8235133
9292533
10331233
11336233
done336233
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01924
13522
27318
313116
425716
545016
671416
7138716
8232016
9289516
10328216
11333216
done333216
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
059
1111
done111
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
02041
13839
28235
314833
427833
546933
674033
7141233
8235133
9292533
10331233
11336233
done336233
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01924
13522
27318
313116
425716
545016
671416
7138716
8232016
9289516
10328216
11333216
done333216
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
059
1111
done111
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
047
183
2121
done121
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
0911
1179
2257
3287
done287
01720
13119
27517
318015
446915
596615
6162015
7302215
done500015
02331
15629
216127
356125
4287925
done500125
02050
15045
214645
350037
4252437
done500137
02243
15541
216439
361237
4372637
done500037
01618
12717
24917
39717
421517
528717
629517
done29517
02148
13847
27047
312047
424247
543247
670447
7138447
8233047
9292247
10333447
11341347
12345547
13347847
14348347
15349147
16349947
done349947
02025
13524
26724
311724
423724
542324
668524
7135524
8228924
9288324
10328524
11336224
12340424
13342724
14343224
15344024
16344824
done344824
02025
13524
26724
311724
423724
542324
668524
7135524
8228924
9288324
10328524
11336224
12340424
13342724
14343224
15344024
16344824
done344824
02025
13524
26724
311724
423724
542324
668524
7135524
8228924
9288324
10328524
11336224
12340424
13342724
14343224
15344024
16344824
done344824
02350
14649
29949
318047
436047
562147
689147
7157147
8253047
9312047
10350547
11355647
done355647
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
02233
14132
28132
314430
429130
552230
678730
7146630
8241230
9299930
10338330
11343430
done343430
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
01118
12115
23815
34715
done4715
02025
13724
28424
321522
467722
5200622
6308722
7481822
done500022
02243
14142
28042
313840
428240
549040
676140
7143940
8239140
9297340
10336240
11341540
done341540
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
02126
13825
27325
312423
425723
545123
671523
7139023
8234323
9293423
10331823
11336923
done336923
01011
1188
2298
done298
02025
13724
28424
321522
467722
5200622
6308722
7481822
done500022
01938
13537
27135
313033
426433
545533
672233
7139133
8233233
9291133
10328333
11333133
done333133
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01821
13220
26418
311916
424516
542816
669416
7136516
8230216
9287416
10324616
11329416
done329416
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
046
181
done81
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
01938
13537
27135
313033
426433
545533
672233
7139133
8233233
9291133
10328333
11333133
done333133
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01821
13220
26418
311916
424516
542816
669416
7136516
8230216
9287416
10324616
11329416
done329416
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
046
181
done81
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
01938
13537
27135
313033
426433
545533
672233
7139133
8233233
9291133
10328333
11333133
done333133
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
01821
13220
26418
311916
424516
542816
669416
7136516
8230216
9287416
10324616
11329416
done329416
02025
13724
27224
312322
425622
544722
671322
7139222
8234422
9294422
10336822
11348722
12357822
13372222
14394722
15443822
16445622
done445622
046
181
done81
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
034
151
done51
01924
13623
28323
321421
467621
5201221
6309321
7483321
done500021
088
1147
2207
done207
01720
13119
27517
318015
446915
596615
6162015
7302215
done500015
02228
15327
215227
355125
4283925
done500125
02050
15045
214645
350037
4252437
done500137
02140
15239
215539
359037
4368437
done500037
01618
12717
24917
39717
421517
528717
629517
done29517
02047
13747
26947
311947
424147
542447
669247
7136347
8231847
9290247
10330247
11337947
12342147
13344447
14344947
15345747
16346547
done346547
01924
13424
26624
311624
423624
542324
668724
7135924
8230224
9289024
10330024
11337924
12342124
13344424
14344924
15345724
16346524
done346524
01924
13424
26624
311624
423624
542324
668724
7135924
8230224
9289024
10330024
11337924
12342124
13344424
14344924
15345724
16346524
done346524
01924
13424
26624
311624
423624
542324
668724
7135924
8230224
9289024
10330024
11337924
12342124
13344424
14344924
15345724
16346524
done346524
02249
14549
29849
317747
435747
561747
688247
7155947
8250347
9308947
10348747
11354047
done354047
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
02132
14032
28032
314330
429030
550730
677030
7145030
8239430
9299230
10338730
11344030
done344030
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
01017
12015
23715
34815
done4815
01924
13624
28324
321422
467622
5201122
6308822
7483222
done500022
02142
14042
27942
313740
428140
548540
675240
7142140
8236140
9293740
10332040
11337140
done337140
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
0910
1178
2288
done288
01924
13624
28324
321422
467622
5201122
6308822
7483222
done500022
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
035
161
done61
01823
13523
28223
321321
467321
5200221
6307721
7480221
done500021
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
035
161
done61
01823
13523
28223
321321
467321
5200221
6307721
7480221
done500021
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
01924
13624
27124
312222
425522
544222
671122
7138722
8233522
9293522
10337122
11349222
12358222
13372622
14395122
15444222
16446022
done446022
035
161
done61
01823
13523
28223
321321
467321
5200221
6307721
7480221
done500021
023
141
done41
01823
13523
28223
321321
467321
5200221
6307721
7480221
done500021
077
1137
2197
done197
01619
13015
27615
319015
455615
5102515
6160915
7286215
done500015
02127
15227
215127
354025
4281325
done500025
01949
14945
214545
350037
4250737
done500137
02039
15139
215439
358937
4366737
done500137
01517
12617
24817
39817
421817
528417
629217
done29217
01823
13523
28223
321321
467321
5200221
6307721
7480221
done500021
01823
13521
28621
320021
456121
5102421
6154321
7250221
8402321
9499221
done500021
02047
13747
26947
311947
424147
542447
669247
7136347
8231847
9290247
10330247
11337947
12342147
13344447
14344947
15345747
16346547
done346547
01924
13424
26624
311624
423624
542324
668724
7135924
8230224
9289024
10330024
11337924
12342124
13344424
14344924
15345724
16346524
done346524
02249
14549
29849
317747
435747
561747
688247
7155947
8250347
9308947
10348747
11354047
done354047
02132
14032
28032
314330
429030
550730
677030
7145030
8239430
9299230
10338730
11344030
done344030
01017
12015
23715
34815
done4815
02142
14042
27942
313740
428140
548540
675240
7142140
8236140
9293740
10332040
11337140
done337140
02025
13725
27225
312323
425623
544523
671323
7139223
8233423
9291923
10330223
11335323
done335323
0910
1178
2288
done288
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
035
161
done61
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
035
161
done61
01837
13433
27233
313533
426433
545233
671333
7138533
8231933
9288833
10327433
11332433
done332433
01720
13116
26516
311716
424016
542716
669316
7136716
8230516
9287916
10324716
11329516
done329516
035
161
done61
023
141
done41
077
1137
2197
done197
02127
15227
215127
354025
4281325
done500025
02039
15139
215439
358937
4366737
done500137
01924
13623
28323
318321
456521
5103521
6155621
7252621
8404621
done500021
01924
13623
28323
318321
456521
5103521
6155621
7252621
8404621
done500021
01823
13521
28621
320021
456121
5102421
6154321
7250221
8402321
9499221
done500021
077
1137
2197
done197
011
done11
011
done11
011
done11
011
done11
0911
11611
2249
3309
4329
done329
0911
11611
2249
3309
4329
done329
011
done11
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
055
1105
2175
3235
4295
5385
6515
7645
8735
9825
10975
111025
121065
131075
done1075
011
done11
011
done11

prune174.0ms

Filtered
101 candidates to 188 candidates (-86.1%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1853188
Fresh189
Picked011
Done101
Total18712199

Merged error: 2.8b

Counts
199 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (+ (+ x t) y))
1.7b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.9b
(+ (* (+ x y) z) (* (+ t y) a))
22.8b
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
32×times-frac
31×add-sqr-sqrt
24×add-cube-cbrt
21×associate-*r* distribute-lft-out
17×add-exp-log
11×add-cbrt-cube add-log-exp
10×associate-*l/
pow1 flip3-+ flip-+
associate-/r*
div-exp frac-add prod-exp associate-/r/
flip3-- associate-*l* flip-- associate-/l* unswap-sqr
cbrt-undiv frac-times rec-exp diff-log 1-exp sum-log cbrt-unprod div-inv
+-commutative sub-neg pow-flip frac-2neg associate-*r/ pow-prod-down associate--l+ clear-num un-div-inv *-commutative inv-pow
Counts
4 → 118
Calls
4 calls:
7.0ms
(/ 1 (+ (+ x t) y))
10.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
7.0ms
(+ (* (+ x y) z) (* (+ t y) a))
24.0ms
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

series208.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ 1 (+ (+ x t) y))
32.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
149.0ms
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

simplify5.9min

Counts
130 → 130
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01823
13623
28321
323121
470621
5193721
6301121
7477521
done500021
01924
13423
26623
311623
424423
543323
670323
7138023
8232923
9292523
10332323
11337623
done337623
02025
13824
28023
313923
428523
549723
676723
7144423
8240823
9299323
10338723
11344023
done344023
02126
14125
28023
314723
429523
550423
677323
7145123
8241123
9299823
10338323
11343423
done343423
02025
14024
27823
313923
427523
549923
679023
7146623
8240923
9300523
10339323
11344423
done344423
01924
14024
29322
324722
474622
5198422
6308022
7483422
done500022
01924
13924
210022
329522
498822
5316222
done500022
02471
16567
223325
3112925
done500025
02271
15071
215527
367227
done500027
02049
13849
28545
323345
470645
5193845
6301245
7476145
done500045
01924
13724
28422
323222
471522
5195222
6304822
7482222
done500022
02071
14871
218223
3104923
done500023
01924
13724
28422
323222
471522
5195222
6304822
7482222
done500022
01924
13724
28422
323222
471522
5195222
6304822
7482222
done500022
01821
14519
214119
352219
4263719
done500119
02053
15849
221249
3101741
done500041
01733
14431
214431
355431
4305231
done500031
01621
13521
211521
345421
4221121
done500021
02025
13625
26825
311825
424425
543525
670425
7138025
8232125
9291725
10331125
11336425
done336425
02025
13625
26825
311825
424425
543525
670425
7138025
8232125
9291725
10331125
11336425
done336425
02126
13925
27425
312823
426723
545323
671823
7139323
8234023
9292623
10332223
11337523
done337523
02126
13925
27425
312823
426723
545323
671823
7139323
8234023
9292623
10332223
11337523
done337523
02025
13825
27323
313823
426323
545323
671923
7138823
8233023
9292423
10332123
11337423
done337423
02025
13825
27323
313823
426323
545323
671923
7138823
8233023
9292423
10332123
11337423
done337423
02033
13833
28433
321433
461733
5136233
6226233
7360733
done500033
01924
13524
27924
317924
443924
589224
6146724
7246324
8415024
done500024
02235
14633
211931
334529
4114329
5324829
done500029
02128
14126
29524
325722
484822
5233222
6341822
done500122
01823
13519
29117
321015
459015
5109715
6180715
7318315
done500015
01823
13519
29117
321015
459015
5109715
6180715
7318315
done500015
01823
13519
29117
321015
459015
5109715
6180715
7318315
done500015
02132
14131
29631
327629
498829
5300429
6498929
done500029
02025
13824
28524
322222
469522
5191922
6300022
7474122
done500122
01720
13217
27815
319715
457715
5108715
6179515
7316915
done500115
01720
13217
27815
319715
457715
5108715
6179515
7316915
done500115
01720
13217
27815
319715
457715
5108715
6179515
7316915
done500115
02031
14031
29429
328929
4101629
5294729
6493029
done500029
01924
13724
28422
323222
471722
5194722
6301322
7475922
done500022
01619
13117
27715
319615
457015
5107715
6178615
7316215
done500015
01619
13117
27715
319615
457015
5107715
6178615
7316215
done500015
01619
13117
27715
319615
457015
5107715
6178615
7316215
done500015
01517
12815
27215
318415
454115
599615
6152815
7250315
8402315
9496215
done500015
01517
12815
27215
318415
454115
599615
6152815
7250315
8402315
9496215
done500015
02127
15127
212025
332525
494325
5262225
done500025
02029
14729
212627
339827
4153427
done500127
01924
13724
27222
313722
426422
545522
671522
7138722
8233022
9292322
10335922
11347922
12357122
13371422
14393922
15443022
16444822
done444822
01924
13724
27222
313722
426422
545522
671522
7138722
8233022
9292322
10335922
11347922
12357122
13371422
14393922
15443022
16444822
done444822
01823
13623
28321
323121
470621
5193721
6301121
7477521
done500021
01517
12815
27215
318415
454115
599615
6152815
7250315
8402315
9496215
done500015
02127
15327
215225
357225
4291625
done500125
02039
15239
215737
362437
4369737
done500037
01213
12312
25812
311012
429812
592512
6446412
done500012
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11912
24412
38812
420612
550712
6212012
done500012
01225
11725
23325
34925
47725
510125
610325
done10325
01112
11612
23212
34812
47812
59412
69612
done9612
01235
13035
211013
352113
4312213
done500013
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11612
23212
34812
47812
59412
69612
done9612
02543
17339
219739
371839
4332839
done500039
01323
13619
210419
339219
4151119
done500019
02235
15733
215033
356933
4263829
done500129
01015
12113
25013
314413
440213
5104113
6266813
done500013
02235
16333
218333
375333
4353929
done500029
01015
12713
27513
322213
455613
5148113
6357213
done500013
01727
13627
211827
351127
4184423
done500023
067
1107
2247
3577
41187
51907
63137
74767
87497
99937
1010117
done10117
01315
13715
212015
342915
4132915
5353015
done500115
01435
14429
216829
362629
4195629
done500029
01223
13523
212423
340123
4110723
5340223
done500023
01011
11611
23911
37111
414711
519711
628111
744811
868511
977111
1077911
done77911
01618
13217
27916
318516
483216
done500116
01517
12816
26716
316316
459016
5334816
done500016
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12716
26816
316216
449116
5200216
done500016
01533
12533
25433
310433
423233
541733
668233
7135133
8228833
9286533
10323633
11328433
done328433
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01547
12647
28117
336417
4317417
done500117
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01619
14019
212719
344419
4186619
done500119
01747
14543
214143
349535
4251035
done500135
044
194
2114
done114
01531
13931
212631
343431
4228731
done500131
01315
12215
24415
39215
422015
527315
628115
done28115
089
1139
2289
3409
4489
5559
6659
7909
81279
92019
102209
112389
122759
132959
done2959
044
194
2114
done114
022
151
done51
077
1117
2177
done177
088
1147
2247
3267
4327
5377
done377
099
1178
2247
3307
4367
5417
done417
088
1187
2257
3317
4337
5397
6447
done447
088
1148
2208
3228
done228
01123
13719
21219
34699
423479
done50019
0917
11517
22117
done2117
088
1148
2208
3228
done228
0923
12223
2449
3839
41239
53219
610599
done50019
088
1148
2208
3228
done228
088
1148
2208
3228
done228
022
151
done51
066
1136
2276
3496
4636
5786
61046
71316
81386
91446
101476
done1476
01119
12317
23815
34415
done4415
099
1158
2218
done218
01012
11810
2268
3278
done278
099
1158
2218
done218
047
183
2121
done121
088
1147
2207
done207
047
183
2121
done121
088
1147
2207
done207
047
183
2121
done121
088
1147
2207
done207
01016
11815
22415
done2415
099
1158
2218
done218
099
1158
2218
done218
099
1158
2218
done218
034
151
done51
088
1147
2207
done207
034
151
done51
088
1147
2207
done207
034
151
done51
088
1147
2207
done207
0915
11715
22315
32515
done2515
088
1148
2208
3228
done228
088
1148
2208
3228
done228
088
1148
2208
3228
done228
023
141
done41
077
1137
2197
done197
023
141
done41
077
1137
2197
done197
023
141
done41
077
1137
2197
done197
077
1137
2197
done197
077
1135
2215
done215
0915
11715
22315
32515
done2515
088
1148
2208
3228
done228
023
141
done41
023
141
done41
023
141
done41
088
1147
2207
done207
088
1147
2207
done207
077
1135
2215
done215
01011
12711
25211
310911
425011
571311
6264311
done500011
0913
12313
25713
314313
445813
5130213
done500013
011
done11
011
done11
011
done11
011
done11
0911
11611
2249
3309
4329
done329
0911
11611
2249
3309
4329
done329
011
done11
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
011
done11
011
done11
011
done11

prune151.0ms

Filtered
80 candidates to 130 candidates (-62.5%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh1910
Picked101
Done011
Total13111142

Merged error: 2.8b

Counts
142 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (+ (+ x t) y) -1)
1.7b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.9b
(+ (* (+ x y) z) (* (+ t y) a))
22.8b
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (pow (+ (+ x t) y) -1))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
14×add-sqr-sqrt
11×unpow-prod-down add-log-exp
10×add-exp-log associate-*l/
add-cube-cbrt associate-*r*
add-cbrt-cube distribute-lft-out
pow1 unpow-1 flip3-+ flip-+
frac-add
pow-unpow flip3-- associate-*l* prod-exp flip-- unswap-sqr sqr-pow
frac-times pow-to-exp diff-log pow-exp sum-log
+-commutative sub-neg pow-pow associate-*r/ associate--l+ un-div-inv *-commutative cbrt-unprod
Counts
4 → 82
Calls
4 calls:
6.0ms
(pow (+ (+ x t) y) -1)
10.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
7.0ms
(+ (* (+ x y) z) (* (+ t y) a))
22.0ms
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (pow (+ (+ x t) y) -1))

series209.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(pow (+ (+ x t) y) -1)
32.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
150.0ms
(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (pow (+ (+ x t) y) -1))

simplify4.4min

Counts
94 → 94
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02025
13525
26824
311923
424523
543523
670423
7138123
8232623
9290923
10330723
11336023
done336023
02025
13525
26824
311923
424523
543523
670423
7138123
8232623
9290923
10330723
11336023
done336023
02025
14325
28924
316323
435523
573523
6171623
7496923
done500023
01924
14324
211124
331322
4128022
done500022
01924
14224
211524
334822
4153722
done500022
02271
15263
216627
377527
done500227
02049
14149
210149
328345
4119145
done500045
01924
14024
210024
328222
4119022
done500022
02071
15171
219925
3126523
done500023
01924
14024
210024
328222
4119022
done500022
01924
14024
210024
328222
4119022
done500022
01821
14519
214119
352219
4263719
done500119
02053
15849
221249
3101741
done500041
01733
14431
214431
355431
4305231
done500031
01621
13521
211521
345421
4221121
done500021
02025
14125
28925
316123
435923
579623
6192423
done500123
02025
14125
28925
316123
435923
579623
6192423
done500123
02025
14125
28225
314225
428825
553825
6102125
7263625
done500125
02025
14125
28225
314225
428825
553825
6102125
7263625
done500125
02126
14024
28224
315024
432324
565524
6145124
7444124
done500024
02126
14024
28224
315024
432324
565524
6145124
7444124
done500024
02031
14131
210331
330929
4142329
done500129
01924
14024
210024
328222
4118822
done500222
01719
13617
28115
319715
457115
5103215
6155715
7253515
8403615
9496915
done500015
01719
13617
28115
319715
457115
5103215
6155715
7253515
8403615
9496915
done500015
01719
13617
28115
319715
457115
5103215
6155715
7253515
8403615
9496915
done500015
02033
14333
29733
323733
466233
5146933
6260133
7487533
done500033
01924
14024
29324
320324
448724
599024
6176224
7369724
done500024
01517
12815
27215
318415
454115
599615
6152815
7250315
8402315
9496215
done500015
02025
13923
29323
324123
488823
5371423
done500023
01924
14024
28824
316022
436022
578722
6186922
done500022
01924
14024
28824
316022
436022
578722
6186922
done500022
01823
13923
29923
328121
4119621
done500121
01517
12815
27215
318415
454115
599615
6152815
7250315
8402315
9496215
done500015
02127
15527
216727
360425
4342725
done500025
02039
15539
217139
365637
4459337
done500037
01213
12312
25812
311012
429812
592512
6446412
done500012
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11912
24412
38812
420612
550712
6212012
done500012
01225
11725
23325
34925
47725
510125
610325
done10325
01112
11612
23212
34812
47812
59412
69612
done9612
01235
13035
211013
352113
4312213
done500013
01112
11612
23212
34812
47812
59412
69612
done9612
01112
11612
23212
34812
47812
59412
69612
done9612
02543
17339
219739
371839
4332839
done500039
01323
13619
210419
339219
4151119
done500019
02235
15733
215033
356933
4263829
done500129
01015
12113
25013
314413
440213
5104113
6266813
done500013
02235
16333
218333
375333
4353929
done500029
01015
12713
27513
322213
455613
5148113
6357213
done500013
01727
13627
211827
351127
4184423
done500023
067
1107
2247
3577
41187
51907
63137
74767
87497
99937
1010117
done10117
01315
13715
212015
342915
4132915
5353015
done500115
01435
14429
216829
362629
4195629
done500029
01223
13523
212423
340123
4110723
5340223
done500023
01011
11611
23911
37111
414711
519711
628111
744811
868511
977111
1077911
done77911
01618
13217
27916
318516
483216
done500116
01517
12816
26716
316316
459016
5334816
done500016
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12716
26816
316216
449116
5200216
done500016
01533
12533
25433
310433
423233
541733
668233
7135133
8228833
9286533
10323633
11328433
done328433
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01547
12647
28117
336417
4317417
done500117
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01416
12416
25316
310316
423316
541716
668216
7134516
8226916
9284016
10320916
11325716
done325716
01619
14019
212719
344419
4186619
done500119
01747
14543
214143
349535
4251035
done500135
044
194
2114
done114
01531
13931
212631
343431
4228731
done500131
01315
12215
24415
39215
422015
527315
628115
done28115
089
1139
2289
3409
4489
5559
6659
7909
81279
92019
102209
112389
122759
132959
done2959
044
194
2114
done114
088
1138
2207
done207
088
1138
2207
done207
033
161
done61
0911
11711
23011
35411
411111
527511
688311
7334911
done500011
088
1168
2278
3458
4858
51948
65748
721888
done50018
077
1185
2315
3425
4645
51215
63335
712535
done50005
0915
12015
23615
34615
47015
513415
634815
7128715
done500115
088
1198
2338
3438
4658
51248
63398
712738
done50008
088
1198
2338
3438
4658
51248
63398
712738
done50008
088
1198
2338
3438
4658
51248
63398
712738
done50008
033
1111
done111
077
1187
2327
3427
4647
51257
63447
712587
done50007
033
1111
done111
077
1187
2327
3427
4647
51257
63447
712587
done50007
033
1111
done111
077
1187
2327
3427
4647
51257
63447
712587
done50007
088
1218
2417
3567
41037
52467
67317
725097
done50007
088
1198
2358
3508
4878
52058
66628
730298
done50008
0917
12017
23417
34417
46617
512817
633717
7127117
done500117
088
1198
2338
3438
4658
51268
63458
712808
done50008
0923
12415
2619
31399
44579
515039
done50009
088
1198
2348
3448
4668
51288
63358
712718
done50008
088
1198
2348
3448
4668
51288
63358
712718
done50008
099
1187
2307
3407
4627
51297
63527
712847
done50007
099
1187
2307
3407
4627
51297
63527
712847
done50007
011
done11
011
done11
011
done11
011
done11
0911
11611
2249
3309
4329
done329
0911
11611
2249
3309
4329
done329
011
done11
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
011
done11
011
done11
011
done11

prune103.0ms

Filtered
67 candidates to 94 candidates (-40.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New94094
Fresh099
Picked011
Done011
Total9411105

Merged error: 2.8b

Counts
105 → 11

regimes893.0ms

Accuracy

85.9% (3.2b remaining)

Error of 7.7b against oracle of 4.5b and baseline of 27.1b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02781
14177
done4177

end0.0ms

sample990.0ms

Algorithm
intervals
Results
456.0ms7999×body80valid
0.0msbody320valid

Profiling

Loading profile data...