Details

Time bar (total: 5.2s)

sample18.0ms

Algorithm
intervals
Results
5.0ms49×body1280valid
3.0ms42×body640valid
3.0ms144×body80valid
1.0ms12×body320valid
1.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 (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 26.5b

Counts
2 → 1

localize5.0ms

Local error

Found 3 expressions with local error:

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

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

series438.0ms

Counts
3 → 9
Calls
3 calls:
93.0ms
(cbrt (+ x 1.0))
188.0ms
(cbrt x)
156.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify151.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0285358
1913344
24502322
35001322

prune135.0ms

Filtered
53 candidates to 45 candidates (15.1%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New411253
Fresh000
Picked101
Done000
Total421254

Merged error: 9.6b

Counts
54 → 12

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.0b
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt *-un-lft-identity
23×cbrt-prod
11×log-pow
10×exp-prod
8×add-cube-cbrt difference-of-squares
6×distribute-lft-out-- add-log-exp
5×pow1 add-exp-log log-prod
4×add-cbrt-cube
3×distribute-lft-out
2×sub-neg cbrt-div pow1/3 rem-log-exp exp-sum
1×log-div flip3-- flip3-+ exp-diff diff-log flip-- flip-+
Counts
4 → 70
Calls
4 calls:
3.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
9.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series595.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(cbrt (+ x 1.0))
181.0ms
(cbrt x)
160.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
159.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify165.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0334568
11004536
24674505
35001505

prune212.0ms

Filtered
82 candidates to 66 candidates (19.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New76682
Fresh3811
Picked101
Done000
Total801494

Merged error: 9.6b

Counts
94 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
241×add-sqr-sqrt
137×cbrt-prod
81×difference-of-squares
72×unswap-sqr
46×swap-sqr
44×*-un-lft-identity
18×*-commutative
11×distribute-lft-out--
8×associate-*l*
7×add-cube-cbrt
6×add-log-exp
5×distribute-lft-out
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip--
Counts
4 → 137
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
48.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

series756.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt x)
194.0ms
(cbrt x)
185.0ms
(cbrt x)
194.0ms
(- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))

simplify146.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
04091796
110841724
241771697
350021697

prune225.0ms

Filtered
149 candidates to 69 candidates (53.7%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1463149
Fresh6713
Picked011
Done000
Total15211163

Merged error: 9.5b

Counts
163 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

2.0b
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
2.0b
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
38×*-un-lft-identity
32×cbrt-prod
26×log-pow
22×sqrt-pow1
20×exp-prod
16×log-prod difference-of-squares
12×distribute-lft-out--
10×add-cube-cbrt sqrt-prod
8×pow1 add-log-exp
6×add-exp-log
4×sub-neg exp-sum add-cbrt-cube distribute-lft-out
2×log-div flip3-- pow1/2 exp-diff sqrt-div diff-log rem-log-exp flip--
Counts
4 → 98
Calls
4 calls:
10.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
10.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series891.0ms

Counts
4 → 12
Calls
4 calls:
286.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
281.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
164.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
160.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify154.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 3 (143.0ms)

IterNodesCost
03581078
110191004
24334962
35003958

prune356.0ms

Filtered
110 candidates to 86 candidates (21.8%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1100110
Fresh099
Picked011
Done011
Total11011121

Merged error: 9.5b

Counts
121 → 11

regimes120.0ms

Accuracy

99.2% (0.1b remaining)

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

bsearch106.0ms

Steps
ItersRangePoint
9
4.5345640266208256e-12
0.0004381094517774334
8.65179160556371e-09
11
-2.733417368184106e+69
-9.249404424269967e+45
-4.511750183261375e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06738
17438
27438

end0.0ms

sample502.0ms

Algorithm
intervals
Results
179.0ms1712×body1280valid
96.0ms1270×body640valid
85.0ms4084×body80valid
35.0ms620×body320valid
12.0ms314×body160valid