Details

sample229.0ms

Algorithm

intervals

Results

60.0ms	95×	body	1280	valid
29.0ms	68×	body	640	valid
27.0ms	53×	body	1280	nan
20.0ms	19×	body	2560	valid
15.0ms	171×	body	80	valid
13.0ms	47×	body	640	nan
11.0ms	36×	body	320	valid
9.0ms	66×	body	80	overflowed
6.0ms	31×	body	320	nan
3.0ms	17×	body	160	valid
2.0ms	4×	body	320	overflowed
2.0ms	12×	body	160	nan
1.0ms	24×	body	80	nan
1.0ms	4×	body	160	overflowed

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	7
1	54	7
2	154	7
3	580	7
4	2594	7
5	5001	7

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

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

sample6.9s

Algorithm

intervals

Results

1.8s	2711×	body	1280	valid
977.0ms	2121×	body	640	valid
770.0ms	711×	body	2560	valid
740.0ms	1835×	body	1280	nan
442.0ms	4977×	body	80	valid
420.0ms	1472×	body	640	nan
324.0ms	1046×	body	320	valid
248.0ms	1787×	body	80	overflowed
164.0ms	778×	body	320	nan
98.0ms	491×	body	160	valid
50.0ms	397×	body	160	nan
36.0ms	82×	body	320	overflowed
32.0ms	580×	body	80	nan
19.0ms	66×	body	160	overflowed
1.0ms	2×	body	640	overflowed

Profiling

Loading profile data...