Details

Time bar (total: 5.4s)

sample19.0ms

Algorithm
intervals
Results
5.0ms53×body1280valid
3.0ms131×body80valid
2.0ms33×body640valid
1.0ms28×body320valid
0.0ms11×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: 30.0b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
14×*-un-lft-identity
13×add-sqr-sqrt
5×add-cube-cbrt add-log-exp
4×difference-of-squares
3×pow1 add-exp-log add-cbrt-cube distribute-lft-out--
2×cbrt-div pow1/3 distribute-lft-out
1×sub-neg flip3-- flip3-+ diff-log flip-- flip-+
Counts
3 → 44
Calls
3 calls:
4.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
41.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series405.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(cbrt (+ x 1.0))
181.0ms
(cbrt x)
142.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify162.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0287358
1934344
24833322
35001322

prune155.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 11.2b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.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 add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip-- difference-of-squares
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
27.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

series691.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(cbrt x)
174.0ms
(cbrt x)
174.0ms
(cbrt x)
169.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

simplify142.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0243356
1829292
24198276
35001276

prune198.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 11.2b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip-- difference-of-squares
Counts
4 → 55
Calls
4 calls:
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
23.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

series890.0ms

Counts
4 → 12
Calls
4 calls:
247.0ms
(cbrt (cbrt x))
236.0ms
(cbrt (cbrt x))
238.0ms
(cbrt (cbrt x))
169.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

simplify112.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0259461
1778404
23586379
35001379

prune296.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 11.2b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt x))
0.6b
(cbrt (cbrt x))
0.6b
(cbrt (cbrt x))
4.0b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
35×cbrt-prod
18×add-sqr-sqrt
17×*-un-lft-identity
10×add-cube-cbrt
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube difference-of-squares
3×pow1/3 distribute-lft-out--
1×sub-neg flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
42.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series887.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(cbrt (cbrt x))
251.0ms
(cbrt (cbrt x))
245.0ms
(cbrt (cbrt x))
141.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify129.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0259432
1796405
24101386
35002386

prune458.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 11.1b

regimes70.0ms

Accuracy

99.3% (0.1b remaining)

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

bsearch113.0ms

Steps
ItersRangePoint
11
1.661404138935296e-22
2.5556453819330236
1.3897729973092039e-06
9
-3.6176712773181885e+65
-2.6772928612991434e+57
-4.53999343152509e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07972
18672
28672

end0.0ms

sample502.0ms

Algorithm
intervals
Results
161.0ms1731×body1280valid
86.0ms1233×body640valid
81.0ms4082×body80valid
38.0ms672×body320valid
10.0ms282×body160valid