Details

sample236.0ms

Algorithm

intervals

Results

44.0ms	1041×	body	80	nan
34.0ms	106×	body	1280	valid
32.0ms	455×	body	80	overflowed
22.0ms	88×	body	1280	nan
21.0ms	76×	body	640	valid
11.0ms	64×	body	640	nan
7.0ms	42×	body	320	valid
6.0ms	47×	body	320	nan
2.0ms	19×	body	160	valid
2.0ms	18×	body	160	nan
1.0ms	13×	body	80	valid

simplify187.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	22	4
2	39	4
3	85	4
4	250	4
5	1243	4
6	4964	4
7	5001	4

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

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4

end0.0ms

sample7.6s

Algorithm

intervals

Results

1.5s	33454×	body	80	nan
1.1s	15422×	body	80	overflowed
1.1s	3227×	body	1280	valid
746.0ms	2918×	body	1280	nan
563.0ms	2428×	body	640	valid
457.0ms	2514×	body	640	nan
214.0ms	1264×	body	320	valid
168.0ms	1298×	body	320	nan
72.0ms	620×	body	160	valid
57.0ms	627×	body	160	nan
32.0ms	461×	body	80	valid

Profiling

Loading profile data...