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

analyze12.0ms (0.4%)

Memory

3.9MiB live, 3.9MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 30 to 25 computations (16.7% saved)

sample2.6s (81.4%)

Memory

-11.6MiB live, 758.6MiB allocated

Samples

595.0ms	8 256×	valid-sollya
530.0ms	8 256×	valid-baseline
513.0ms	8 256×	valid-rival

Bogosity

preprocess551.0ms (17%)

Memory

11.6MiB live, 27.2MiB allocated

Algorithm

1×	egg-herbie

Rules

4 823×	`fmm-def`
679×	`unsub-neg`
583×	`sub-neg`
323×	`associate--r-`
299×	`distribute-neg-in`

Iterations

Useful iterations: 17 (1.0ms)

Iter	Nodes	Cost
0	47	509
1	151	493
2	445	485
3	1512	481
4	4440	481
5	6199	481
6	6826	481
7	7018	481
8	7126	481
9	7169	481
10	7718	481
11	7875	481
12	7882	481
13	7882	481
14	7882	481
15	7960	481
16	7976	481
17	7976	473

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(+.f64 (.f64 (neg.f64 x) #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 (neg.f64 y) (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z)))))
(neg.f64 (+.f64 (.f64 (neg.f64 x) #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)))))
(neg.f64 (+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 (neg.f64 y) (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)))))
(neg.f64 (+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z))))))
(+.f64 (.f64 y #s(literal 1/2 binary64)) (.f64 x (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(+.f64 (.f64 z #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) x) (log.f64 x))))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 z (+.f64 (-.f64 #s(literal 1 binary64) y) (log.f64 y))))

Outputs
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 x #s(literal 1/2 binary64) (fma.f64 y (-.f64 (log.f64 z) z) y))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 x #s(literal 1/2 binary64) (fma.f64 y (-.f64 (log.f64 z) z) y))
(+.f64 (.f64 (neg.f64 x) #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 (neg.f64 x) #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (*.f64 x #s(literal -1/2 binary64)))
(fma.f64 x #s(literal -1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z)) (*.f64 x #s(literal -1/2 binary64)))
(fma.f64 x #s(literal -1/2 binary64) (fma.f64 y (-.f64 (log.f64 z) z) y))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 (neg.f64 y) (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (neg.f64 y)))
(-.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z)))))
(fma.f64 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z))) (*.f64 x #s(literal 1/2 binary64)))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z)))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z)))))
(fma.f64 y (+.f64 (+.f64 #s(literal 1 binary64) z) (log.f64 (neg.f64 z))) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 z (+.f64 #s(literal 1 binary64) (log.f64 (neg.f64 z))))))
(fma.f64 y (+.f64 #s(literal 1 binary64) (+.f64 z (log.f64 (neg.f64 z)))) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 y (+.f64 z (log.f64 (neg.f64 z))) (fma.f64 x #s(literal 1/2 binary64) y))
(neg.f64 (+.f64 (.f64 (neg.f64 x) #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (neg.f64 y)))
(-.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z)))))
(fma.f64 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z))) (*.f64 x #s(literal 1/2 binary64)))
(neg.f64 (+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 (neg.f64 y) (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)))))
(fma.f64 (neg.f64 x) #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (*.f64 x #s(literal -1/2 binary64)))
(fma.f64 x #s(literal -1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z)) (*.f64 x #s(literal -1/2 binary64)))
(fma.f64 x #s(literal -1/2 binary64) (fma.f64 y (-.f64 (log.f64 z) z) y))
(neg.f64 (+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z))))))
(neg.f64 (fma.f64 x #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) (neg.f64 z)) (log.f64 (neg.f64 z))))))
(-.f64 (.f64 x #s(literal -1/2 binary64)) (.f64 y (+.f64 (+.f64 #s(literal 1 binary64) z) (log.f64 (neg.f64 z)))))
(-.f64 (.f64 x #s(literal -1/2 binary64)) (.f64 y (+.f64 z (+.f64 #s(literal 1 binary64) (log.f64 (neg.f64 z))))))
(fma.f64 x #s(literal -1/2 binary64) (*.f64 y (-.f64 #s(literal -1 binary64) (+.f64 z (log.f64 (neg.f64 z))))))
(+.f64 (.f64 y #s(literal 1/2 binary64)) (.f64 x (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 y #s(literal 1/2 binary64) (*.f64 x (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))
(fma.f64 x (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z)) (*.f64 #s(literal 1/2 binary64) y))
(fma.f64 x (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z)) (*.f64 #s(literal 1/2 binary64) y))
(fma.f64 x (-.f64 (log.f64 z) z) (fma.f64 #s(literal 1/2 binary64) y x))
(+.f64 (.f64 z #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) x) (log.f64 x))))
(fma.f64 z #s(literal 1/2 binary64) (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) x) (log.f64 x))))
(fma.f64 y (+.f64 (-.f64 #s(literal 1 binary64) x) (log.f64 x)) (*.f64 #s(literal 1/2 binary64) z))
(fma.f64 #s(literal 1/2 binary64) z (*.f64 y (+.f64 (-.f64 #s(literal 1 binary64) x) (log.f64 x))))
(fma.f64 y (-.f64 (log.f64 x) x) (fma.f64 #s(literal 1/2 binary64) z y))
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 z (+.f64 (-.f64 #s(literal 1 binary64) y) (log.f64 y))))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 z (+.f64 (-.f64 #s(literal 1 binary64) y) (log.f64 y))))
(fma.f64 z (+.f64 (-.f64 #s(literal 1 binary64) y) (log.f64 y)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 z (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 y) y)) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 z (-.f64 (log.f64 y) y) (fma.f64 x #s(literal 1/2 binary64) z))

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune2.0ms (0%)

Memory

-16.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify13.0ms (0.4%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	47
1	29	47
2	33	47
3	35	47
4	36	47

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))

Outputs
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 y (+.f64 (-.f64 #s(literal 1 binary64) z) (log.f64 z))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess23.0ms (0.7%)

Memory: 1.4MiB live, 32.6MiB allocated
Compiler: Compiled 90 to 64 computations (28.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze12.0ms (0.4%)

sample2.6s (81.4%)

preprocess551.0ms (17%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify13.0ms (0.4%)

soundness0.0ms (0%)

preprocess23.0ms (0.7%)

end0.0ms (0%)

Profiling