Details

Time bar (total: 3.3min)

sample28.0ms

Algorithm
intervals
Results
9.0ms281×body80valid

simplify108.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.5b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x y) (- z y))
2.4b
(* (/ (- x y) (- z y)) t)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
70×*-un-lft-identity
51×times-frac
31×associate-*l*
26×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
add-exp-log add-cbrt-cube
associate-/r* associate-/l*
pow1 associate-/r/
flip3-- associate-*r* flip--
cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ add-log-exp unswap-sqr
frac-2neg div-sub pow-prod-down associate-*l/ clear-num *-commutative
Counts
2 → 102
Calls
2 calls:
9.0ms
(/ (- x y) (- z y))
13.0ms
(* (/ (- x y) (- z y)) t)

series41.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(/ (- x y) (- z y))
29.0ms
(* (/ (- x y) (- z y)) t)

simplify37.3s

Counts
108 → 108
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
11912
23112
34012
44912
55412
66312
78012
89912
910712
done10712
01011
12011
23011
34111
45111
56011
66511
77411
89111
911011
1011811
done11811
0910
12110
23410
36810
410310
514110
617010
719810
823210
924910
1026510
1126710
done26710
0910
12010
23610
37010
412510
524410
649910
7122210
8436910
done500110
01429
13229
213815
360813
4268913
done500013
01229
13129
29613
336513
4163011
done500111
01021
11921
22621
35021
46921
59421
611121
712721
813821
914321
done14321
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01029
12929
28711
339911
4183011
done500011
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01011
11711
22111
32311
done2311
01011
11711
22111
32311
done2311
01112
11712
22212
32412
42612
52712
done2712
01112
11712
22212
32412
42612
52712
done2712
01013
12113
23313
36913
413013
520313
627813
734913
840013
942113
1043313
1144913
1245513
1346113
1446313
done46313
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
089
1197
2337
3587
4847
51157
61467
71957
82857
94047
106647
118557
1212387
1319777
1423117
1525257
1625357
done25357
0910
11610
22010
32210
done2210
0910
11610
22010
32210
done2210
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
01113
12013
22713
35113
47013
59513
611213
712813
813913
914413
done14413
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
077
1147
2185
3215
4235
5255
done255
0913
11711
23911
37311
48611
58811
done8811
055
175
2155
done155
055
185
2155
3205
4245
done245
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
011
done11
011
done11

prune130.0ms

Filtered
76 candidates to 108 candidates (-42.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1035108
Fresh000
Picked011
Done000
Total1036109

Merged error: 0.0b

Counts
109 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (/ (- x y) (- z y)) t)
5.8b
(cbrt (* (/ (- x y) (- z y)) t))
5.8b
(cbrt (* (/ (- x y) (- z y)) t))
5.8b
(cbrt (* (/ (- x y) (- z y)) t))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity
31×associate-*l*
26×times-frac
16×add-cube-cbrt
10×distribute-lft-out-- difference-of-squares
add-exp-log add-cbrt-cube
pow1
associate-*l/ add-log-exp
cbrt-prod cbrt-div pow1/3 associate-*r*
prod-exp associate-/r/ cbrt-unprod unswap-sqr
cbrt-undiv flip3-- div-exp pow-prod-down *-commutative flip-- div-inv
Counts
4 → 80
Calls
4 calls:
15.0ms
(* (/ (- x y) (- z y)) t)
9.0ms
(cbrt (* (/ (- x y) (- z y)) t))
10.0ms
(cbrt (* (/ (- x y) (- z y)) t))
9.0ms
(cbrt (* (/ (- x y) (- z y)) t))

series327.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (/ (- x y) (- z y)) t)
99.0ms
(cbrt (* (/ (- x y) (- z y)) t))
100.0ms
(cbrt (* (/ (- x y) (- z y)) t))
100.0ms
(cbrt (* (/ (- x y) (- z y)) t))

simplify48.7s

