Details

Time bar (total: 1.3s)

analyze319.0ms (25.5%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047234
147234
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%0
0%100%0%1
0%100%0%1
0%100%0%2
0%100%0%2
50%50%0%3
50%50%0%3
50%25%25%4
50%25%25%4
50%12.5%37.5%5
50%12.5%37.5%5
56.2%6.2%37.5%6
56.2%6.2%37.5%6
59.3%3.1%37.5%7
59.3%3.1%37.5%7
60.9%1.6%37.5%8
60.9%1.6%37.5%8
61.7%0.8%37.5%9
61.7%0.8%37.5%9
62.1%0.4%37.5%10
62.1%0.4%37.5%10
62.3%0.2%37.5%11
62.3%0.2%37.5%11
62.4%0.1%37.5%12
62.4%0.1%37.5%12
62.4%0%37.5%13
62.4%0%37.5%13
62.4%0%37.5%14
62.4%0%37.5%14
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample125.0ms (10%)

Algorithm
intervals
Results
10.0ms512×body128valid
6.0ms302×body128invalid
Compiler

Compiled 3351 to 2512 computations (25% saved)

simplify178.0ms (14.3%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (173.0ms)

IterNodesCost
047234
147234

prune3.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 6 to 6 computations (0% saved)

localize2.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.5%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Compiler

Compiled 0 to 0 computations (0% saved)

regimes16.0ms (1.3%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 36 to 24 computations (33.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
144

end0.0ms (0%)

sample599.0ms (47.9%)

Algorithm
intervals
Results
166.0ms8000×body128valid
106.0ms4811×body128invalid
Compiler

Compiled 24 to 19 computations (20.8% saved)

Profiling

Loading profile data...