Details

analyze1.0s (52.7%)

Algorithm

1×

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
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
16.4%	83.4%	0.2%	9
21.4%	78.4%	0.2%	10
25.9%	73.3%	0.8%	11
28%	70.2%	1.9%	12
39.6%	55.8%	4.6%	13
43.9%	50.4%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample23.0ms (1.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	76×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% 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

6.2b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize8.0ms (0.4%)

Local error

Found 6 expressions with local error:

6.4b	(/.f64 (*.f64 y (-.f64 z x)) t)
0.0b	(*.f64 y (-.f64 z x))
0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
0.0b	(*.f64 y (-.f64 z x))
6.4b	(/.f64 (*.f64 y (-.f64 z x)) t)

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

3 → 0

Calls

6 calls:

1.0ms	(/.f64 (*.f64 y (-.f64 z x)) t)
0.0ms	(*.f64 y (-.f64 z x))
0.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
0.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
0.0ms	(/.f64 (*.f64 y (-.f64 z x)) t)

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

6.2b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample879.0ms (45.5%)

Algorithm

1×

intervals

Results

349.0ms	8000×	body	128	valid
91.0ms	2033×	body	128	invalid

Compiler

Compiled 42 to 39 computations (7.1% saved)

Pareto

Details

analyze1.0s (52.7%)

sample23.0ms (1.2%)

prune2.0ms (0.1%)

localize8.0ms (0.4%)

rewrite1.0ms (0.1%)

prune1.0ms (0.1%)

sample879.0ms (45.5%)

Profiling