Details

Time bar (total: 4.3s)

sample19.0ms

Algorithm
intervals
Results
5.0ms51×body1280valid
3.0ms41×body640valid
3.0ms134×body80valid
1.0ms21×body320valid
0.0ms9×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

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: 28.6b

Counts
2 → 1

localize5.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
2×cbrt-div pow1/3
1×sub-neg flip3-- flip3-+ flip-- flip-+
Counts
3 → 8
Calls
3 calls:
2.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
3.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series397.0ms

Counts
3 → 9
Calls
3 calls:
84.0ms
(cbrt (+ x 1.0))
169.0ms
(cbrt x)
144.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify135.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 3 (132.0ms)

IterNodesCost
0251168
1868160
24033142
35001136

prune58.0ms

Filtered
17 candidates to 15 candidates (88.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New14317
Fresh000
Picked011
Done000
Total14418

Merged error: 11.9b

Counts
18 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
10.4b
(- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
15.2b
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
19.6b
(cbrt (+ (pow x 3) (pow 1.0 3)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div
3×flip3-+ fma-neg pow1/3 flip-+
2×associate-/r/
1×cbrt-prod sub-neg flip3-- sum-cubes flip-- div-inv
Counts
4 → 15
Calls
4 calls:
1.0ms
(cbrt x)
12.0ms
(- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
5.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
4.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))

series840.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt x)
184.0ms
(- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
107.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
369.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))

simplify51.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0458340
11729329
25003326

prune143.0ms

Filtered
27 candidates to 24 candidates (88.9%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New20727
Fresh022
Picked011
Done101
Total211031

Merged error: 11.8b

Counts
31 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
15.2b
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
19.6b
(cbrt (+ (pow x 3) (pow 1.0 3)))
28.8b
(fma (cbrt (+ (pow x 3) (pow 1.0 3))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-div
3×pow1/3
2×flip3-+ flip-+
1×cbrt-prod sum-cubes fma-udef
Counts
4 → 9
Calls
4 calls:
1.0ms
(cbrt x)
5.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
3.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))
1.0ms
(fma (cbrt (+ (pow x 3) (pow 1.0 3))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

series854.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt x)
108.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
371.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))
197.0ms
(fma (cbrt (+ (pow x 3) (pow 1.0 3))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

simplify44.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0434263
11552248
25001244

prune143.0ms

Filtered
21 candidates to 20 candidates (95.2%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New17421
Fresh268
Picked011
Done011
Total191231

Merged error: 11.8b

Counts
31 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
15.2b
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
15.2b
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
28.8b
(fma (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (+ x 1.0))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-div
3×pow1/3
2×flip3-+ flip-+
1×fma-udef
Counts
4 → 8
Calls
4 calls:
1.0ms
(cbrt x)
5.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
5.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
1.0ms
(fma (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (+ x 1.0))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

series617.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt x)
107.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
107.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
223.0ms
(fma (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (+ x 1.0))) (/ 1 (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (cbrt x)))

simplify115.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 3 (111.0ms)

IterNodesCost
0312256
11066241
24216213
35001209

prune94.0ms

Filtered
20 candidates to 19 candidates (95.0%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New18220
Fresh279
Picked101
Done022
Total211132

Merged error: 11.8b

Counts
32 → 11

regimes81.0ms

Accuracy

99.4% (0.1b remaining)

Error of 11.8b against oracle of 11.7b and baseline of 30.6b

bsearch123.0ms

Steps
ItersRangePoint
9
2.5653698016906928e-06
357.20278190505735
0.013136115203440346
10
-1.3417951029768598e+66
-5.3118556719433245e+54
-4.495023653592418e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07358
18058
28058

end0.0ms

sample504.0ms

Algorithm
intervals
Results
179.0ms1750×body1280valid
96.0ms1246×body640valid
82.0ms4098×body80valid
36.0ms616×body320valid
11.0ms290×body160valid