Details

Time bar (total: 5.2s)

sample20.0ms

Algorithm
intervals
Results
6.0ms62×body1280valid
3.0ms38×body640valid
3.0ms119×body80valid
1.0ms23×body320valid
1.0ms14×body160valid

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

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.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:
3.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
9.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series420.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(cbrt (+ x 1.0))
176.0ms
(cbrt x)
155.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify55.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
04301315
113941045
25001981

prune251.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 21.7b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
3.7b
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×pow1/3
1×sub-neg flip3-- fma-neg diff-log prod-diff flip-- difference-of-squares
Counts
4 → 56
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
15.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

series718.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt x)
178.0ms
(cbrt x)
178.0ms
(cbrt x)
178.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

simplify147.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 3 (142.0ms)

IterNodesCost
0260403
1906328
24583314
35001311

prune247.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 14.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.3b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
32.3b
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
11×cbrt-prod *-un-lft-identity
7×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log expm1-log1p-u cbrt-div add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
2×flip3-+ flip-+ distribute-lft-out
1×fma-udef
Counts
4 → 55
Calls
4 calls:
3.0ms
(cbrt (+ x 1.0))
3.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
1.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

series604.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(cbrt (+ x 1.0))
88.0ms
(cbrt (+ x 1.0))
178.0ms
(cbrt x)
251.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

simplify107.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
0340532
11019485
23653455
35001446

prune305.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 14.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
32.3b
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
32.3b
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
32.3b
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×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×cbrt-prod fma-udef
1×pow1/3
Counts
4 → 43
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
1.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
1.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt x)
246.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
241.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))
455.0ms
(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (- (cbrt x)))

simplify69.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 3 (62.0ms)

IterNodesCost
0216754
1608667
22243641
35001632

prune294.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.1b

regimes112.0ms

Accuracy

98.8% (0.2b remaining)

Error of 12.0b against oracle of 11.7b and baseline of 30.2b

bsearch84.0ms

Steps
ItersRangePoint
4
2508.7920307595837
4050.4462513149238
3520.502612999025
9
-4.331403552570957e+63
-1.0403327671093588e+58
-4.469039200229726e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07951
17951

end0.0ms

sample513.0ms

Algorithm
intervals
Results
173.0ms1682×body1280valid
112.0ms1267×body640valid
84.0ms4063×body80valid
39.0ms664×body320valid
13.0ms324×body160valid