Details

Time bar (total: 4.0s)

analyze1.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1

sample19.0ms

Algorithm
intervals
Results
6.0ms67×body1024valid
3.0ms45×body512valid
3.0ms119×body128valid
1.0ms9×body2048valid
1.0ms16×body256valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
07111
17111

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 34.8b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt.f64 (+.f64 x 1))
0.6b
(cbrt.f64 x)
2.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod_binary64
14×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
5×add-log-exp_binary64 add-cube-cbrt_binary64
4×difference-of-squares_binary64
3×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64
2×cbrt-div_binary64 distribute-lft-out_binary64 pow1/3_binary64
1×flip3-+_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 flip--_binary64 flip-+_binary64
Counts
3 → 43
Calls
3 calls:
3.0ms
(cbrt.f64 (+.f64 x 1))
1.0ms
(cbrt.f64 x)
9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series315.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(cbrt.f64 (+.f64 x 1))
157.0ms
(cbrt.f64 x)
113.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

simplify82.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
04837734
14837734

prune53.0ms

Filtered
45 candidates to 52 candidates (-15.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New48452
Fresh000
Picked101
Done000
Total49453

Merged error: 0.3b

Counts
53 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b
(/.f64 -1/9 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 (neg.f64 x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
16×cbrt-prod_binary64
9×times-frac_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64 pow1_binary64
3×associate-/r*_binary64 pow1/3_binary64 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 associate-/l*_binary64
1×cbrt-undiv_binary64 neg-mul-1_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
4 → 67
Calls
4 calls:
3.0ms
(/.f64 -1/9 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
2.0ms
(cbrt.f64 (neg.f64 x))

series497.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/.f64 -1/9 x)
137.0ms
(cbrt.f64 x)
163.0ms
(cbrt.f64 x)
177.0ms
(cbrt.f64 (neg.f64 x))

simplify41.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05509601

prune82.0ms

Filtered
62 candidates to 79 candidates (-27.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New76379
Fresh033
Picked011
Done000
Total76783

Merged error: 0.2b

Counts
83 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (neg.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
37×cbrt-prod_binary64
13×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
1×neg-mul-1_binary64
Counts
4 → 60
Calls
4 calls:
2.0ms
(cbrt.f64 (neg.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))

series782.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(cbrt.f64 (neg.f64 x))
201.0ms
(cbrt.f64 (cbrt.f64 x))
211.0ms
(cbrt.f64 (cbrt.f64 x))
202.0ms
(cbrt.f64 (cbrt.f64 x))

simplify96.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
04765652
14765652

prune101.0ms

Filtered
62 candidates to 72 candidates (-16.1%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New67572
Fresh055
Picked011
Done011
Total671279

Merged error: 0.2b

Counts
79 → 12

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
Counts
4 → 56
Calls
4 calls:
2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))

series941.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(cbrt.f64 (cbrt.f64 x))
202.0ms
(cbrt.f64 (cbrt.f64 x))
336.0ms
(cbrt.f64 (cbrt.f64 x))
203.0ms
(cbrt.f64 (cbrt.f64 x))

simplify114.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
04696632
14696632

prune97.0ms

Filtered
60 candidates to 68 candidates (-13.3%)
Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New65368
Fresh189
Picked011
Done022
Total661480

Merged error: 0.2b

Counts
80 → 14

regimes62.0ms

Accuracy

99.4% (0.2b remaining)

Error of 0.4b against oracle of 0.2b and baseline of 31.0b

bsearch36.0ms

Steps
ItersRangePoint
9
7.089942304529777
7753849.616224212
76227.4301677554
11
-453777075337401.75
-4.246552780104542e-19
-71136.05163775448

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09573
19573

end0.0ms

sample530.0ms

Algorithm
intervals
Results
205.0ms2076×body1024valid
104.0ms4144×body128valid
75.0ms1053×body512valid
30.0ms235×body2048valid
23.0ms492×body256valid

Profiling

Loading profile data...