Details

Time bar (total: 4.3s)

analyze518.0ms (12.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
50%50%0.1%6
50%37.5%12.6%7
50%37.5%12.6%8
50%31.2%18.8%9
50%31.2%18.8%10
50%28.1%22%11
50%28.1%22%12
50%26.5%23.5%13
50%26.5%23.5%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample102.0ms (2.4%)

Algorithm
intervals
Results
25.0ms49×body1024valid
24.0ms64×body1024invalid
13.0ms161×body128valid
8.0ms38×body512invalid
7.0ms31×body512valid
2.0ms27×body128invalid
2.0ms14×body256valid
2.0msbody2048valid
2.0ms12×body256invalid
Compiler

Compiled 23 to 23 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01118
11118

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 11 to 10 computations (9.1% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01118
11118
Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify1.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01118
11118

end0.0ms (0%)

sample3.6s (85.3%)

Algorithm
intervals
Results
1.2s2007×body1024valid
737.0ms1975×body1024invalid
413.0ms4523×body128valid
283.0ms960×body512valid
258.0ms973×body512invalid
97.0ms504×body256valid
91.0ms482×body256invalid
75.0ms735×body128invalid
8.0msbody2048valid
Compiler

Compiled 34 to 33 computations (2.9% saved)

Pareto

0

Profiling

Loading profile data...