Details

analyze1.7s (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
3.1%	96.7%	0.2%	8
17.2%	82.7%	0.2%	9
21.8%	78%	0.2%	10
30%	68.8%	1.2%	11
31.8%	65.3%	2.9%	12
40.1%	55.3%	4.6%	13
44.5%	50.1%	5.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample46.0ms (1.4%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
4.0ms	62×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

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

2.3b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite3.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

2 → 0

Calls

4 calls:

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

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

2.3b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample1.5s (45.1%)

Algorithm

1×

intervals

Results

554.0ms	8000×	body	128	valid
153.0ms	2151×	body	128	invalid

Compiler

Compiled 63 to 46 computations (27% saved)

Pareto

Details

analyze1.7s (52.7%)

sample46.0ms (1.4%)

prune5.0ms (0.1%)

localize16.0ms (0.5%)

rewrite3.0ms (0.1%)

prune3.0ms (0.1%)

sample1.5s (45.1%)

Profiling