Details

Time bar (total: 950.0ms)

analyze8.0ms (0.9%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
62.5%37.5%0%4
81.2%18.7%0%5
90.6%9.4%0%6
95.3%4.7%0%7
97.6%2.3%0%8
98.8%1.2%0%9
99.4%0.6%0%10
99.7%0.3%0%11
99.8%0.1%0%12
99.9%0.1%0%13
99.9%0%0%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample27.0ms (2.9%)

Algorithm
intervals
Results
8.0ms61×body512valid
7.0ms156×body128valid
3.0ms30×body256valid
2.0msbody1024valid
Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify4.0ms (0.4%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1713

prune8.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 9 to 8 computations (11.1% saved)

simplify4.0ms (0.5%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1713
Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1713

end0.0ms (0%)

sample896.0ms (94.4%)

Algorithm
intervals
Results
268.0ms1997×body512valid
208.0ms4570×body128valid
89.0ms1028×body256valid
69.0ms405×body1024valid
Compiler

Compiled 28 to 26 computations (7.1% saved)

Pareto

0

Profiling

Loading profile data...