Details

analyze581.0ms (24.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample42.0ms (1.8%)

Algorithm

1×

intervals

Results

10.0ms	185×	body	128	valid
7.0ms	21×	body	4096	valid
6.0ms	21×	body	2048	valid
4.0ms	256×	pre	128	true
3.0ms	15×	body	1024	valid
1.0ms	9×	body	512	valid
1.0ms	5×	body	256	valid

Compiler

Compiled 33 to 28 computations (15.2% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	13	23

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

38.9b

Counts

2 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	13	23

Compiler

Compiled 15 to 12 computations (20% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	13	23

end0.0ms (0%)

sample1.8s (73.5%)

Algorithm

1×

intervals

Results

483.0ms	6065×	body	128	valid
257.0ms	547×	body	4096	valid
230.0ms	595×	body	2048	valid
183.0ms	8000×	pre	128	true
126.0ms	406×	body	1024	valid
59.0ms	258×	body	512	valid
19.0ms	129×	body	256	valid

Compiler

Compiled 48 to 40 computations (16.7% saved)

Pareto

Details

analyze581.0ms (24.2%)

sample42.0ms (1.8%)

simplify4.0ms (0.2%)

prune3.0ms (0.1%)

simplify4.0ms (0.2%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.8s (73.5%)

Profiling