Details

analyze1.4s (41.5%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample49.0ms (1.4%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
10.0ms	98×	body	128	invalid
4.0ms	70×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	13	22

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

2.1b

Counts

2 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	13	22

Compiler

Compiled 15 to 12 computations (20% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	13	22

end0.0ms (0%)

sample1.9s (56.8%)

Algorithm

1×

intervals

Results

762.0ms	8000×	body	128	valid
424.0ms	3302×	body	128	invalid
142.0ms	1981×	body	128	nan

Compiler

Compiled 46 to 40 computations (13% saved)

Pareto

Details

analyze1.4s (41.5%)

sample49.0ms (1.4%)

simplify3.0ms (0.1%)

prune2.0ms (0.1%)

simplify3.0ms (0.1%)

simplify1.0ms (0%)

end0.0ms (0%)

sample1.9s (56.8%)

Profiling