Details

Time bar (total: 753.0ms)

analyze11.0ms (1.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample18.0ms (2.4%)

Algorithm
intervals
Results
10.0ms256×body128valid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify105.0ms (13.9%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02011
12011

prune4.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize7.0ms (0.9%)

rewrite1.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0.8%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

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)

simplify3.0ms (0.4%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01611
11611

regimes63.0ms (8.4%)

Compiler

Compiled 94 to 109 computations (-16% saved)

bsearch0.0ms (0.1%)

regimes7.0ms (0.9%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch0.0ms (0%)

regimes6.0ms (0.9%)

Accuracy

Total 0.0b remaining (11.3%)

Threshold costs 0.0b (11.3%)

Compiler

Compiled 4 to 6 computations (-50% saved)

bsearch2.0ms (0.3%)

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify3.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01614
11614

end0.0ms (0%)

sample514.0ms (68.3%)

Algorithm
intervals
Results
295.0ms8000×body128valid
0.0msbody128nan
Compiler

Compiled 28 to 35 computations (-25% saved)

Pareto

0.0

Profiling

Loading profile data...