Counts
92 → 92
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
078
1138
2178
3198
done198
022
done22
066
196
2166
3216
4256
done256
044
164
274
done74
01123
12023
22723
35123
47023
59523
611223
712823
813923
914423
done14423
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01132
12132
23012
3599
4849
51199
61579
72339
84589
913759
done50009
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
078
1138
2178
3198
done198
022
done22
066
196
2166
3216
4256
done256
044
164
274
done74
01123
12023
22723
35123
47023
59523
611223
712823
813923
914423
done14423
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01132
12132
23012
3599
4849
51199
61579
72339
84589
913759
done50009
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
078
1138
2178
3198
done198
022
done22
066
196
2166
3216
4256
done256
044
164
274
done74
01123
12023
22723
35123
47023
59523
611223
712823
813923
914423
done14423
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01132
12132
23012
3599
4849
51199
61579
72339
84589
913759
done50009
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
11912
23112
34012
44912
55412
66312
78012
89912
910712
done10712
01011
12011
23011
34111
45111
56011
66511
77411
89111
911011
1011811
done11811
0910
12110
23410
36810
410310
514110
617010
719810
823210
924910
1026510
1126710
done26710
0910
12010
23610
37010
412510
524410
649910
7122210
8436910
done500110
01429
13229
213815
360813
4268913
done500013
01229
13129
29613
336513
4163011
done500111
01021
11921
22621
35021
46921
59421
611121
712721
813821
914321
done14321
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01029
12929
28711
339911
4183011
done500011
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01011
11711
22111
32311
done2311
01011
11711
22111
32311
done2311
01112
11712
22212
32412
42612
52712
done2712
01112
11712
22212
32412
42612
52712
done2712
01013
12113
23313
36913
413013
520313
627813
734913
840013
942113
1043313
1144913
1245513
1346113
1446313
done46313
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
089
1197
2337
3587
4847
51157
61467
71957
82857
94047
106647
118557
1212387
1319777
1423117
1525257
1625357
done25357
0910
11610
22010
32210
done2210
0910
11610
22010
32210
done2210
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
01113
12013
22713
35113
47013
59513
611213
712813
813913
914413
done14413
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
077
1147
2185
3215
4235
5255
done255
0913
11711
23911
37311
48611
58811
done8811
055
175
2155
done155
055
185
2155
3205
4245
done245
03761
18958
223058
368353
4208740
done500040
01820
14117
210915
336213
497311
524037
done50007
01923
13723
210123
337122
4160417
done500016
03761
18958
223058
368353
4208740
done500040
01820
14117
210915
336213
497311
524037
done50007
01923
13723
210123
337122
4160417
done500016
03761
18958
223058
368353
4208740
done500040
01820
14117
210915
336213
497311
524037
done50007
01923
13723
210123
337122
4160417
done500016
011
done11
011
done11
011
done11

prune138.0ms

Filtered
74 candidates to 92 candidates (-24.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New90292
Fresh044
Picked011
Done011
Total90898

Merged error: 0b

Counts
98 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (/ (- x y) (- z y)) t)
4.8b
(cbrt (/ (- x y) (- z y)))
5.8b
(cbrt (* (/ (- x y) (- z y)) t))
5.8b
(cbrt (* (/ (- x y) (- z y)) t))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
72×add-sqr-sqrt
67×*-un-lft-identity
51×times-frac
33×cbrt-prod
31×associate-*l*
27×add-cube-cbrt
20×distribute-lft-out-- difference-of-squares
add-exp-log add-cbrt-cube
pow1
associate-/r/ add-log-exp
cbrt-div pow1/3 associate-*r* associate-*l/
flip3-- prod-exp flip-- cbrt-unprod div-inv unswap-sqr
cbrt-undiv div-exp pow-prod-down *-commutative
Counts
4 → 110
Calls
4 calls:
14.0ms
(* (/ (- x y) (- z y)) t)
8.0ms
(cbrt (/ (- x y) (- z y)))
10.0ms
(cbrt (* (/ (- x y) (- z y)) t))
10.0ms
(cbrt (* (/ (- x y) (- z y)) t))

series304.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (/ (- x y) (- z y)) t)
73.0ms
(cbrt (/ (- x y) (- z y)))
98.0ms
(cbrt (* (/ (- x y) (- z y)) t))
106.0ms
(cbrt (* (/ (- x y) (- z y)) t))

