Details

analyze2.1s (21.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample194.0ms (1.9%)

Algorithm

1×

intervals

Results

51.0ms	41×	body	1024	invalid
47.0ms	43×	body	1024	valid
25.0ms	159×	body	128	valid
25.0ms	33×	body	512	valid
12.0ms	15×	body	512	invalid
7.0ms	18×	body	256	valid
5.0ms	3×	body	2048	valid
3.0ms	20×	body	128	invalid
1.0ms	4×	body	256	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	34
1	16	34

prune3.0ms (0%)

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

21.1b

Counts

2 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	16	34

Compiler

Compiled 21 to 19 computations (9.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	16	34

end0.0ms (0%)

sample7.8s (76.8%)

Algorithm

1×

intervals

Results

2.4s	1654×	body	1024	valid
1.8s	1355×	body	1024	invalid
902.0ms	4948×	body	128	valid
686.0ms	804×	body	512	valid
581.0ms	662×	body	512	invalid
363.0ms	184×	body	2048	valid
190.0ms	374×	body	256	invalid
185.0ms	409×	body	256	valid
110.0ms	580×	body	128	invalid
6.0ms	1×	body	4096	valid

Compiler

Compiled 64 to 61 computations (4.7% saved)

Pareto

Details

analyze2.1s (21.1%)

sample194.0ms (1.9%)

simplify5.0ms (0%)

prune3.0ms (0%)

simplify5.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample7.8s (76.8%)

Profiling