Details

sample60.0ms

Algorithm

intervals

Results

11.0ms	35×	body	2560	valid
9.0ms	174×	body	80	valid
8.0ms	26×	body	1280	valid
5.0ms	98×	body	80	nan
3.0ms	16×	body	640	valid
2.0ms	5×	body	5120	valid
1.0ms	9×	body	320	valid
0.0ms	5×	body	160	valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	9
1	64	9
2	114	9
3	135	9
4	144	9
5	148	9
6	148	9

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: 36.2b

Counts

2 → 1

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	9
1	17	9

end0.0ms

sample1.6s

Algorithm

intervals

Results

332.0ms	1097×	body	2560	valid
307.0ms	5807×	body	80	valid
232.0ms	926×	body	1280	valid
151.0ms	2905×	body	80	nan
82.0ms	425×	body	640	valid
46.0ms	125×	body	5120	valid
33.0ms	223×	body	320	valid
10.0ms	101×	body	160	valid

Profiling

Loading profile data...