simplify1.0min

Counts
122 → 122
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
078
1138
2178
3198
done198
022
done22
066
196
2166
3216
4256
done256
044
164
274
done74
01123
12023
22723
35123
47023
59523
611223
712823
813923
914423
done14423
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01132
12132
23012
3599
4849
51199
61579
72339
84589
913759
done50009
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
078
1138
2178
3198
done198
022
done22
066
196
2166
3216
4256
done256
044
164
274
done74
01123
12023
22723
35123
47023
59523
611223
712823
813923
914423
done14423
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01132
12132
23012
3599
4849
51199
61579
72339
84589
913759
done50009
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
01011
11911
22611
35011
46911
59411
611111
712711
813811
914311
done14311
089
1149
2189
3209
done209
089
1149
2189
3209
done209
0918
11518
21918
32118
done2118
089
1149
2189
3209
done209
089
1149
2189
3209
done209
089
1149
2189
3209
done209
01120
12020
23120
33720
done3720
0910
11210
21410
done1410
01015
11515
21915
32015
done2015
0910
11210
21410
done1410
0812
11410
22110
32610
done2610
089
1119
2139
done139
01116
11616
21916
32016
done2016
01011
11411
21611
done1611
0812
11410
22110
32610
done2610
089
1119
2139
done139
01015
11515
21715
done1715
0910
11210
21410
done1410
0910
11210
21410
done1410
0910
11210
21410
done1410
077
1115
2145
done145
089
1119
2139
done139
01011
11311
21411
done1411
01011
11411
21611
done1611
077
1115
2145
done145
089
1119
2139
done139
0812
11412
21512
done1512
089
1149
2189
3209
done209
077
1117
2127
done127
089
1149
2189
3209
done209
034
151
done51
078
1138
2178
3198
done198
088
1118
done118
0910
11610
22010
32210
done2210
034
151
done51
078
1138
2178
3198
done198
01116
11616
21716
done1716
01011
11711
22111
32311
done2311
01011
11311
21411
done1411
01011
11711
22111
32311
done2311
088
1116
2136
done136
0910
11610
22010
32210
done2210
01012
11212
done1212
01012
11612
22012
32212
done2212
088
1116
2136
done136
0910
11610
22010
32210
done2210
0812
11412
21512
done1512
089
1149
2189
3209
done209
077
1117
2127
done127
089
1149
2189
3209
done209
034
151
done51
078
1138
2178
3198
done198
088
1118
done118
0910
11610
22010
32210
done2210
034
151
done51
078
1138
2178
3198
done198
022
141
done41
078
1138
2178
3198
done198
044
164
274
done74
066
1106
2116
done116
01012
13012
25412
39612
420212
558812
6248512
done500112
0812
11510
22310
32610
42710
done2710
0912
11912
23412
36012
49312
513612
620112
736912
8165412
done500012
044
154
done54
044
164
274
done74
044
164
274
done74
0919
11519
21919
32119
done2119
089
1149
2189
3209
done209
0926
11626
22210
3297
4357
5457
6667
71317
83487
912697
done50007
089
1149
2189
3209
done209
089
1149
2189
3209
done209
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
11912
23112
34012
44912
55412
66312
78012
89912
910712
done10712
01011
12011
23011
34111
45111
56011
66511
77411
89111
911011
1011811
done11811
0910
12110
23410
36810
410310
514110
617010
719810
823210
924910
1026510
1126710
done26710
0910
12010
23610
37010
412510
524410
649910
7122210
8436910
done500110
01429
13229
213815
360813
4268913
done500013
01229
13129
29613
336513
4163011
done500111
01021
11921
22621
35021
46921
59421
611121
712721
813821
914321
done14321
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01029
12929
28711
339911
4183011
done500011
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
01011
11711
22111
32311
done2311
01011
11711
22111
32311
done2311
01112
11712
22212
32412
42612
52712
done2712
01112
11712
22212
32412
42612
52712
done2712
01013
12113
23313
36913
413013
520313
627813
734913
840013
942113
1043313
1144913
1245513
1346113
1446313
done46313
0910
11810
22510
34910
46810
59310
611010
712610
813710
914210
done14210
089
1197
2337
3587
4847
51157
61467
71957
82857
94047
106647
118557
1212387
1319777
1423117
1525257
1625357
done25357
0910
11610
22010
32210
done2210
0910
11610
22010
32210
done2210
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
01011
11611
22111
32311
42511
52611
done2611
01011
11611
22111
32311
42511
52611
done2611
0910
11510
22010
32510
43210
53710
63910
done3910
01112
11812
22312
32812
43512
54012
64212
done4212
0910
11510
22010
32510
43210
53710
63910
done3910
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01112
12112
22812
34912
46312
58412
69312
79912
810012
done10012
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
01113
12013
22713
35113
47013
59513
611213
712813
813913
914413
done14413
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
0910
11810
22510
34610
46010
58110
69010
79610
89710
done9710
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
01011
12011
22711
35111
47011
59511
611211
712811
813711
914111
done14111
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
089
1179
2249
3489
4679
5929
61099
71259
81369
91419
done1419
077
1147
2185
3215
4235
5255
done255
0913
11711
23911
37311
48611
58811
done8811
055
175
2155
done155
055
185
2155
3205
4245
done245
03761
18958
223058
368353
4208740
done500040
01820
14117
210915
336213
497311
524037
done50007
01923
13723
210123
337122
4160417
done500016
03761
18958
223058
368353
4208740
done500040
01820
14117
210915
336213
497311
524037
done50007
01923
13723
210123
337122
4160417
done500016
03249
17449
217349
343746
4113532
5364029
done500029
01415
13113
26911
319110
44538
59725
620875
done50005
01315
12515
26415
318914
45748
516835
649455
done50005
011
done11
011
done11
011
done11

