Details

Time bar (total: 1.0s)

analyze88.0ms (8.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14
Compiler

Compiled 21 to 16 computations (23.8% saved)

sample33.0ms (3.3%)

Algorithm
intervals
Results
14.0ms256×body128valid
9.0ms260×pre128true
0.0msbody128invalid
Compiler

Compiled 32 to 27 computations (15.6% saved)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
1916

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 11 to 9 computations (18.2% saved)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
1916
Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify1.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
1916

end0.0ms (0%)

sample889.0ms (87.4%)

Algorithm
intervals
Results
354.0ms8000×body128valid
237.0ms8060×pre128true
3.0ms60×body128invalid
Compiler

Compiled 43 to 36 computations (16.3% saved)

Pareto

0

Profiling

Loading profile data...