Details

Time bar (total: 1.4s)

sample40.0ms

Algorithm
intervals
Results
12.0ms225×body80valid
6.0ms30×body640valid
5.0ms15×body1280valid
2.0ms15×body320valid
1.0ms15×body160valid
1.0ms30×body80overflowed

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (11.0ms)

IterNodesCost
0289
1609
21149
32519
48288
532858
650018

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 18.0b

Counts
2 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0199
1229
2239
3239

end0.0ms

sample1.2s

Algorithm
intervals
Results
308.0ms6812×body80valid
217.0ms957×body640valid
192.0ms492×body1280valid
108.0ms690×body320valid
54.0ms1293×body80overflowed
38.0ms387×body160valid
2.0msbody2560valid

Profiling

Loading profile data...