Details

analyze8.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50.4%	0.4%	49.2%	10
50.4%	0.2%	49.4%	11
50.4%	0.1%	49.5%	12
50.4%	0%	49.6%	13
50.4%	0%	49.6%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample81.0ms (3.8%)

Algorithm

1×

intervals

Results

43.0ms	122×	body	1024	valid
20.0ms	69×	body	512	valid
5.0ms	36×	body	256	valid
3.0ms	11×	body	2048	valid
1.0ms	18×	body	128	valid

Compiler

Compiled 17 to 16 computations (5.9% saved)

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

59.3b

Counts

2 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

7.6b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
7.6b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

1 → 0

Calls

2 calls:

1.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

prune1.0ms (0.1%)

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

59.3b

Counts

1 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample2.0s (95.3%)

Algorithm

1×

intervals

Results

1.2s	3903×	body	1024	valid
323.0ms	1998×	body	512	valid
143.0ms	415×	body	2048	valid
102.0ms	1012×	body	256	valid
35.0ms	672×	body	128	valid

Compiler

Compiled 25 to 23 computations (8% saved)

Pareto

Details

analyze8.0ms (0.4%)

sample81.0ms (3.8%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

rewrite1.0ms (0.1%)

prune1.0ms (0.1%)

sample2.0s (95.3%)

Profiling