Details

Time bar (total: 7.3s)

sample35.0ms

Algorithm
intervals
Results
7.0ms191×body80valid
4.0ms23×body1280valid
3.0ms127×body80nan
3.0ms22×body640valid
2.0ms16×body1280nan
2.0ms19×body640nan
1.0ms13×body320valid
0.0ms7×body160valid
0.0ms2×body320nan
0.0ms3×body160nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 16.2b

Counts
2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
2.1b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.9b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
184×*-un-lft-identity
105×prod-diff
103×times-frac
91×add-cube-cbrt
49×difference-of-squares
47×distribute-lft-out--
12×log-prod
9×pow1 flip3-- flip--
8×associate-/r/
7×add-exp-log add-log-exp
6×fma-neg add-cbrt-cube associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num
Counts
4 → 227
Calls
4 calls:
17.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
18.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series263.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms
(/ (- x y) (- 1.0 y))
53.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
84.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify112.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
09864621
132403344
250013134

prune374.0ms

Filtered
239 candidates to 126 candidates (52.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2354239
Fresh000
Picked101
Done000
Total2364240

Merged error: 0.0b

Counts
240 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
5.9b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
11.6b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
540×times-frac
485×add-sqr-sqrt
461×*-un-lft-identity
426×prod-diff
303×add-cube-cbrt
298×cbrt-div
269×cbrt-prod
198×associate-/r/
151×flip3-- flip--
96×frac-times
87×difference-of-squares
79×distribute-lft-out--
48×associate-*r/ associate-*l/
27×div-inv
9×log-prod
6×add-log-exp
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg
2×log-div pow1/3 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 506
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
3.0ms
(cbrt (- 1.0 y))
64.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
54.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series308.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(cbrt (- 1.0 y))
85.0ms
(cbrt (- 1.0 y))
80.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
58.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify284.0ms

Algorithm
egg-herbie
Counts
518 → 518
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
0314832097
1500231058

prune1.2s

Filtered
518 candidates to 258 candidates (49.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New5171518
Fresh033
Picked101
Done000
Total5184522

Merged error: 0.0b

Counts
522 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
0.1b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
2.1b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
226×add-sqr-sqrt
202×*-un-lft-identity
144×times-frac
102×add-cube-cbrt
93×prod-diff
58×difference-of-squares
50×distribute-lft-out--
24×log-prod
12×associate-/r/
11×associate-/r*
9×add-exp-log
8×flip3-- add-cbrt-cube flip-- associate-/l*
6×div-inv add-log-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u
3×fma-neg div-exp
2×cbrt-undiv frac-2neg div-sub rem-log-exp clear-num associate-/l/
1×sub-neg log-div diff-log log-pow associate--r-
Counts
4 → 248
Calls
4 calls:
15.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
19.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
16.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series381.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
39.0ms
(/ (- x y) (- 1.0 y))
131.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
62.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify109.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
010744812
137213718
250013710

prune482.0ms

Filtered
260 candidates to 157 candidates (60.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2591260
Fresh033
Picked011
Done000
Total2595264

Merged error: 0b

Counts
264 → 5

localize34.0ms

Local error

Found 4 expressions with local error:

11.4b
(cbrt (- (* 1.0 1.0) (* y y)))
11.4b
(cbrt (- (* 1.0 1.0) (* y y)))
11.4b
(cbrt (- (* 1.0 1.0) (* y y)))
19.5b
(fma (- (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y))))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y)))) (* (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y)))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y))))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-div
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip-- difference-of-squares
1×fma-udef
Counts
4 → 58
Calls
4 calls:
4.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
4.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
4.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
1.0ms
(fma (- (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y))))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y)))) (* (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y)))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
191.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
193.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
196.0ms
(cbrt (- (* 1.0 1.0) (* y y)))
723.0ms
(fma (- (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y))))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y)))) (* (/ (cbrt (+ 1.0 y)) (sqrt (cbrt (- 1.0 y)))) (/ (/ (- x y) (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y))))))

simplify58.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
04701224
117061107
250021040

prune641.0ms

Filtered
70 candidates to 67 candidates (95.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New70070
Fresh033
Picked011
Done011
Total70575

Merged error: 0b

Counts
75 → 5

regimes147.0ms

Accuracy

98.9% (0.2b remaining)

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

bsearch183.0ms

Steps
ItersRangePoint
13
1.3803315812694795e-08
2.818332401459095e+73
0.9931547073211557
9
-2.0794380128228598e+21
-937727910791.0848
-954400778077.8668

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05574
15974
26174
36174

end0.0ms

sample982.0ms

Algorithm
intervals
Results
221.0ms5721×body80valid
151.0ms779×body1280valid
105.0ms789×body640valid
96.0ms3715×body80nan
54.0ms368×body1280nan
47.0ms396×body640nan
43.0ms455×body320valid
20.0ms208×body320nan
17.0ms256×body160valid
5.0ms96×body160nan