Details

analyze4.0ms (0.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
62.5%	37.5%	0%	4
81.2%	18.7%	0%	5
90.6%	9.4%	0%	6
95.3%	4.7%	0%	7
97.6%	2.3%	0%	8
98.8%	1.2%	0%	9
99.4%	0.6%	0%	10
99.7%	0.3%	0%	11
99.8%	0.1%	0%	12
99.9%	0.1%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample15.0ms (2.6%)

Algorithm

1×

intervals

Results

4.0ms	156×	body	128	valid
4.0ms	58×	body	512	valid
2.0ms	34×	body	256	valid
1.0ms	8×	body	1024	valid

Compiler

Compiled 19 to 18 computations (5.3% saved)

prune1.0ms (0.2%)

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

14.1b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize5.0ms (0.9%)

Local error

Found 4 expressions with local error:

2.9b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(/.f64 1 (+.f64 x 1))
2.9b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

rewrite1.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

2 → 0

Calls

4 calls:

1.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
0.0ms	(/.f64 1 (+.f64 x 1))
0.0ms	(/.f64 1 (+.f64 x 1))
0.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

prune1.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	0	0
Done	1	1
Total	1	1

Error

14.1b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample531.0ms (95.1%)

Algorithm

1×

intervals

Results

146.0ms	1936×	body	512	valid
127.0ms	4639×	body	128	valid
50.0ms	999×	body	256	valid
45.0ms	426×	body	1024	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 28 to 26 computations (7.1% saved)

Pareto

Details

analyze4.0ms (0.8%)

sample15.0ms (2.6%)

prune1.0ms (0.2%)

localize5.0ms (0.9%)

rewrite1.0ms (0.2%)

prune1.0ms (0.2%)

sample531.0ms (95.1%)

Profiling