Details

sample219.0ms

Algorithm

intervals

Results

68.0ms	106×	body	1280	valid
31.0ms	63×	body	640	valid
21.0ms	53×	body	1280	nan
17.0ms	16×	body	2560	valid
13.0ms	44×	body	640	nan
12.0ms	145×	body	80	valid
11.0ms	48×	body	80	overflowed
8.0ms	26×	body	320	valid
4.0ms	21×	body	320	nan
3.0ms	16×	body	160	valid
1.0ms	11×	body	160	nan
1.0ms	16×	body	80	nan
1.0ms	2×	body	320	overflowed

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	6
1	38	6
2	89	6
3	278	6
4	1134	6
5	5001	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: 25.8b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	6
1	11	6

end0.0ms

sample6.8s

Algorithm

intervals

Results

1.7s	2590×	body	1280	valid
989.0ms	2184×	body	640	valid
758.0ms	693×	body	2560	valid
739.0ms	1831×	body	1280	nan
448.0ms	5049×	body	80	valid
427.0ms	1548×	body	640	nan
321.0ms	1045×	body	320	valid
264.0ms	1818×	body	80	overflowed
156.0ms	761×	body	320	nan
94.0ms	486×	body	160	valid
48.0ms	402×	body	160	nan
40.0ms	91×	body	320	overflowed
34.0ms	643×	body	80	nan
16.0ms	57×	body	160	overflowed
2.0ms	4×	body	640	overflowed

Profiling

Loading profile data...