Details

sample232.0ms

Algorithm

intervals

Results

51.0ms	78×	body	1280	valid
35.0ms	64×	body	1280	nan
25.0ms	58×	body	640	valid
17.0ms	16×	body	2560	nan
16.0ms	12×	body	2560	valid
14.0ms	267×	body	80	nan
13.0ms	41×	body	640	nan
9.0ms	120×	body	80	valid
7.0ms	31×	body	320	valid
7.0ms	99×	body	80	overflowed
2.0ms	12×	body	320	nan
1.0ms	10×	body	160	valid
1.0ms	7×	body	160	nan

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	25	9
1	44	7
2	69	7
3	126	7
4	294	7
5	882	7
6	4222	7
7	5001	7

prune8.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: 33.4b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	7
1	12	7

end0.0ms

sample7.0s

Algorithm

intervals

Results

1.7s	2573×	body	1280	valid
1.0s	1738×	body	1280	nan
682.0ms	1765×	body	640	valid
554.0ms	424×	body	2560	valid
450.0ms	444×	body	2560	nan
441.0ms	8191×	body	80	nan
319.0ms	926×	body	640	nan
262.0ms	3576×	body	80	valid
252.0ms	3619×	body	80	overflowed
210.0ms	840×	body	320	valid
92.0ms	420×	body	320	nan
65.0ms	422×	body	160	valid
29.0ms	205×	body	160	nan

Profiling

Loading profile data...