Details

sample365.0ms

Algorithm

intervals

Results

122.0ms	69×	body	5120	exit
34.0ms	29×	body	1280	valid
32.0ms	387×	body	80	nan
28.0ms	323×	body	80	valid
28.0ms	23×	body	1280	nan
27.0ms	47×	body	640	nan
25.0ms	44×	body	640	valid
10.0ms	35×	body	320	valid
10.0ms	35×	body	320	nan
7.0ms	76×	body	80	overflowed
4.0ms	24×	body	160	nan
3.0ms	17×	body	160	valid

simplify132.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	4
1	38	4
2	84	4
3	237	4
4	850	4
5	4577	4
6	5001	4

prune5.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: 29.8b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	12	4
2	12	4

end0.0ms

sample9.7s

Algorithm

intervals

Results

3.2s	1807×	body	5120	exit
876.0ms	10610×	body	80	nan
820.0ms	10289×	body	80	valid
807.0ms	707×	body	1280	valid
782.0ms	1411×	body	640	valid
689.0ms	1245×	body	640	nan
661.0ms	556×	body	1280	nan
295.0ms	994×	body	320	nan
289.0ms	996×	body	320	valid
190.0ms	1891×	body	80	overflowed
96.0ms	574×	body	160	valid
88.0ms	521×	body	160	nan

Profiling

Loading profile data...