Details

Time bar (total: 5.9s)

sample34.0ms

Algorithm
intervals
Results
9.0ms47×body1280valid
7.0ms137×body80valid
7.0ms45×body640valid
3.0ms10×body160valid
2.0ms17×body320valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.2b
(cbrt (+ x 1.0))
0.5b
(cbrt x)
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
64×cbrt-prod
56×*-un-lft-identity
42×prod-diff
41×add-sqr-sqrt
33×add-cube-cbrt
9×distribute-lft-out
7×fma-neg
5×add-log-exp
4×difference-of-squares
3×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u distribute-lft-out--
2×cbrt-div pow1/3
1×sub-neg flip3-- flip3-+ diff-log flip-- flip-+
Counts
3 → 99
Calls
3 calls:
2.0ms
(cbrt (+ x 1.0))
0.0ms
(cbrt x)
27.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series414.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(cbrt (+ x 1.0))
177.0ms
(cbrt x)
148.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify60.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04301315
113941045
25001981

prune244.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (+ x 1.0))
0.5b
(expm1 (- (cbrt (+ x 1.0)) (cbrt x)))
0.5b
(cbrt x)
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
64×cbrt-prod
57×*-un-lft-identity
42×add-sqr-sqrt prod-diff
34×add-cube-cbrt
9×distribute-lft-out
7×fma-neg
6×add-log-exp
5×log1p-expm1-u
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube difference-of-squares
3×distribute-lft-out--
2×cbrt-div pow1/3
1×sub-neg expm1-log1p flip3-- flip3-+ diff-log flip-- flip-+ expm1-udef
Counts
4 → 110
Calls
4 calls:
2.0ms
(cbrt (+ x 1.0))
0.0ms
(expm1 (- (cbrt (+ x 1.0)) (cbrt x)))
0.0ms
(cbrt x)
27.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series628.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(cbrt (+ x 1.0))
212.0ms
(expm1 (- (cbrt (+ x 1.0)) (cbrt x)))
177.0ms
(cbrt x)
150.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify73.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
06131540
122191256
250011198

prune347.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 16.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
0.5b
(cbrt x)
1.9b
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
113×cbrt-prod
101×*-un-lft-identity
84×prod-diff
77×add-sqr-sqrt
61×add-cube-cbrt
47×log-prod
44×exp-sum
15×distribute-lft-out
11×log-pow
10×exp-prod
8×difference-of-squares
7×fma-neg
6×distribute-lft-out-- add-log-exp
5×pow1 log1p-expm1-u
4×add-exp-log expm1-log1p-u add-cbrt-cube
2×sub-neg
1×log-div expm1-log1p flip3-- exp-diff pow1/3 diff-log rem-log-exp flip-- expm1-udef
Counts
4 → 163
Calls
4 calls:
0.0ms
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
1.0ms
(cbrt x)
60.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
27.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series684.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
173.0ms
(cbrt x)
152.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
151.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify75.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
06942587
122442028
250011919

prune452.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
0.5b
(cbrt x)
1.9b
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
113×cbrt-prod
101×*-un-lft-identity
84×prod-diff
77×add-sqr-sqrt
61×add-cube-cbrt
47×log-prod
44×exp-sum
15×distribute-lft-out
11×log-pow
10×exp-prod
8×difference-of-squares
7×fma-neg
6×distribute-lft-out-- add-log-exp
5×pow1 log1p-expm1-u
4×add-exp-log expm1-log1p-u add-cbrt-cube
2×sub-neg
1×log-div expm1-log1p flip3-- exp-diff pow1/3 diff-log rem-log-exp flip-- expm1-udef
Counts
4 → 163
Calls
4 calls:
0.0ms
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
1.0ms
(cbrt x)
59.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
27.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series693.0ms

Counts
4 → 12
Calls
4 calls:
212.0ms
(expm1 (log (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
178.0ms
(cbrt x)
154.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
149.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify76.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
06942587
122442028
250011919

prune491.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 15.9b

regimes181.0ms

Accuracy

97.6% (0.3b remaining)

Error of 18.4b against oracle of 18.2b and baseline of 29.4b

bsearch161.0ms

Steps
ItersRangePoint
9
1654.2658435481542
671819857.7007226
18479.8139155515
9
-8.418725182706778e+61
-9.704786708557082e+56
-4.515639086323247e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07049
17049

end0.0ms

sample931.0ms

Algorithm
intervals
Results
324.0ms1684×body1280valid
212.0ms4142×body80valid
192.0ms1253×body640valid
73.0ms610×body320valid
25.0ms311×body160valid