Metrics for System.Random.MWC.Distributions:standard from mwc-random-0.13.3.2

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample724.0ms (81.6%)

Results

508.0ms	6175×	body	256	valid
163.0ms	2081×	body	256	infinite

Bogosity

preprocess54.0ms (6.1%)

Algorithm

2×	egg-herbie

Rules

1012×	`fma-def`
96×	`distribute-lft-neg-in`
92×	`distribute-lft-in`
86×	`associate-r`
84×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	21	38
2	41	38
3	83	38
4	147	38
5	206	38
6	387	38
7	667	38
8	1060	38
9	1162	38
10	1180	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 1/2 (-.f64 (.f64 x x) y))
(.f64 1/2 (-.f64 (.f64 y y) x))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))
(.f64 1/2 (-.f64 (.f64 y y) x))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify34.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

630×	`fma-def`
76×	`distribute-lft-in`
74×	`unsub-neg`
68×	`distribute-rgt-in`
56×	`distribute-lft-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 1/2 (-.f64 (.f64 x x) y))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% 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

Accurracy

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))
▶	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize25.0ms (2.8%)

Compiler: Compiled 21 to 8 computations (61.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accurracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify4.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`sub-neg`
4×	`+-commutative`
4×	`*-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	12	19
2	17	19
3	19	19
4	20	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 1/2 (-.f64 (.f64 x x) y))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness0.0ms (0%)

end43.0ms (4.9%)

Compiler: Compiled 36 to 24 computations (33.3% saved)

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

analyze0.0ms (0%)

sample724.0ms (81.6%)

preprocess54.0ms (6.1%)

simplify34.0ms (3.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize25.0ms (2.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify4.0ms (0.4%)

soundness0.0ms (0%)

end43.0ms (4.9%)

Profiling

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19