Details

analyze5.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.6%	25.4%	0
0%	74.6%	25.4%	1
37.3%	37.3%	25.4%	2
37.3%	18.7%	44%	3
46.7%	9.3%	44%	4
46.7%	4.7%	48.7%	5
49%	2.3%	48.7%	6
49%	1.2%	49.8%	7
49.6%	0.6%	49.8%	8
49.9%	0.3%	49.8%	9
49.9%	0.1%	50%	10
49.9%	0.1%	50.1%	11
49.9%	0%	50.1%	12
49.9%	0%	50.1%	13
49.9%	0%	50.1%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample40.0ms (3%)

Algorithm

1×

intervals

Results

18.0ms	119×	body	1024	valid
7.0ms	88×	body	512	valid
4.0ms	256×	pre	128	true
2.0ms	12×	body	2048	valid
2.0ms	29×	body	256	valid
0.0ms	8×	body	128	valid

Compiler

Compiled 11 to 11 computations (0% saved)

prune1.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.7b

Counts

2 → 1

Compiler

Compiled 4 to 4 computations (0% saved)

localize8.0ms (0.6%)

Local error

Found 2 expressions with local error:

2.7b	(-.f64 (exp.f64 x) 1)
2.7b	(-.f64 (exp.f64 x) 1)

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

1 → 0

Calls

2 calls:

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

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

Counts

1 → 1

Compiler

Compiled 4 to 4 computations (0% saved)

sample1.3s (95.8%)

Algorithm

1×

intervals

Results

629.0ms	3981×	body	1024	valid
171.0ms	2037×	body	512	valid
114.0ms	8000×	pre	128	true
68.0ms	397×	body	2048	valid
54.0ms	1041×	body	256	valid
13.0ms	544×	body	128	valid

Compiler

Compiled 28 to 25 computations (10.7% saved)

Pareto

Details

analyze5.0ms (0.4%)

sample40.0ms (3%)

prune1.0ms (0.1%)

localize8.0ms (0.6%)

rewrite1.0ms (0.1%)

prune1.0ms (0.1%)

sample1.3s (95.8%)

Profiling