Details

Time bar (total: 780.0ms)

sample30.0ms

Algorithm
intervals
Results
15.0ms350×body80valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (21.0ms)

IterNodesCost
0317
1966
23206
39615
427394
550014

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
094
194

end0.0ms

sample679.0ms

Algorithm
intervals
Results
498.0ms10692×body80valid

Profiling

Loading profile data...