Details

Time bar (total: 4.7s)

sample21.0ms

Algorithm
intervals
Results
7.0ms59×body1280valid
4.0ms38×body640valid
3.0ms129×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: 30.1b

Counts
2 → 1

localize6.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))

rewrite13.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))

series416.0ms

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

simplify169.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0287358
1934344
24839322
35001322

prune145.0ms

Filtered
53 candidates to 45 candidates (84.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New431053
Fresh000
Picked101
Done000
Total441054

Merged error: 9.8b

Counts
54 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

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

series607.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(cbrt (+ x 1.0))
174.0ms
(cbrt x)
151.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
194.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

simplify57.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0467711
11664676
25001672

prune245.0ms

Filtered
77 candidates to 64 candidates (83.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New70777
Fresh369
Picked101
Done000
Total741387

Merged error: 9.7b

Counts
87 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

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

series620.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(cbrt (+ x 1.0))
182.0ms
(cbrt x)
147.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
200.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

simplify50.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0467711
11664676
25001672

prune303.0ms

Filtered
77 candidates to 64 candidates (83.1%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New72577
Fresh3912
Picked011
Done000
Total751590

Merged error: 9.7b

Counts
90 → 15

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod add-sqr-sqrt
20×*-un-lft-identity
8×add-log-exp difference-of-squares
6×add-cube-cbrt distribute-lft-out--
4×pow1 add-exp-log add-cbrt-cube
2×sub-neg flip3-- pow1/3 diff-log flip-- distribute-lft-out
Counts
4 → 60
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series677.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt x)
181.0ms
(cbrt x)
157.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
151.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify133.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0234488
1748464
23971438
35002438

prune385.0ms

Filtered
72 candidates to 60 candidates (83.3%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New70272
Fresh01313
Picked101
Done101
Total721587

Merged error: 9.7b

Counts
87 → 15

regimes87.0ms

Accuracy

98.7% (0.2b remaining)

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

bsearch93.0ms

Steps
ItersRangePoint
10
1.4358440906352691e-08
58326792.95653587
3.230600590589438e-06
8
-1.0216193140353141e+65
-3.0639605964270753e+61
-4.4208943159679293e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06342
16742
26742

end0.0ms

sample557.0ms

Algorithm
intervals
Results
207.0ms1767×body1280valid
105.0ms1216×body640valid
94.0ms4078×body80valid
40.0ms629×body320valid
13.0ms310×body160valid

Profiling

Loading profile data...