Details

analyze2.3s (31.9%)

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 31 to 19 computations (38.7% saved)

sample150.0ms (2%)

Algorithm

1×

intervals

Results

72.0ms	65×	body	1024	valid
30.0ms	143×	body	128	valid
17.0ms	26×	body	512	valid
9.0ms	19×	body	256	valid
5.0ms	3×	body	2048	valid

Compiler

Compiled 61 to 40 computations (34.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	50
1	19	50

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

0.1b

Counts

2 → 1

Compiler

Compiled 30 to 18 computations (40% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	50
1	19	50

Compiler

Compiled 30 to 18 computations (40% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	50
1	19	50

end0.0ms (0%)

sample4.8s (65.8%)

Algorithm

1×

intervals

Results

2.4s	1989×	body	1024	valid
975.0ms	4515×	body	128	valid
771.0ms	1002×	body	512	valid
228.0ms	487×	body	256	valid
15.0ms	7×	body	2048	valid

Compiler

Compiled 91 to 58 computations (36.3% saved)

Pareto

Details

analyze2.3s (31.9%)

sample150.0ms (2%)

simplify5.0ms (0.1%)

prune4.0ms (0.1%)

simplify6.0ms (0.1%)

simplify3.0ms (0%)

end0.0ms (0%)

sample4.8s (65.8%)

Profiling