Details

Time bar (total: 4.3min)

sample46.0ms

Algorithm
intervals
Results
11.0ms258×body80valid
9.0ms258×body80nan

simplify201.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
078
1138
2168
3238
4348
5488
6568
7688
8948
91378
101948
112058
122138
132168
done2168

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.5b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x (log (/ x y))) z)
0.3b
(* x (log (/ x y)))
14.9b
(log (/ x y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
42×add-sqr-sqrt
40×add-cube-cbrt *-un-lft-identity
26×distribute-rgt-in distribute-lft-in associate--l+
add-exp-log
pow1
add-cbrt-cube div-inv add-log-exp
associate-*r*
associate-*l*
rem-log-exp log-pow
sub-neg log-div flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 107
Calls
3 calls:
8.0ms
(- (* x (log (/ x y))) z)
7.0ms
(* x (log (/ x y)))
3.0ms
(log (/ x y))

series35.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(- (* x (log (/ x y))) z)
10.0ms
(* x (log (/ x y)))
8.0ms
(log (/ x y))

simplify1.0min

Counts
116 → 116
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0610
1810
2107
3117
done117
055
done55
055
done55
055
done55
0812
11712
23812
3678
41068
51418
61968
72378
82748
92778
done2778
066
196
2116
3126
done126
079
1129
2209
3339
4419
5459
6539
7679
8799
9919
101039
111049
done1049
066
196
2116
3126
done126
068
1126
2266
3495
4715
5845
6965
71095
done1095
055
185
2105
3115
done115
079
1129
2189
3269
4389
5469
6559
7689
8849
9879
done879
066
196
2116
3126
done126
066
196
2116
3126
done126
066
196
2116
3126
done126
055
193
2153
3193
done193
055
185
2105
3115
done115
068
1147
2197
3326
4445
5745
61005
71065
81155
done1155
055
185
2105
3115
done115
055
1114
2124
3164
4184
5244
6294
done294
055
185
2105
3115
done115
034
171
done71
044
174
294
3104
done104
022
141
done41
044
174
294
3104
done104
022
done22
044
1103
2113
3153
4173
5233
6283
done283
022
done22
022
done22
044
174
294
3104
done104
055
185
2105
3115
done115
055
183
2133
3163
4213
5303
6393
7573
8813
91213
101783
112213
122343
done2343
0611
1911
21111
31211
done1211
055
185
2105
3115
done115
0614
11014
2146
3326
4766
51896
65246
717806
done50006
055
185
2105
3115
done115
055
185
2105
3115
done115
056
196
2116
3186
4236
5276
done276
078
1108
2128
3138
done138
067
1127
2157
3227
4277
5317
done317
067
1127
2215
3465
4875
51955
63965
710805
838855
done50005
0920
11920
24610
312810
44288
513918
648718
done50008
0715
11115
21315
32015
42515
52915
done2915
067
1107
2127
3197
4247
5287
done287
0720
12120
2528
31388
44258
512408
639598
done50018
067
1107
2127
3197
4247
5287
done287
067
1107
2127
3197
4247
5287
done287
078
1118
2138
3148
done148
078
1118
2138
3148
done148
0712
11012
2169
3229
4269
done269
067
177
done77
067
177
done77
067
177
done77
0914
11914
24014
37910
415410
523710
636110
747910
865310
978310
1078410
done78410
078
1118
2138
3208
4258
5298
done298
0811
11411
22211
34111
47311
59511
611811
715111
819911
925411
1032811
1134811
1235211
done35211
078
1118
2138
3208
4258
5298
done298
0710
1148
2288
3597
4977
51337
61667
72367
83007
93027
done3027
067
1107
2127
3197
4247
5287
done287
0811
11411
22011
33411
45911
59511
613111
717111
823711
931611
1034211
1134311
done34311
078
1118
2138
3208
4258
5298
done298
078
1118
2138
3208
4258
5298
done298
078
1118
2138
3208
4258
5298
done298
067
1115
2175
3255
4285
done285
067
1107
2127
3197
4247
5287
done287
0810
1179
2269
3508
4847
51487
62107
72407
82877
93667
done3667
067
1107
2127
3197
4247
5287
done287
077
1146
2196
3306
4366
5446
6586
7696
done696
067
1107
2127
3197
4247
5287
done287
056
1103
done101
056
196
2116
3186
4236
5276
done276
044
173
done71
056
196
2116
3186
4236
5276
done276
034
144
done44
066
1135
2185
3295
4355
5435
6575
7685
done685
0712
11012
2169
3229
4269
done269
067
177
done77
067
177
done77
067
177
done77
0914
11914
24014
37910
415410
523710
636110
747910
865310
978310
1078410
done78410
078
1118
2138
3208
4258
5298
done298
0811
11411
22211
34111
47311
59511
611811
715111
819911
925411
1032811
1134811
1235211
done35211
078
1118
2138
3208
4258
5298
done298
0710
1148
2288
3597
4977
51337
61667
72367
83007
93027
done3027
067
1107
2127
3197
4247
5287
done287
0811
11411
22011
33411
45911
59511
613111
717111
823711
931611
1034211
1134311
done34311
078
1118
2138
3208
4258
5298
done298
078
1118
2138
3208
4258
5298
done298
078
1118
2138
3208
4258
5298
done298
067
1115
2175
3255
4285
done285
067
1107
2127
3197
4247
5287
done287
0810
1179
2269
3508
4847
51487
62107
72407
82877
93667
done3667
067
1107
2127
3197
4247
5287
done287
077
1146
2196
3306
4366
5446
6586
7696
done696
067
1107
2127
3197
4247
5287
done287
056
1103
done101
056
196
2116
3186
4236
5276
done276
044
173
done71
056
196
2116
3186
4236
5276
done276
034
144
done44
066
1135
2185
3295
4355
5435
6575
7685
done685
033
161
done61
0713
11313
21713
31813
done1813
067
1107
2127
3137
done137
033
161
done61
067
1107
2127
3197
4247
5287
done287
067
1107
2127
3197
4247
5287
done287
056
196
2116
3186
4236
5276
done276
0910
1179
2288
3588
41198
52998
67738
727758
done50008
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1179
2278
3518
41008
52338
66338
716458
done50008
0919
11519
21819
32519
43619
55019
65819
77019
89619
913919
1019619
1120719
1221319
1321619
done21619
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
0926
11626
23310
39910
437510
5174310
done500010
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
01012
13212
28512
322412
468512
5227312
done500012
01126
13124
25824
311219
426819
562319
6167719
7498619
done500019
022
done22
0917
12517
24517
39317
425117
572917
6246617
done500017
078
1128
2148
3218
4308
5398
6428
7488
8598
9828
101098
111388
121528
131738
141968
151978
done1978
089
1119
2129
done129
089
1119
2129
done129
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
078
1138
2168
3238
4348
5488
6568
7688
8948
91378
101948
112058
122138
132168
done2168
078
1138
2168
3238
4348
5488
6568
7688
8948
91378
101948
112058
122138
132168
done2168
088
1177
2237
3397
4487
5707
6987
71477
81577
91757
101947
111967
121987
done1987
089
1119
2129
done129
089
1119
2129
done129
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
0910
11510
21810
32510
43610
55010
65810
77010
89610
913910
1019610
1120710
1221510
1321810
done21810
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
089
1149
2179
3249
4359
5499
6579
7699
8959
91389
101959
112069
122129
132159
done2159
078
1138
2168
3238
4348
5488
6568
7688
8948
91378
101948
112058
122138
132168
done2168
078
1138
2168
3238
4348
5488
6568
7688
8948
91378
101948
112058
122138
132168
done2168
088
1177
2237
3397
4487
5707
6987
71477
81587
91787
101977
111997
122017
done2017
022
done22
088
1157
2225
3365
4465
5595
6825
7975
81065
91195
done1195
01012
1239
2386
3875
4995
51115
61285
done1285
01112
12311
2449
31259
43129
55715
611755
726505
done50005
0910
1179
2367
3657
4857
51067
61547
71977
82557
93087
103427
113547
done3547
01114
12511
2508
31227
41607
52067
62917
73117
83237
done3237
01214
12513
25811
316611
442811
58307
617907
741287
done50007
01316
12813
2549
31139
41929
52689
64049
75199
86569
96699
done6699
01520
13615
26811
314111
433810
55339
66059
done6059
01620
13617
26615
314313
433213
589813
622239
747159
done50019

prune167.0ms

Filtered
94 candidates to 116 candidates (-23.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1106116
Fresh000
Picked011
Done000
Total1107117

Merged error: 0.0b

Counts
117 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
2.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series107.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt x)
26.0ms
(cbrt x)
29.0ms
(cbrt y)
26.0ms
(cbrt y)

simplify47.6s

Counts
56 → 56
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune80.0ms

Filtered
36 candidates to 56 candidates (-55.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh055
Picked011
Done011
Total56763

Merged error: 0.0b

Counts
63 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series107.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(cbrt x)
26.0ms
(cbrt x)
26.0ms
(cbrt y)
25.0ms
(cbrt y)

simplify47.7s

Counts
56 → 56
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune72.0ms

Filtered
36 candidates to 56 candidates (-55.6%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh044
Picked011
Done022
Total56763

Merged error: 0.0b

Counts
63 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
5.7b
(log (/ (cbrt x) y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×cbrt-prod times-frac
add-exp-log
pow1
add-cbrt-cube add-log-exp
pow1/3
rem-log-exp
log-div div-exp log-pow div-inv
Counts
4 → 66
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
1.0ms
(cbrt x)
4.0ms
(log (/ (cbrt x) y))

series113.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt x)
30.0ms
(cbrt x)
26.0ms
(cbrt x)
32.0ms
(log (/ (cbrt x) y))

simplify1.6min

Counts
78 → 78
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0712
1912
2118
3128
done128
066
done66
066
done66
066
done66
0913
11413
22013
32813
44013
54813
65713
77013
88613
98913
done8913
077
1107
2127
3137
done137
0810
11110
21310
31410
done1410
077
1107
2127
3137
done137
079
1117
2177
3217
done217
066
196
2116
3126
done126
0810
11310
21910
32710
43910
54710
65610
76910
88510
98810
done8810
077
1107
2127
3137
done137
077
1107
2127
3137
done137
077
1107
2127
3137
done137
066
1104
2164
3204
done204
066
196
2116
3126
done126
079
1148
2208
3286
4525
51345
65685
736615
done50005
066
196
2116
3126
done126
066
1115
2135
3145
done145
066
196
2116
3126
done126
045
181
done81
055
185
2105
3115
done115
0914
11814
23914
3689
41079
51429
61979
72389
82759
92789
done2789
077
1107
2127
3137
done137
0811
11311
22111
33410
44210
54610
65410
76910
88110
99310
1010310
1110410
done10410
077
1107
2127
3137
done137
0710
1138
2278
3506
4686
5816
6936
71066
done1066
066
196
2116
3126
done126
0810
11310
21910
32710
43910
54710
65610
76910
88510
98810
done8810
077
1107
2127
3137
done137
077
1107
2127
3137
done137
077
1107
2127
3137
done137
066
1104
2164
3204
done204
066
196
2116
3126
done126
068
1147
2197
3326
4445
5745
61005
71065
81155
done1155
066
196
2116
3126
done126
055
1114
2124
3164
4184
5244
6294
done294
066
196
2116
3126
done126
034
171
done71
055
185
2105
3115
done115
022
141
done41
055
185
2105
3115
done115
033
done33
044
1103
2113
3153
4173
5233
6283
done283
033
done33
022
done22
055
185
2105
3115
done115
066
196
2116
3126
done126
066
194
2144
3174
4224
5314
6404
7704
8874
91284
101874
112294
122464
done2464
0713
11013
21213
31313
done1313
066
196
2116
3126
done126
0717
11117
2157
3337
4777
51907
65277
717717
done50007
066
196
2116
3126
done126
066
196
2116
3126
done126
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
01112
1229
2317
3477
4577
5707
61007
71327
81497
91647
done1647
01316
12813
2559
31007
41257
51387
61537
done1537
01820
13619
26718
316217
447216
5185614
done500114
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51712
63532
79042
830782
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune102.0ms

Filtered
55 candidates to 78 candidates (-41.8%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New77178
Fresh033
Picked101
Done033
Total78785

Merged error: 0b

Counts
85 → 7

regimes353.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11721
done1721

end0.0ms

sample1.4s

Algorithm
intervals
Results
360.0ms8040×body80valid
297.0ms8097×body80nan

Profiling

Loading profile data...