Details

Time bar (total: 1.3s)

analyze2.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%56.2%43.8%0
0%56.2%43.8%1
28.1%28.1%43.8%2
56.2%0%43.8%3
Compiler

Compiled 20 to 16 computations (20% saved)

sample34.0ms (2.7%)

Algorithm
1×intervals
Results
8.0ms179×body128valid
6.0ms35×body1024valid
6.0ms256×pre128true
4.0ms27×body512valid
1.0ms15×body256valid
Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
11119

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 13 to 11 computations (15.4% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
11119
Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
11119

end0.0ms (0%)

sample1.2s (96.2%)

Algorithm
1×intervals
Results
311.0ms5913×body128valid
221.0ms1045×body1024valid
209.0ms8000×pre128true
89.0ms605×body512valid
34.0ms333×body256valid
26.0ms104×body2048valid
Compiler

Compiled 46 to 40 computations (13% saved)

Pareto

0

Profiling

Loading profile data...