Details

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

Compiler

Compiled 16 to 12 computations (25% saved)

Algorithm

1×

intervals

Results

11.0ms	256×	body	80	valid
1.0ms	18×	body	80	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (275.0ms)

Iter	Nodes	Cost
0	4825	30
1	4825	30

Profiling