Details

sample93.0ms

Algorithm

intervals

Results

41.0ms	74×	body	1280	valid
17.0ms	367×	body	80	nan
8.0ms	182×	body	80	valid
5.0ms	111×	body	80	overflowed

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	6
1	21	6
2	33	6
3	69	6
4	180	6
5	566	6
6	2506	6
7	5002	6

prune3.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	0	2	2

Merged error: 0.5b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	6
1	13	6

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.5s	2633×	body	1280	valid
400.0ms	10566×	body	80	nan
249.0ms	5353×	body	80	valid
112.0ms	2589×	body	80	overflowed
1.0ms	9×	body	160	valid
1.0ms	2×	body	640	valid
1.0ms	3×	body	320	valid

Profiling

Loading profile data...