Details

analyze1.4s (64.9%)

Algorithm

1×

search

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
9.4%	90.4%	0.2%	6
17.2%	82.7%	0.2%	7
19.5%	80.3%	0.2%	8
30.8%	69%	0.2%	9
35.5%	64.3%	0.2%	10
42.4%	57.4%	0.2%	11
47.1%	52.7%	0.2%	12
48.9%	50.8%	0.3%	13
50%	49.7%	0.4%	14

Compiler

Compiled 38 to 20 computations (47.4% saved)

sample135.0ms (6.4%)

Algorithm

1×

intervals

Results

47.0ms	61×	body	1280	invalid
32.0ms	243×	body	80	valid
18.0ms	36×	body	640	invalid
6.0ms	17×	body	320	invalid
3.0ms	4×	body	1280	valid
2.0ms	18×	body	80	invalid
2.0ms	4×	body	640	valid
2.0ms	8×	body	160	invalid
1.0ms	4×	body	160	valid
0.0ms	1×	body	320	valid

Compiler

Compiled 75 to 43 computations (42.7% saved)

simplify603.0ms (28.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4938	72
1	4938	72

prune1.0ms (0%)

Profiling

Loading profile data...