Details

analyze1.0s (11.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample228.0ms (2.6%)

Algorithm

1×

intervals

Results

130.0ms	70×	body	2048	valid
45.0ms	86×	body	1024	valid
18.0ms	55×	body	512	valid
8.0ms	5×	body	4096	valid
4.0ms	18×	body	256	valid
3.0ms	22×	body	128	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

prune3.0ms (0%)

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

32.5b

Counts

2 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b	(-.f64 1 (cos.f64 x))
0.2b	(/.f64 (-.f64 1 (cos.f64 x)) (sin.f64 x))
0.2b	(/.f64 (-.f64 1 (cos.f64 x)) (sin.f64 x))
2.2b	(-.f64 1 (cos.f64 x))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

2 → 0

Calls

4 calls:

2.0ms	(-.f64 1 (cos.f64 x))
0.0ms	(/.f64 (-.f64 1 (cos.f64 x)) (sin.f64 x))
0.0ms	(/.f64 (-.f64 1 (cos.f64 x)) (sin.f64 x))
0.0ms	(-.f64 1 (cos.f64 x))

prune3.0ms (0%)

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

32.5b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample7.5s (85.8%)

Algorithm

1×

intervals

Results

4.2s	1973×	body	2048	valid
1.8s	3037×	body	1024	valid
524.0ms	1470×	body	512	valid
195.0ms	777×	body	256	valid
176.0ms	94×	body	4096	valid
92.0ms	647×	body	128	valid
10.0ms	2×	body	8192	valid

Compiler

Compiled 26 to 24 computations (7.7% saved)

Pareto

Details

analyze1.0s (11.4%)

sample228.0ms (2.6%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite2.0ms (0%)

prune3.0ms (0%)

sample7.5s (85.8%)

Profiling