Details

sample328.0ms

Algorithm

intervals

Results

161.0ms	84×	body	1280	valid
49.0ms	52×	body	640	valid
39.0ms	9×	body	2560	valid
17.0ms	134×	body	80	valid
11.0ms	24×	body	320	valid
5.0ms	63×	body	80	nan
4.0ms	3×	body	1280	overflowed
4.0ms	15×	body	160	valid
4.0ms	30×	body	80	overflowed
3.0ms	3×	body	640	overflowed
1.0ms	2×	body	320	overflowed
0.0ms	1×	body	160	overflowed

simplify46.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	13
1	116	13
2	365	13
3	1389	13
4	5001	13

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

Counts

2 → 1

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	13
1	36	13
2	42	13
3	48	13
4	52	13
5	58	13
6	58	13

end0.0ms

sample9.5s

Algorithm

intervals

Results

4.5s	2375×	body	1280	valid
1.5s	1724×	body	640	valid
1.1s	293×	body	2560	valid
522.0ms	4217×	body	80	valid
419.0ms	884×	body	320	valid
144.0ms	139×	body	640	overflowed
127.0ms	441×	body	160	valid
121.0ms	1659×	body	80	nan
113.0ms	791×	body	80	overflowed
82.0ms	43×	body	1280	overflowed
60.0ms	103×	body	320	overflowed
14.0ms	42×	body	160	overflowed

Profiling

Loading profile data...