prune167.0ms

Filtered
93 candidates to 122 candidates (-31.2%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1220122
Fresh055
Picked011
Done022
Total1228130

Merged error: 0b

Counts
130 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ t (- z y))
11.7b
(* (- x y) (/ t (- z y)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
38×*-un-lft-identity
31×times-frac
22×add-cube-cbrt
21×associate-*r*
add-exp-log add-cbrt-cube
distribute-lft-out-- difference-of-squares
associate-*l* associate-/r*
pow1 flip3-- associate-/r/ flip--
associate-/l*
cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv add-log-exp unswap-sqr
frac-2neg associate-*r/ pow-prod-down clear-num *-commutative
Counts
2 → 83
Calls
2 calls:
6.0ms
(/ t (- z y))
15.0ms
(* (- x y) (/ t (- z y)))

series27.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(/ t (- z y))
19.0ms
(* (- x y) (/ t (- z y)))

simplify49.5s

Counts
89 → 89
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
089
1149
2259
3529
4809
51069
61269
71379
81429
91449
done1449
01112
11912
22812
33712
44312
55312
66012
77212
89512
910912
1011512
done11512
01011
11711
22511
33411
44411
55311
65811
76711
88411
910311
1011111
done11111
0910
11810
23510
37210
411910
515810
619010
721910
824010
924910
1026610
1126810
done26810
0910
11710
23910
38210
416810
532010
668610
7210610
done500010
01429
13229
213615
361513
4302213
done500013
01229
12829
29113
334013
4161111
done500011
01021
11621
22721
35421
48221
510821
612821
713921
814421
914621
done14621
0910
11510
22610
35310
48110
510710
612710
713810
814310
914510
done14510
01029
12629
210611
353311
4232611
done500111
0910
11510
22610
35310
48110
510710
612710
713810
814310
914510
done14510
0910
11510
22610
35310
48110
510710
612710
713810
814310
914510
done14510
089
1249
2529
31319
43089
59809
644879
done50009
01015
12013
24913
315213
437313
596513
6211713
7442113
done500013
079
1139
2309
3769
41599
52459
63959
77649
833639
done50009
067
1107
2257
3547
41007
51497
62007
73027
85127
98387
109527
119607
done9607
01011
11411
21611
done1611
01011
11411
21611
done1611
01112
11712
22212
32612
42712
done2712
01112
11712
22212
32612
42712
done2712
01017
11617
22617
34317
45717
56717
done6717
0910
11310
22110
32610
43010
done3010
01219
12419
26119
316519
435219
557719
674519
778719
878919
done78919
01114
11914
23714
39014
416614
523114
628014
728514
done28514
0911
1189
2429
31139
42079
53169
63779
74119
done4119
01215
12015
23715
39015
416615
522915
627815
728315
done28315
0911
1189
2429
31139
42079
53169
63779
74119
done4119
01116
11916
23816
38616
414516
521016
624516
725216
done25216
01011
11611
22711
35111
47411
59011
610111
done10111
088
1156
2296
3486
4726
51066
61316
71376
done1376
01112
11712
22712
35112
47412
59012
610112
done10112
088
1156
2296
3486
4726
51066
61316
71376
done1376
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
055
185
2155
3205
4245
done245
01113
13113
26213
313313
433813
5112713
done500113
01013
12013
24313
311713
425113
546013
670813
7118513
8312713
done500013
0910
11510
22010
32710
43310
53710
63910
done3910
0910
11510
22010
32710
43310
53710
63910
done3910
089
1149
2259
3529
4809
51069
61269
71379
81429
91449
done1449
01011
11711
22811
35511
48311
510911
612911
713811
814211
914411
done14411
089
1149
2259
3529
4809
51069
61269
71379
81429
91449
done1449
055
185
2155
3205
4245
done245
01113
13113
26213
316913
450913
5186313
done500113
01013
12013
24213
312413
432713
562213
6108613
7192513
done500013
077
1117
2137
done137
066
1116
2146
3156
done156
066
186
296
done96
0917
12017
2659
31737
43947
510877
637977
done50007
0713
1913
21013
done1013
066
186
296
done96
0717
11617
2337
3777
41737
54237
610317
730177
done50017
066
186
296
done96
066
186
296
done96
022
done22
044
164
2104
3124
4133
done133
0915
11715
22715
33315
done3315
077
197
2107
done107
0810
11210
21510
31610
done1610
077
197
2107
done107
057
195
2155
3205
done205
066
186
296
done96
0911
11211
21411
31511
done1511
088
1108
2118
done118
057
195
2155
3205
done205
066
186
296
done96
0812
11212
21312
done1312
077
197
2107
done107
077
197
2107
done107
077
197
2107
done107
044
162
282
done82
066
186
296
done96
088
198
done98
088
1108
2118
done118
044
162
282
done82
066
186
296
done96
0711
11311
21411
done1411
066
186
296
done96
066
1106
2116
done116
066
186
296
done96
023
141
done41
055
175
285
done85
077
1107
done107
077
197
2107
done107
023
141
done41
055
175
285
done85
055
195
2105
done105
055
1105
2135
3155
done155
0711
11111
21211
done1211
066
186
296
done96
033
151
done51
077
187
done87
033
151
done51
066
1116
2146
3166
done166
066
1116
2146
3166
done166
055
1105
2135
3155
done155
089
1239
2459
3819
41739
55219
623209
done50019
079
1129
2219
3389
4639
51049
61609
73289
816139
done50009
011
done11
011
done11
011
done11
011
done11
011
done11
011
done11

prune88.0ms

Filtered
68 candidates to 89 candidates (-30.9%)
Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New88189
Fresh134
Picked011
Done033
Total89897

Merged error: 0b

Counts
97 → 8

regimes566.0ms

Accuracy

-5.6% (2.4b remaining)

Error of 2.4b against oracle of 0.0b and baseline of 2.3b

bsearch40.0ms

Steps
ItersRangePoint
8
1.5769290227535393e-203
1.8746367512839153e-200
7.187391726629255e-201
6
7.4669008262593735e-289
3.215626611606701e-288
9.057244740406683e-289

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01635
12127
done2127

end0.0ms

sample802.0ms

Algorithm
intervals
Results
308.0ms8750×body80valid

Profiling

Loading profile data...