Details

Time bar (total: 2.8s)

analyze869.0ms (31.5%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
048408
148408
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.3%24.4%11
31.4%44.3%24.4%12
31.4%44%24.5%13
31.5%43.8%24.8%14
Compiler

Compiled 13 to 12 computations (7.7% saved)

sample53.0ms (1.9%)

Algorithm
intervals
Results
23.0ms83×body1024valid
7.0ms47×body512valid
4.0ms12×body2048valid
4.0ms90×body128valid
2.0ms24×body256valid
Compiler

Compiled 25 to 24 computations (4% saved)

simplify64.0ms (2.3%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
048408
148408

prune6.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 1 (exp.f64 x))

rewrite15.0ms (0.6%)

Algorithm
rewrite-expression-head
Error
0b
Rules
add-log-exp_binary64 *-un-lft-identity_binary64
sum-log_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 flip3-+_binary64 flip-+_binary64 distribute-lft-out_binary64 +-commutative_binary64
Counts
1 → 12
Calls

1 calls:

5.0ms
(+.f64 1 (exp.f64 x))
Compiler

Compiled 133 to 90 computations (32.3% saved)

series34.0ms (1.3%)

Error
0b
Counts
1 → 6
Calls

1 calls:

29.0ms
(+.f64 1 (exp.f64 x))
Compiler

Compiled 94 to 84 computations (10.6% saved)

simplify74.0ms (2.7%)

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04904168
14904168

prune12.0ms (0.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh000
Picked011
Done000
Total18119
Error
0b
Counts
19 → 1
Compiler

Compiled 154 to 108 computations (29.9% saved)

regimes57.0ms (2.1%)

Accuracy

Total 0.0b remaining (11.6%)

Threshold costs 0.0b (11.6%)

Compiler

Compiled 203 to 195 computations (3.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
088
188

end0.0ms (0%)

sample1.6s (56.7%)

Algorithm
intervals
Results
747.0ms2645×body1024valid
195.0ms1278×body512valid
132.0ms3076×body128valid
97.0ms297×body2048valid
69.0ms704×body256valid
0.0msbody128invalid
Compiler

Compiled 45 to 45 computations (0% saved)

Profiling

Loading profile data...