Details

Time bar (total: 53.9s)

sample195.0ms

Algorithm
intervals
Results
81.0ms256×body80valid
22.0ms268×body80nan

simplify16.0s

Counts
1 → 1
Iterations
IterNodes
done5000
374899
364766
354590
344456
334279
324146
313969
303835
293659
283526
273350
263216
253040
242911
232733
222599
212423
202294
192118
181984
171800
161671
151491
141356
131201
12947
11576
10357
9235
8163
7128
6106
574
445
325
218
114
07

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
43×add-sqr-sqrt
41×add-cube-cbrt *-un-lft-identity
26×distribute-rgt-in distribute-lft-in associate--l+
8×add-exp-log
7×pow1
5×add-cbrt-cube div-inv add-log-exp
4×associate-*r*
3×expm1-log1p-u associate-*l* prod-diff log1p-expm1-u
2×rem-log-exp log-pow
1×sub-neg log-div flip3-- fma-neg diff-log div-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 117
Calls
3 calls:
30.0ms
(- (* x (log (/ x y))) z)
24.0ms
(* x (log (/ x y)))
4.0ms
(log (/ x y))

series419.0ms

Counts
3 → 9
Calls
3 calls:
234.0ms
(- (* x (log (/ x y))) z)
86.0ms
(* x (log (/ x y)))
95.0ms
(log (/ x y))

simplify7.2s

Counts
126 → 126
Iterations
IterNodes
done5000
33142
2988
1454
0215

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize107.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

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

series2.2s

Counts
4 → 12
Calls
4 calls:
423.0ms
(cbrt x)
431.0ms
(cbrt y)
714.0ms
(cbrt y)
582.0ms
(cbrt y)

simplify4.5s

Counts
64 → 64
Iterations
IterNodes
done5001
52816
4923
3369
2174
181
046

prune858.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×cbrt-prod times-frac
7×add-exp-log
5×pow1
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
2×rem-log-exp
1×log-div div-exp log-pow div-inv
Counts
4 → 74
Calls
4 calls:
2.0ms
(cbrt x)
9.0ms
(cbrt x)
2.0ms
(cbrt x)
7.0ms
(log (/ (cbrt x) y))

series1.8s

Counts
4 → 12
Calls
4 calls:
419.0ms
(cbrt x)
559.0ms
(cbrt x)
504.0ms
(cbrt x)
285.0ms
(log (/ (cbrt x) y))

simplify4.4s

Counts
86 → 86
Iterations
IterNodes
done5001
43587
31136
2399
1207
0113

prune1.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize127.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
1.0b
(expm1 (log1p (cbrt y)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×expm1-log1p expm1-udef
Counts
4 → 50
Calls
4 calls:
2.0ms
(cbrt y)
2.0ms
(cbrt y)
2.0ms
(cbrt y)
1.0ms
(expm1 (log1p (cbrt y)))

series2.2s

Counts
4 → 12
Calls
4 calls:
420.0ms
(cbrt y)
409.0ms
(cbrt y)
544.0ms
(cbrt y)
801.0ms
(expm1 (log1p (cbrt y)))

simplify5.8s

Counts
62 → 62
Iterations
IterNodes
done5021
62875
5950
4398
3175
2104
157
037

prune1.1s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.6s8039×body80valid
675.0ms7921×body80nan