Details

Time bar (total: 1.1s)

analyze130.0ms (12%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
75%25%0%3
87.5%12.5%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample11.0ms (1%)

Algorithm
intervals
Results
5.0ms256×body128valid
Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify7.0ms (0.6%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
084
184

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 6 to 6 computations (0% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 x 1/3)

rewrite11.0ms (1.1%)

Algorithm
rewrite-expression-head
Error
0b
Rules
add-log-exp_binary64_6937 *-un-lft-identity_binary64_6898
sum-log_binary64_6989 pow1_binary64_6959 add-exp-log_binary64_6936 add-cbrt-cube_binary64_6934 add-cube-cbrt_binary64_6933 add-sqr-sqrt_binary64_6920 flip3-+_binary64_6901 flip-+_binary64_6872 distribute-lft-out_binary64_6849 +-commutative_binary64_6828
Counts
1 → 12
Calls

1 calls:

3.0ms
(+.f64 x 1/3)
Compiler

Compiled 99 to 77 computations (22.2% saved)

series27.0ms (2.5%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

24.0ms
(+.f64 x 1/3)
Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify102.0ms (9.4%)

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04778104
14778104

prune18.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New17118
Fresh000
Picked011
Done000
Total17219
Error
0b
Counts
19 → 2
Compiler

Compiled 101 to 78 computations (22.8% saved)

localize4.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 1/3 x)
0.3b
(log.f64 (exp.f64 (+.f64 1/3 x)))

rewrite33.0ms (3%)

Algorithm
rewrite-expression-head
Error
0b
Rules
*-un-lft-identity_binary64_6898
log-pow_binary64_6987
add-cube-cbrt_binary64_6933 exp-prod_binary64_6950 add-sqr-sqrt_binary64_6920 log-prod_binary64_6984 add-log-exp_binary64_6937
pow1_binary64_6959
distribute-lft-out_binary64_6849 add-exp-log_binary64_6936 add-cbrt-cube_binary64_6934
exp-sum_binary64_6944 rem-log-exp_binary64_6939 sum-log_binary64_6989 flip3-+_binary64_6901 flip-+_binary64_6872 +-commutative_binary64_6828
Counts
2 → 29
Calls

2 calls:

4.0ms
(log.f64 (exp.f64 (+.f64 1/3 x)))
3.0ms
(+.f64 1/3 x)
Compiler

Compiled 300 to 249 computations (17% saved)

series136.0ms (12.6%)

Error
0b
Counts
2 → 10
Calls

2 calls:

99.0ms
(log.f64 (exp.f64 (+.f64 1/3 x)))
28.0ms
(+.f64 1/3 x)
Compiler

Compiled 114 to 107 computations (6.1% saved)

simplify79.0ms (7.3%)

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04789246
14789246

prune41.0ms (3.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New39039
Fresh000
Picked011
Done011
Total39241
Error
0b
Counts
41 → 2
Compiler

Compiled 273 to 220 computations (19.4% saved)

regimes36.0ms (3.3%)

Accuracy

Total 0.0b remaining (31%)

Threshold costs 0.0b (31%)

Compiler

Compiled 68 to 71 computations (-4.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.4%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
054
154

end0.0ms (0%)

sample435.0ms (40.4%)

Algorithm
intervals
Results
153.0ms8000×body128valid
Compiler

Compiled 29 to 31 computations (-6.9% saved)

Profiling

Loading profile data...