Details

sample298.0ms

Algorithm

intervals

Results

70.0ms	80×	body	1280	valid
60.0ms	48×	body	2560	valid
43.0ms	251×	body	80	nan
36.0ms	48×	body	640	valid
30.0ms	154×	body	80	overflowed
9.0ms	17×	body	320	valid
7.0ms	51×	body	80	valid
4.0ms	12×	body	160	valid
1.0ms	2×	body	160	nan

simplify113.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	13
1	117	13
2	320	13
3	1023	13
4	4142	13
5	5001	13

prune4.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: 39.8b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	13
1	24	13

end0.0ms

sample8.7s

Algorithm

intervals

Results

2.2s	2389×	body	1280	valid
1.7s	1293×	body	2560	valid
1.1s	1450×	body	640	valid
1.0s	6910×	body	80	nan
928.0ms	4591×	body	80	overflowed
427.0ms	777×	body	320	valid
261.0ms	1737×	body	80	valid
124.0ms	354×	body	160	valid
23.0ms	50×	body	160	nan

Profiling

Loading profile data...