Details

analyze518.0ms (12.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
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample102.0ms (2.4%)

Algorithm

1×

intervals

Results

25.0ms	49×	body	1024	valid
24.0ms	64×	body	1024	invalid
13.0ms	161×	body	128	valid
8.0ms	38×	body	512	invalid
7.0ms	31×	body	512	valid
2.0ms	27×	body	128	invalid
2.0ms	14×	body	256	valid
2.0ms	1×	body	2048	valid
2.0ms	12×	body	256	invalid

Compiler

Compiled 23 to 23 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	11	18

prune1.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

0.0b

Counts

2 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	11	18

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	11	18

end0.0ms (0%)

sample3.6s (85.3%)

Algorithm

1×

intervals

Results

1.2s	2007×	body	1024	valid
737.0ms	1975×	body	1024	invalid
413.0ms	4523×	body	128	valid
283.0ms	960×	body	512	valid
258.0ms	973×	body	512	invalid
97.0ms	504×	body	256	valid
91.0ms	482×	body	256	invalid
75.0ms	735×	body	128	invalid
8.0ms	6×	body	2048	valid

Compiler

Compiled 34 to 33 computations (2.9% saved)

Pareto

Details

analyze518.0ms (12.1%)

sample102.0ms (2.4%)

simplify4.0ms (0.1%)

prune1.0ms (0%)

simplify2.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample3.6s (85.3%)

Profiling