Details

sample1.5s

Algorithm

intervals

Results

960.0ms	125×	body	5120	exit
277.0ms	1422×	body	80	overflowed
97.0ms	39×	body	1280	valid
44.0ms	35×	body	640	valid
23.0ms	155×	body	80	valid
12.0ms	17×	body	320	valid
7.0ms	14×	body	160	valid
6.0ms	1×	body	5120	valid
1.0ms	2×	body	160	overflowed

simplify31.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	25
1	147	25
2	850	25
3	5001	25

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

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	25
1	26	25

end0.0ms

sample53.8s

Algorithm

intervals

Results

34.9s	4590×	body	5120	exit
9.9s	51128×	body	80	overflowed
3.3s	1333×	body	1280	valid
1.4s	1097×	body	640	valid
726.0ms	4846×	body	80	valid
367.0ms	504×	body	320	valid
127.0ms	300×	body	160	valid
87.0ms	11×	body	5120	valid
23.0ms	7×	body	2560	valid
10.0ms	8×	body	640	overflowed
6.0ms	11×	body	160	overflowed
2.0ms	3×	body	320	overflowed

Profiling

Loading profile data...