Details

sample72.0ms

Algorithm

intervals

Results

20.0ms	57×	body	2560	valid
12.0ms	45×	body	1280	valid
11.0ms	187×	body	80	valid
6.0ms	14×	body	5120	valid
5.0ms	21×	body	640	valid
2.0ms	12×	body	320	valid
1.0ms	5×	body	160	valid

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	18	5
1	40	5
2	94	2
3	280	1
4	1319	1
5	5002	1

prune12.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	3	1

end0.0ms

sample2.2s

Algorithm

intervals

Results

665.0ms	1780×	body	2560	valid
389.0ms	1304×	body	1280	valid
365.0ms	5803×	body	80	valid
201.0ms	444×	body	5120	valid
181.0ms	745×	body	640	valid
69.0ms	396×	body	320	valid
32.0ms	234×	body	160	valid

Profiling

Loading profile data...