Details

Time bar (total: 14.6min)

sample43.0ms

Algorithm
intervals
Results
10.0ms254×body80valid
3.0ms19×body640valid
2.0ms15×body320valid
1.0msbody1280valid
0.0msbody160valid

simplify9.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
12313
24313
311513
426313
556813
6100513
7171113
8306013
9380113
10400713
11445913
done500013

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.7b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
3.3b
(+ x (* (- y z) (/ (- t x) (- a z))))
5.0b
(* (- y z) (/ (- t x) (- a z)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
associate-/r/
cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
9.0ms
(/ (- t x) (- a z))
4.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
18.0ms
(* (- y z) (/ (- t x) (- a z)))

series118.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(/ (- t x) (- a z))
63.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
40.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify3.0min

Counts
128 → 128
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
12111
24111
310911
423711
546111
671811
7102711
8162811
9206211
10209211
done209211
01314
12314
23314
34214
44814
55814
66514
77714
810014
911414
1012014
done12014
01213
12413
23513
34613
45613
56513
67013
77913
89613
911513
1012313
done12313
01112
12512
25112
312912
427612
551412
678312
7111012
8172312
9217012
10224412
11227412
12231912
done231912
01112
12412
25512
314712
435112
579512
6166112
done500112
01635
13635
215617
375515
4417015
done500015
01435
13535
211315
350815
4289513
done500013
01225
12325
24325
311125
423925
546425
671825
7102725
8162325
9205725
10208725
done208725
01112
12212
24212
311012
423812
546212
671812
7102712
8162412
9206112
10209112
done209112
01235
13335
212213
366813
4417613
done500013
01112
12212
24212
311012
423812
546212
671812
7102712
8162412
9206112
10209112
done209112
01112
12212
24212
311012
423812
546212
671812
7102712
8162412
9206112
10209112
done209112
01011
12811
26311
317911
461511
5229811
done500011
01015
12013
24913
315213
437313
596513
6211713
7442113
done500013
0911
11711
24111
313611
442711
5104411
6290911
done500011
067
1107
2257
3547
41007
51497
62007
73027
85127
98387
109527
119607
done9607
01213
12113
22613
32813
done2813
01213
12113
22613
32813
done2813
01314
12114
22714
33114
43214
done3214
01314
12114
22714
33114
43214
done3214
01221
12321
23621
35521
46721
57521
done7521
01112
12012
23112
33812
44212
done4212
01423
12823
26623
317023
435723
558323
675123
779323
879523
done79523
01318
12318
24218
39518
417118
523618
628518
729018
done29018
01115
12213
24713
311913
420513
531313
637813
741213
841313
done41313
01419
12419
24219
39519
417119
523619
628519
729019
done29019
01115
12213
24713
311913
420513
531313
637813
741213
841313
done41313
01318
12318
24318
39218
415118
521618
625118
725818
done25818
01213
12013
23213
35613
47913
59513
610613
done10613
01010
1198
2348
3538
4778
51118
61368
71428
done1428
01314
12114
23214
35614
47914
59514
610614
done10614
01010
1198
2348
3538
4778
51118
61368
71428
done1428
01015
12015
23813
310313
420613
528113
635413
738413
840213
940413
done40413
0910
11710
2288
3638
41058
51338
61528
71548
81558
done1558
067
1135
2253
3433
4543
5583
done583
01011
11811
2289
3639
41059
51329
61519
71539
81549
done1549
067
1135
2253
3433
4543
5583
done583
01419
12319
25019
311519
421819
536219
656319
795519
8148819
9229419
10302219
11331119
12331719
done331719
01314
12014
23914
37914
413814
521714
633214
755114
888214
9136714
10171814
11182114
12182214
done182214
01111
1199
2419
3849
41609
52549
63459
75579
89029
912529
1014099
1114319
1214329
done14329
01415
12115
23915
37915
413815
521415
632715
754515
888215
9136815
10171815
11182115
12182215
done182215
01111
1199
2419
3849
41609
52549
63459
75579
89029
912529
1014099
1114319
1214329
done14329
01015
12015
23813
310313
420613
528113
635413
738413
840213
940413
done40413
0910
11710
2288
3638
41058
51338
61528
71548
81558
done1558
067
1135
2253
3433
4543
5583
done583
01011
11811
2289
3639
41059
51329
61519
71539
81549
done1549
067
1135
2253
3433
4543
5583
done583
055
1103
2203
3313
4403
5443
done443
077
1127
2267
3607
41247
52167
62917
74157
86537
98127
108197
done8197
01315
13815
27815
319415
452915
5189515
done500015
01215
12715
26315
318615
447515
5113415
6204715
7353815
done500015
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
01011
12111
24111
310911
423711
546111
671811
7102711
8162811
9206211
10209211
done209211
01213
12413
24413
311213
424013
546113
671913
7103913
8158813
9202513
10205513
done205513
01011
12111
24111
310911
423711
546111
671811
7102711
8162811
9206211
10209211
done209211
077
1127
2267
3607
41247
52167
62917
74157
86537
98127
108197
done8197
01315
13815
27815
323415
498315
5430115
done500015
01215
12715
25815
320715
474315
5196115
done500015
01315
12914
26114
316114
440514
5100214
6238714
done500014
01214
12414
24414
311614
426414
557014
6100414
7171714
8306214
9379814
10400214
11445514
done500014
01214
12714
25214
314514
435114
586614
6204814
done500014
01329
12529
24529
311729
426529
557529
6100829
7172029
8307429
9380629
10401229
11446929
done500029
01214
12414
24414
311614
426414
557014
6100414
7171714
8306214
9379814
10400214
11445514
done500014
01341
13841
211415
351415
4311815
done500015
01214
12414
24414
311614
426414
557014
6100414
7171714
8306214
9379814
10400214
11445514
done500014
01214
12414
24414
311614
426414
557014
6100414
7171714
8306214
9379814
10400214
11445514
done500014
01417
14217
211317
350317
4309417
done500117
01541
14329
214629
359629
4277029
done500029
01327
13627
211427
351627
4268827
done500127
01113
12413
25313
315913
444213
5106613
6170113
7250713
8338913
9362913
10375413
11391113
12428613
done500113
099
1159
2189
done189
088
1188
2248
3278
done278
088
1158
2228
3268
4298
5358
6398
7558
8598
9668
10758
11958
121168
131328
141398
151458
161488
done1488
01123
12423
28511
32619
47609
527989
done50009
0917
11617
22017
32217
done2217
088
1158
2198
3218
done218
0923
12323
2559
31879
46159
519689
done50009
088
1158
2198
3218
done218
088
1158
2198
3218
done218
044
164
2104
3124
4133
done133
044
164
2104
3124
4133
done133
055
175
285
done85
055
175
285
done85
01119
12119
23219
33819
done3819
099
1139
2159
done159
01014
11614
22014
32114
done2114
099
1139
2159
done159
0711
1139
2209
3259
done259
088
1128
2148
done148
01115
11615
21915
32015
done2015
01010
11410
21610
done1610
0711
1139
2209
3259
done259
088
1128
2148
done148
01014
11614
21814
done1814
099
1139
2159
done159
099
1139
2159
done159
099
1139
2159
done159
066
1104
2134
done134
088
1128
2148
done148
01010
11310
21410
done1410
01010
11410
21610
done1610
066
1104
2134
done134
088
1128
2148
done148
0711
11311
21411
done1411
088
1158
2198
3218
done218
066
1106
2116
done116
088
1158
2198
3218
done218
023
141
done41
077
1147
2187
3207
done207
077
1107
done107
099
1169
2209
3229
done229
023
141
done41
077
1147
2187
3207
done207
01115
11615
21715
done1715
01010
11710
22110
32310
done2310
01010
11310
21410
done1410
01010
11710
22110
32310
done2310
077
1105
2125
done125
099
1169
2209
3229
done229
01111
11311
done1311
01111
11811
22211
32411
done2411
077
1105
2125
done125
099
1169
2209
3229
done229
0711
11311
21411
done1411
088
1158
2198
3218
done218
066
1106
2116
done116
088
1158
2198
3218
done218
023
141
done41
077
1147
2187
3207
done207
077
1107
done107
099
1169
2209
3229
done229
023
141
done41
077
1147
2187
3207
done207
055
195
2105
done105
077
1147
2187
3207
done207
0913
11813
22713
33213
43513
done3513
088
1158
2198
3218
done218
055
1123
2173
done173
099
1159
2189
3209
done209
055
1123
2173
done173
088
1158
2198
3218
done218
088
1158
2198
3218
done218
077
1147
2187
3207
done207
099
1169
2209
3229
done229
077
1147
2187
3207
done207
01011
13011
25511
39711
420211
558311
6245911
done500111
0911
11911
23511
36111
49411
513711
620211
737011
8167711
done500011
01115
12713
27513
321413
450313
5121213
6246713
done500013
077
1177
2377
3647
41107
51577
62277
74087
86447
97117
107157
done7157
011
done11
011
done11
011
done11
011
done11
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
011
done11
011
done11
011
done11

prune215.0ms

Filtered
92 candidates to 128 candidates (-39.1%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New11414128
Fresh000
Picked011
Done000
Total11415129

Merged error: 3.9b

Counts
129 → 15

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t x))
0.6b
(cbrt (- t x))
0.9b
(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
9.6b
(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
17×add-sqr-sqrt
16×cbrt-div
14×*-un-lft-identity add-cbrt-cube
13×associate-*r*
10×cbrt-prod flip3-- flip--
prod-exp cbrt-unprod
add-cube-cbrt associate-/r/
pow1 frac-times add-log-exp
associate-*l*
cbrt-undiv div-exp associate-*l/
associate-*r/ distribute-lft-out-- difference-of-squares
times-frac pow1/3 unswap-sqr
+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+ div-inv
Counts
4 → 85
Calls
4 calls:
4.0ms
(cbrt (- t x))
4.0ms
(cbrt (- t x))
29.0ms
(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
4.0ms
(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(cbrt (- t x))
31.0ms
(cbrt (- t x))
145.0ms
(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
61.0ms
(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify2.7min

Counts
97 → 97
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01937
14236
211336
340918
4124518
5300314
done500114
01836
13736
29636
335018
498318
5186114
6345514
done500114
01836
14036
210636
338218
4117818
5281914
done500114
01973
13873
29773
334637
498937
5185529
6343829
done500029
01836
13736
29636
335018
498318
5186114
6345514
done500114
019107
151107
217437
399219
done500019
01836
13736
29636
335018
498318
5186114
6345514
done500114
01836
13736
29636
335018
498318
5186114
6345514
done500114
02039
15539
218221
3118117
done500017
021107
15573
222673
3145437
done500137
01971
14871
218971
3125735
done500135
01735
13735
210935
346817
4177717
5440413
done500013
01423
12823
26623
317023
435723
558323
675123
779323
879523
done79523
01728
13420
27118
312618
423118
541518
667118
779918
882018
done82018
01727
13323
26020
310918
419818
536918
665718
781318
886718
done86718
01727
13323
26720
312418
421118
538418
659518
785818
889318
989418
done89418
01726
13126
25620
310518
417618
531718
653018
779818
886218
986518
done86518
01625
13125
25925
311417
420917
538017
660617
776117
884517
984917
done84917
01524
13224
28424
323717
454917
5100917
6149217
7167817
8175817
9175917
done175917
01524
13124
28024
321824
453824
5116324
6259324
done500024
01427
13127
211421
345821
4218321
done500021
01749
14349
217125
395620
done500020
01749
14349
215625
371720
4399920
done500020
02071
15471
225929
3209719
done500019
01871
14271
217427
399127
done500027
01649
13049
26849
317449
435949
558349
674149
778049
878149
done78149
01524
12924
26724
317324
435824
558124
674024
777724
877824
done77824
01671
14071
217725
3125425
done500025
01524
12924
26724
317324
435824
558124
674024
777724
877824
done77824
01524
12924
26724
317324
435824
558124
674024
777724
877824
done77824
01217
13217
26317
316217
446617
5156417
done500117
01221
12419
24919
311919
418019
520519
620619
done20619
01117
12117
24317
311517
427717
547617
675817
7133717
8447517
done500017
0813
11413
22513
33713
done3713
01625
12825
24115
34715
done4715
01625
12825
24115
34715
done4715
01314
12114
22714
33114
43214
done3214
01314
12114
22714
33114
43214
done3214
01645
13045
25045
37345
48545
59545
done9545
01524
12724
24614
35714
46114
done6114
01213
12013
23213
35613
47913
59513
610613
done10613
055
1103
2203
3313
4403
5443
done443
0913
11613
22613
34313
45713
56713
done6713
01731
14531
210331
324431
452031
5108731
6299731
done500031
02131
15431
212531
332731
473331
5151231
6363731
done500131
02131
15431
212531
332731
473631
5150431
6362831
done500031
01631
13431
27731
319931
440931
567431
689031
7109731
8236131
done500031
01927
15027
211727
330927
469227
5142427
6348927
done500127
01827
13827
29527
327727
460627
5106127
6148627
7272927
done500027
01927
15027
211727
330927
469227
5142627
6347627
done500027
01827
13827
29527
327927
460827
5106127
6147827
7271927
done500027
01524
12924
26124
310324
415924
517124
done17124
01524
12924
26124
310324
415924
517124
done17124
01423
12823
26623
317023
435723
558323
675123
779323
879523
done79523
01625
13125
26925
317425
435925
558625
674025
777725
877825
done77825
01423
12823
26623
317023
435723
558323
675123
779323
879523
done79523
0913
11613
22613
34313
45713
56713
done6713
01727
14527
210327
330827
4128527
done500027
01627
13427
28327
329027
4101627
5263827
6497727
done500027
055
175
285
done85
055
175
285
done85
0610
1810
2910
done910
055
175
285
done85
055
175
285
done85
055
175
285
done85
022
141
done41
044
164
274
done74
066
176
done76
066
186
296
done96
022
141
done41
044
164
274
done74
078
1228
2448
3788
41658
54978
622668
done50008
0812
11510
22310
32610
42710
done2710
068
1118
2188
3338
4588
5998
61578
73258
815708
done50008
044
154
done54
0611
1811
2911
done911
055
175
285
done85
0614
1914
2126
3173
4233
5333
6563
71163
83323
912673
done50003
055
175
285
done85
055
175
285
done85
055
175
285
done85
055
175
285
done85
0610
1810
2910
done910
055
175
285
done85
055
175
285
done85
055
175
285
done85
022
141
done41
044
164
274
done74
066
176
done76
066
186
296
done96
022
141
done41
044
164
274
done74
078
1228
2448
3788
41658
54978
622668
done50008
0812
11510
22310
32610
42710
done2710
068
1118
2188
3338
4588
5998
61578
73258
815708
done50008
044
154
done54
0611
1811
2911
done911
055
175
285
done85
0614
1914
2126
3173
4233
5333
6563
71163
83323
912673
done50003
055
175
285
done85
055
175
285
done85
011
done11
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
02957
16254
215633
337929
491825
5290621
done500021
02043
14237
29416
324313
462312
518039
done50019
02143
14422
29018
322616
466515
5229513
done500013
03041
16940
215040
338537
4125126
done500123
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01111
12110
23810
3806
41542
54332
618622
done50012
03041
16940
215040
338537
4125126
done500123
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01111
12110
23810
3806
41542
54332
618622
done50012

prune176.0ms

Filtered
79 candidates to 97 candidates (-22.8%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New97097
Fresh01313
Picked011
Done011
Total9715112

Merged error: 3.9b

Counts
112 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- y z)) (cbrt (- y z)))
2.3b
(* (cbrt (- y z)) (/ (- t x) (- a z)))
2.9b
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
7.7b
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
124×cbrt-div
88×frac-times
73×add-sqr-sqrt
63×flip3-- flip--
61×*-un-lft-identity
42×associate-*l/
40×associate-*r*
35×cbrt-prod
32×add-exp-log
29×associate-*r/
27×times-frac
25×pow1 add-cube-cbrt
18×add-cbrt-cube
17×associate-*l* distribute-lft-out--
16×prod-exp cbrt-unprod
15×difference-of-squares
11×pow-prod-down
10×swap-sqr
unswap-sqr
pow1/3 add-log-exp
cbrt-undiv div-exp *-commutative
associate-/r/ pow-sqr pow-prod-up
+-commutative pow2 flip3-+ pow-plus sum-log flip-+ div-inv
Counts
4 → 207
Calls
4 calls:
12.0ms
(* (cbrt (- y z)) (cbrt (- y z)))
25.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
27.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
4.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

series305.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (cbrt (- y z)) (cbrt (- y z)))
162.0ms
(* (cbrt (- y z)) (/ (- t x) (- a z)))
41.0ms
(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
63.0ms
(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

simplify5.6min

Counts
219 → 219
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01626
13725
27925
319017
447114
5134114
6367614
done500014
01525
13225
26225
313517
426414
556614
6109514
7220714
8483514
done500014
01525
13525
27425
317017
439614
5106514
6283014
done500014
01651
13351
26351
313735
426329
556529
6109129
7220529
8481729
done500029
01525
13225
26225
313517
426414
556614
6109514
7220714
8483514
done500014
01674
14674
214026
364018
4353215
done500015
01525
13225
26225
313517
426414
556614
6109514
7220714
8483514
done500014
01525
13225
26225
313517
426414
556614
6109514
7220714
8483514
done500014
01728
15028
215128
370217
4414517
done500117
01874
15151
218551
378635
4321429
done500029
01649
14449
214949
370833
4362826
done500126
01424
13224
27724
321016
453213
5123413
6231013
done500013
01322
12922
25922
313314
425611
555511
6103011
7197511
8424511
done500011
01322
12922
25922
313314
425611
555511
6103011
7197511
8424511
done500011
01322
12922
25922
313314
425611
555511
6103011
7197511
8424511
done500011
01322
12922
25922
313314
425611
555511
6103011
7197511
8424511
done500011
01627
13323
26517
312317
418417
530717
639317
752617
870017
979017
done79017
01526
13422
25916
39816
416516
527516
636416
747616
864616
980816
1081516
done81516
01525
13321
26121
310916
420316
534116
652016
765616
877516
987216
1094816
done94816
01726
13126
26023
312117
419117
531217
639817
752917
870517
979317
done79317
01625
13225
25722
310016
417016
528016
636916
748216
865416
981616
1082316
done82316
01524
13124
26121
311016
420416
534016
652016
765616
877316
986816
1094516
done94516
01423
13323
27623
318215
436912
578812
6145212
7277412
done500012
01423
13223
27323
317915
443512
5123612
6333412
done500112
01635
13835
216623
389015
4485515
done500015
01435
13735
212321
358415
4322715
done500015
01546
14146
214522
378522
done500022
01957
14957
220727
3127420
done500120
01757
14857
216425
389620
done500220
01768
15068
217926
395220
done500020
01547
13147
26047
313431
425725
555425
6103325
7198525
8426625
done500025
01423
13023
26023
313415
426012
555812
6103412
7197612
8425712
done500012
01568
14168
216124
382616
4482313
done500013
01423
13023
26023
313415
426012
555812
6103412
7197612
8425712
done500012
01423
13023
26023
313415
426012
555812
6103412
7197612
8425712
done500012
01330
13630
27930
314614
426011
581611
6464711
done500011
01342
12836
25636
39116
412413
527813
659013
7138213
8325813
done500013
01730
14330
29630
320230
436430
579330
6264830
done500030
01534
13030
26330
312530
417930
522530
625530
done25530
01526
14026
28826
318326
432126
570626
6248226
done500026
01229
12425
24725
36225
47325
57925
done7925
01634
14634
29634
320418
441115
5129615
done500115
01038
11832
22812
3349
4419
5519
6729
71399
83589
912849
done50009
02034
15334
211334
325934
458134
5127634
6350434
done500034
01230
12226
23126
33226
43326
done3326
01730
14430
210030
320730
437230
580430
6266230
done500030
01534
13130
26630
312630
418030
522730
625230
done25230
01730
14430
29930
321030
437830
581130
6265430
done500030
01526
13124
26624
313124
418824
524224
626424
done26424
01926
14726
211126
325326
445326
590726
6288326
done500026
01421
12719
25319
38219
410119
511719
done11719
02034
15434
211634
325834
460134
5133934
6363934
done500134
01230
12126
23126
33226
43326
done3326
02034
15434
211634
325934
459634
5129934
6360134
done500134
01222
12320
23120
33220
43320
done3320
01730
14430
29930
321030
438330
581530
6267730
done500030
01534
13130
26630
313130
418830
524330
626530
done26530
01730
14430
210030
320730
437630
580630
6267430
done500030
01526
13124
26624
312624
418024
522724
625224
done25224
01926
14726
211126
325326
445226
591826
6288326
done500026
01421
12719
25319
38219
410119
511719
done11719
02034
15434
211634
325934
459334
5130734
6356934
done500034
01230
12326
23126
33226
43326
done3326
02034
15434
211634
325834
460034
5132734
6364334
done500134
01222
12120
23120
33220
43320
done3320
01730
14330
29630
320230
436530
579630
6265230
done500030
01526
13024
26324
312524
417324
522224
625224
done25224
01230
12530
25330
310214
415511
538711
6112011
7375011
done500011
0918
11818
23818
37310
41037
51837
62947
75607
812267
935367
done50017
01426
12826
26626
315226
422626
532826
650326
7170326
done500026
0813
11413
22913
34313
45313
55913
done5913
02034
15334
211334
325934
457934
5126434
6351934
done500034
01222
12220
23120
33420
43520
done3520
01534
13534
26934
315718
430615
584715
6243015
done500015
0614
1814
2106
3153
4213
5313
6543
71103
83193
912593
done50013
01526
14126
29126
318726
432726
571126
6249726
done500026
01229
12525
24725
36225
47325
57925
done7925
01926
14726
211126
325326
445626
593426
6289926
done500026
01421
12719
25319
38219
410119
511719
done11719
01522
14122
29122
318422
432022
570822
6250422
done500122
01116
12114
23614
34214
44714
done4714
01830
15030
210830
324230
455330
5123130
6342330
done500030
0925
11621
22421
32521
42621
done2621
02230
15630
212830
330530
473630
5161530
6420630
done500030
01117
11915
22615
32715
42815
done2815
01926
14726
211126
325326
445926
591426
6287326
done500126
01421
12719
25319
38219
410119
511719
done11719
01426
12926
26926
315826
424426
535126
652426
7169626
done500026
0813
11513
22913
34313
45313
55913
done5913
01422
12922
27022
315422
423522
534122
651122
7166022
done500022
078
1118
2188
3238
4278
done278
02230
15630
212830
330530
473630
5161630
6421830
done500030
01117
11915
22615
32715
42815
done2815
01730
13830
28630
321130
446430
584630
6143430
7303230
done500030
059
169
done69
01526
14126
29126
318426
432426
570326
6247626
done500126
01229
12525
24725
36225
47325
57925
done7925
01926
14726
211126
325326
445126
591126
6290126
done500126
01421
12719
25319
38219
410119
511719
done11719
01522
14122
29122
318722
432722
570622
6250422
done500022
01116
12114
23614
34214
44714
done4714
01830
15030
210930
324230
456030
5124630
6345730
done500130
0925
11621
22421
32521
42621
done2621
02230
15630
212830
330530
473430
5162330
6422130
done500130
01117
11915
22615
32715
42815
done2815
01926
14726
211126
325326
445626
591526
6288926
done500026
01421
12719
25319
38219
410119
511719
done11719
01426
12926
27026
315426
423926
534726
651726
7166526
done500126
0813
11513
22913
34313
45313
55913
done5913
01422
12922
26922
315822
424422
535022
652322
7171222
done500122
078
1118
2188
3238
4278
done278
02230
15630
212830
330530
473530
5161430
6421630
done500030
01117
11915
22615
32715
42815
done2815
01730
13830
28730
321130
446730
586530
6146430
7302930
done500030
059
169
done69
0614
1914
2126
3173
4233
5333
6563
71163
83323
912673
done50003
01217
12617
24717
39217
415617
524417
632717
739017
842217
943017
done43017
01522
14022
28822
318322
432022
570922
6248122
done500122
01422
12822
26622
315222
422722
533222
650722
7171422
done500122
01018
12018
24218
37710
41057
51877
63187
76207
813097
936227
done50007
01826
14926
210526
323826
453526
5119326
6337526
done500026
01726
13726
28326
320926
444726
582826
6139426
7295626
done500026
01830
14930
210530
323830
453730
5119330
6335930
done500130
02230
15630
212830
330530
473430
5162130
6422330
done500030
02230
15630
212830
330530
474030
5161030
6419030
done500130
01730
13730
28330
320930
444730
582230
6139330
7299030
done500030
01826
15026
210926
324226
456026
5124526
6344926
done500126
01726
13826
28726
321126
446826
587826
6148226
7303526
done500026
01826
15026
210826
324226
455326
5123326
6344226
done500026
01726
13826
28626
321126
446426
585026
6144026
7301226
done500026
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
01415
12415
23415
34315
44915
55915
66615
77815
810115
911515
1012115
done12115
01314
12514
23614
34714
45714
56614
67114
78014
89714
911614
1012414
done12414
01213
12613
24613
37613
412313
515913
619213
721913
824313
925013
1026713
1126913
done26913
01213
12513
24513
38313
416413
533213
668613
7192913
done500013
01427
13127
212515
355113
4219413
done500013
01227
13027
28413
334013
4155813
done500213
01327
12427
23827
35827
48627
510927
613027
713927
814727
done14727
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01338
13438
29914
340114
4191813
done500013
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01112
12912
25812
39712
419112
552512
6232512
done500012
01116
12114
23614
34214
44714
done4714
01012
11812
23212
35212
48112
512212
618012
734812
8163312
done500012
078
1118
2188
3238
4278
done278
01314
12214
22714
32914
done2914
01314
12214
22714
32914
done2914
01415
12215
22815
33215
43315
done3315
01415
12215
22815
33215
43315
done3315
01314
12214
22714
32914
done2914
01314
12214
22714
32914
done2914
01415
12215
22815
33215
43315
done3315
01415
12215
22815
33215
43315
done3315
01322
12422
23122
33322
done3322
01213
12113
22613
32813
done2813
01524
12924
26124
310324
415924
517124
done17124
01419
12419
23719
35219
46519
56719
done6719
01216
12314
24214
37914
411314
done11314
01520
12520
23720
35220
46520
56720
done6720
01216
12314
24214
37914
411314
done11314
01419
12419
23819
35219
46419
done6419
01314
12114
22714
33114
43214
done3214
01111
1209
2299
3389
4449
done449
01415
12215
22715
33115
43215
done3215
01111
1209
2299
3389
4449
done449
01116
12116
23314
36214
48114
58214
done8214
01011
11811
2239
3389
4419
done419
078
1146
2204
3244
done244
01112
11912
22310
33810
43910
done3910
078
1146
2204
3244
done244
01520
12420
24520
35920
48720
59320
611320
713920
815320
915820
1015920
1116120
1216220
done16220
01415
12115
23415
33815
44715
54915
65515
75915
86515
96715
done6715
01212
12010
23610
34510
45910
56110
66710
78110
810910
done10910
01516
12216
23416
33816
44716
54916
65516
75916
86516
96716
done6716
01212
12010
23610
34510
45910
56110
66710
78110
810910
done10910
01116
12116
23314
36214
48114
58214
done8214
01011
11811
2239
3389
4419
done419
078
1146
2204
3244
done244
01112
11912
22310
33810
43910
done3910
078
1146
2204
3244
done244
066
1114
2154
done154
088
1138
2218
3268
4308
done308
01416
13916
27316
314116
433016
5110816
6499016
done500016
01316
12816
25816
312216
423516
543516
667516
7113016
8304616
done500116
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
01314
12514
23914
35914
48714
511014
613114
714014
814814
done14814
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01213
12313
23713
35713
48513
510813
612913
713813
814613
done14613
01112
12212
23612
35612
48412
510712
612812
713712
814512
done14512
088
1138
2218
3268
4308
done308
01416
13916
27316
312716
423916
559116
6238616
done500116
01316
12816
24716
38216
413516
519916
628216
745916
8177016
done500016
023
151
done51
023
161
done61
047
167
2137
3307
4637
51067
61867
72967
84557
96287
106717
116727
done6727
059
179
289
done89
023
161
done61
0611
1107
2127
done127
0610
11010
2137
3147
done147
0610
11010
21510
32010
43810
58010
618610
756610
8225610
done500010
047
167
2137
3307
4637
51067
61867
72967
84557
96287
106717
116727
done6727
0721
1921
21021
done1021
0610
1810
2910
done910
0729
11729
22711
3416
4996
52286
65776
719556
done50006
0610
195
2105
done105
0610
195
2105
done105
0817
12317
24517
37917
416617
549417
6224917
done500017
0925
11621
22421
32521
42621
done2621
01217
13117
25817
310317
421817
559217
6240717
done500017
01117
11915
22615
32715
42815
done2815
01217
13117
25817
310317
421717
559217
6242617
done500017
01117
11915
22615
32715
42815
done2815
0717
11217
21917
33417
45917
510017
615617
732417
8165317
done500017
059
169
done69
0721
1921
21021
done1021
0611
1811
2911
done911
0611
1811
2911
done911
0611
1811
2911
done911
035
153
done51
059
179
289
done89
035
153
done51
059
179
289
done89
0713
1813
done813
0713
1913
21013
done1013
035
153
done51
059
179
289
done89
035
153
done51
059
179
289
done89
0723
11323
21613
3257
4407
5667
61377
73547
812447
done50007
0611
1811
2911
done911
0611
184
2104
done104
0611
184
2104
done104
023
141
done41
059
179
289
done89
0611
1811
2911
done911
0611
1811
2911
done911
0811
11111
21211
done1211
0811
11111
21211
done1211
0811
11111
21211
done1211
0811
11111
21211
done1211
0611
184
2104
done104
0611
184
2104
done104
033
151
done51
033
161
done61
0715
11015
21115
done1115
0710
11010
21110
done1110
077
1126
2136
done134
0911
11311
21411
done1411
077
1126
2136
done134
0716
11216
21516
done1516
0610
1910
21010
done1010
066
1114
2154
done154
0610
1910
21010
done1010
0710
11010
21110
done1110
059
179
289
done89
0911
11411
21611
done1611
059
179
289
done89
0610
1910
21010
done1010
0610
1910
21010
done1010
059
179
289
done89
01013
12813
25013
38413
417113
550613
6226213
done500113
0913
11613
22813
35313
48113
512913
627813
7144213
done500113
01013
12813
25013
38413
417413
550713
6225513
done500013
0913
11613
22813
35313
48113
513413
628313
7148313
done500113
011
done11
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
011
done11
011
done11
011
done11
011
done11
011
done11
011
done11
02840
16737
214730
342622
4133420
done500019
01112
12210
2468
31315
42863
56173
619803
done50013
01212
12311
2449
31276
43255
58795
628793
done50003

prune315.0ms

Filtered
170 candidates to 219 candidates (-28.8%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New2163219
Fresh21012
Picked011
Done112
Total21915234

Merged error: 3.9b

Counts
234 → 15

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- y z) (- a z))
2.1b
(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
2.7b
(* (/ (- y z) (- a z)) (- t x))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
75×*-un-lft-identity
51×times-frac
31×associate-*l*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
pow1 flip3-- associate-*r* associate-/r* flip-- associate-/l* add-log-exp
associate-/r/
cbrt-undiv distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*r/ div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
+-commutative frac-2neg flip3-+ div-sub pow-prod-down associate-*l/ clear-num sum-log *-commutative flip-+ distribute-lft-out
Counts
3 → 124
Calls
3 calls:
9.0ms
(/ (- y z) (- a z))
5.0ms
(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
17.0ms
(* (/ (- y z) (- a z)) (- t x))

series142.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(/ (- y z) (- a z))
66.0ms
(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
65.0ms
(* (/ (- y z) (- a z)) (- t x))

simplify3.0min

Counts
133 → 133
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
01314
12314
23614
34514
45414
55914
66814
78514
810414
911214
done11214
01213
12413
23513
34613
45613
56513
67013
77913
89613
911513
1012313
done12313
01112
12512
25112
312512
425512
548112
674112
7106112
8166912
9212112
10219412
11222612
12227012
done227012
01112
12412
25312
313912
430812
570012
6146612
7444112
done500112
01635
13635
216117
381615
4468215
done500015
01435
13535
211915
355215
4311913
done500013
01225
12325
24325
310725
422125
543925
668525
799325
8157325
9200525
10203525
done203525
01112
12212
24212
310612
422012
543412
668712
799312
8157612
9200912
10203912
done203912
01235
13335
212213
366613
4402513
done500113
01112
12212
24212
310612
422012
543412
668712
799312
8157612
9200912
10203912
done203912
01112
12212
24212
310612
422012
543412
668712
799312
8157612
9200912
10203912
done203912
01011
12811
26311
317911
461611
5228511
done500111
01115
12713
27513
321413
450313
5121213
6246713
done500013
0911
11711
24111
313611
442711
5104211
6291611
done500011
077
1177
2377
3647
41107
51577
62277
74087
86447
97117
107157
done7157
01213
12113
22613
32813
done2813
01213
12113
22613
32813
done2813
01314
12114
22714
32914
43114
53214
done3214
01314
12114
22714
32914
43114
53214
done3214
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
0910
12010
23310
37310
413910
52179
62669
72929
83049
93199
103619
114439
124489
done4489
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
0910
12010
23310
37310
413910
52179
62669
72929
83049
93199
103619
114439
124489
done4489
089
1179
2309
3509
4789
51019
61229
71339
81429
done1429
0910
12010
23910
38610
416010
52299
62639
72779
82969
93389
104209
114259
done4259
089
1179
2309
3509
4789
51019
61229
71339
81429
done1429
0910
12010
23910
38610
416010
52299
62639
72779
82969
93389
104209
114259
done4259
01217
12517
23817
37417
413517
520817
628517
735517
840417
942517
1043717
1145317
1245917
1346317
done46317
01112
12212
23012
35412
47312
59812
611512
713112
814212
914712
done14712
089
1197
2337
3587
4847
51157
61467
71957
82857
94047
106647
118557
1212387
1319777
1423117
1525257
1625357
done25357
01213
12813
24813
310613
419513
534813
649713
779313
8146313
9220813
10230413
11231413
12231713
done231713
089
1197
2337
3587
4847
51157
61467
71957
82857
94047
106647
118557
1212387
1319777
1423117
1525257
1625357
done25357
01112
12012
23112
33812
44212
done4212
01112
12012
23112
33812
44212
done4212
01213
12013
23813
35213
47113
58713
69713
79913
done9913
01213
12013
23813
35213
47113
58713
69713
79913
done9913
01112
11912
23712
35412
47812
510412
612612
713612
814012
done14012
01314
12214
24014
35714
48114
510714
612914
713914
814314
done14314
01112
11912
23712
35412
47812
510412
612612
713612
814012
done14012
01213
12013
23813
35213
47113
58713
69713
79913
done9913
01213
12013
23813
35213
47113
58713
69713
79913
done9913
01112
11912
23712
35412
47812
510412
612612
713612
814012
done14012
01314
12214
24014
35714
48114
510714
612914
713914
814314
done14314
01112
11912
23712
35412
47812
510412
612612
713612
814012
done14012
01112
12212
24212
310312
421212
541012
664412
792612
8149212
9191612
10194612
done194612
01112
12212
24212
310312
421212
541012
664412
792612
8149212
9191612
10194612
done194612
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
01213
12413
24413
310813
422213
543313
667713
798513
8156813
9200113
10203113
done203113
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
01314
12514
24514
310614
421514
541614
664614
793814
8146914
9189214
10192214
done192214
01314
12514
24514
310614
421514
541614
664614
793814
8146914
9189214
10192214
done192214
01213
12413
24413
310813
422213
543313
667713
799313
8154313
9197213
10200213
done200213
01315
12415
24415
310815
422215
543315
667715
7100515
8156015
9198915
10201915
done201915
01213
12413
24413
310813
422213
543313
667713
799313
8154313
9197213
10200213
done200213
01112
12212
24212
310312
421212
541012
664412
792612
8149212
9191612
10194612
done194612
01112
12212
24212
310312
421212
541012
664412
792612
8149212
9191612
10194612
done194612
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
01213
12413
24413
310813
422213
543313
667713
798513
8156813
9200113
10203113
done203113
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
01011
12111
24111
310511
421911
543611
668211
799011
8157111
9200211
10203211
done203211
099
1189
2357
3777
41227
51607
61807
71937
81997
done1997
01115
12113
25013
315313
437413
589413
6200113
7399613
done500013
077
1117
2267
3557
41037
51537
61917
72777
84667
97147
107817
117857
done7857
01315
13715
27815
325815
4105215
5431015
done500015
01215
12615
25815
320415
469615
5178815
done500015
077
1127
2267
3607
41247
52167
62917
74157
86537
98127
108197
done8197
01517
13614
27014
317314
440314
5102814
6265514
done500014
01416
13314
26014
313914
429514
565314
6129514
7296014
done500014
01416
13614
27014
317314
440314
5102614
6266014
done500114
01533
13429
26129
314029
429629
565529
6129329
7296429
done500029
01416
13314
26014
313914
429514
565314
6129514
7296014
done500014
01547
14741
214015
361515
4378315
done500015
01416
13314
26014
313914
429514
565314
6129514
7296014
done500014
01416
13314
26014
313914
429514
565314
6129514
7296014
done500014
01619
14717
213217
359717
4421117
done500117
01747
14529
213329
353129
4251729
done500029
01531
14017
29717
342217
4244617
done500017
01315
13313
27213
319213
449413
5122013
6237713
done500013
01315
13213
25913
313813
429413
565313
6130013
7298213
done500013
089
1139
2169
done169
078
1168
2228
3258
done258
078
1138
2208
3248
4278
5338
6378
7538
8578
9648
10738
11938
121148
131278
141348
151408
161438
done1438
01023
12223
28311
32589
47529
527859
done50009
0817
11417
21817
32017
done2017
078
1138
2178
3198
done198
0823
12123
2539
31859
46099
519549
done50009
078
1138
2178
3198
done198
078
1138
2178
3198
done198
044
164
2104
3124
4133
done133
044
164
2104
3124
4133
done133
055
175
285
done85
045
165
275
done75
01019
11919
23019
33619
done3619
089
1119
2139
done139
0914
11414
21814
31914
done1914
089
1119
2139
done139
0711
1139
2209
3259
done259
078
1108
2128
done128
01015
11515
21815
31915
done1915
0910
11310
21510
done1510
0711
1139
2209
3259
done259
078
1108
2128
done128
0914
11414
21614
done1614
089
1119
2139
done139
089
1119
2139
done139
089
1119
2139
done139
066
1104
2134
done134
078
1108
2128
done128
0910
11210
21310
done1310
0910
11310
21510
done1510
066
1104
2134
done134
078
1108
2128
done128
0711
11311
21411
done1411
078
1138
2178
3198
done198
066
1106
2116
done116
078
1138
2178
3198
done198
023
141
done41
067
1127
2167
3187
done187
077
1107
done107
089
1159
2199
3219
done219
023
141
done41
067
1127
2167
3187
done187
01015
11515
21615
done1615
0910
11610
22010
32210
done2210
0910
11210
21310
done1310
0910
11610
22010
32210
done2210
077
1105
2125
done125
089
1159
2199
3219
done219
0911
11111
done1111
0911
11511
21911
32111
done2111
077
1105
2125
done125
089
1159
2199
3219
done219
0711
11311
21411
done1411
078
1138
2178
3198
done198
066
1106
2116
done116
078
1138
2178
3198
done198
023
141
done41
067
1127
2167
3187
done187
077
1107
done107
089
1159
2199
3219
done219
023
141
done41
067
1127
2167
3187
done187
055
195
2105
done105
067
1127
2167
3187
done187
0813
11613
22513
33013
43313
done3313
078
1138
2178
3198
done198
055
1123
2173
done173
089
1149
2179
3199
done199
055
1123
2173
done173
078
1138
2178
3198
done198
078
1138
2178
3198
done198
067
1127
2167
3187
done187
089
1159
2199
3219
done219
067
1127
2167
3187
done187
0911
12911
25311
39511
420011
558011
6246411
done500011
0811
11811
23311
35911
49211
513511
620011
736811
8164511
done500011
01015
12613
27413
321113
448813
5120613
6267013
done500013
067
1167
2367
3617
41047
51607
62467
74427
87527
98657
108827
done8827
011
done11
011
done11
011
done11
011
done11
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
01013
12013
23913
36311
4929
51209
61689
72449
83389
93699
104229
114629
124789
135149
146049
158349
1611129
1716569
1821369
1921899
done21899
011
done11
011
done11
011
done11

prune143.0ms

Filtered
96 candidates to 133 candidates (-38.5%)
Pruning

15 alts after pruning (12 fresh and 3 done)

PrunedKeptTotal
New1330133
Fresh01212
Picked011
Done022
Total13315148

Merged error: 3.9b

Counts
148 → 15

regimes623.0ms

Accuracy

12.6% (7.4b remaining)

Error of 10.7b against oracle of 3.3b and baseline of 11.8b

bsearch26.0ms

Steps
ItersRangePoint
7
-2.3717343991596876e+136
-6.788562290076345e+134
-2.1381817710311777e+136

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02028
12626
done2626

end0.0ms

sample1.1s

Algorithm
intervals
Results
345.0ms7825×body80valid
78.0ms505×body640valid
49.0ms254×body1280valid
46.0ms402×body320valid
21.0ms266×body160valid
4.0ms14×body2560valid

Profiling

Loading profile data...