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

analyze1.0ms (0%)

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 16 to 12 computations (25% saved)

sample10.2s (92.4%)

Results

1.9s	8256×	valid-rival
994.0ms	8167×	valid-sollya
445.0ms	89×	exit-sollya

Bogosity

preprocess723.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

4823×	`fma-neg`
740×	`unsub-neg`
583×	`sub-neg`
323×	`associate--r-`
299×	`distribute-lft-in`

Iterations

Useful iterations: 17 (1.0ms)

Iter	Nodes	Cost
0	47	509
1	151	493
2	445	485
3	1512	481
4	4428	481
5	6213	481
6	6792	481
7	6978	481
8	7084	481
9	7125	481
10	7664	481
11	7827	481
12	7834	481
13	7834	481
14	7834	481
15	7912	481
16	7928	481
17	7928	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 x #s(literal 1/2 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z))))
(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 x #s(literal 1/2 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (-.f64 (log.f64 z) z))))
(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 y (-.f64 (log.f64 z) z) (fma.f64 x #s(literal -1/2 binary64) 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 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z))) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 y (+.f64 z (-.f64 #s(literal -1 binary64) (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 #s(literal 1 binary64) (+.f64 z (log.f64 (neg.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 (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 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 y (+.f64 #s(literal -1 binary64) (-.f64 z (log.f64 z))) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 y (+.f64 z (-.f64 #s(literal -1 binary64) (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 y (-.f64 (log.f64 z) z) (fma.f64 x #s(literal -1/2 binary64) 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 #s(literal 1 binary64) (+.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)))))
(fma.f64 x #s(literal -1/2 binary64) (*.f64 y (-.f64 #s(literal -1 binary64) (+.f64 z (log.f64 (neg.f64 z))))))
(fma.f64 x #s(literal -1/2 binary64) (*.f64 y (-.f64 (-.f64 #s(literal -1 binary64) 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 #s(literal 1 binary64) (-.f64 (log.f64 x) x)) (*.f64 #s(literal 1/2 binary64) z))
(fma.f64 #s(literal 1/2 binary64) z (fma.f64 y (-.f64 (log.f64 x) x) 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 x #s(literal 1/2 binary64) (fma.f64 z (-.f64 (log.f64 y) y) z))

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(+.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)

simplify17.0ms (0.2%)

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))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess92.0ms (0.8%)

Compiler: Compiled 90 to 64 computations (28.9% saved)

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

analyze1.0ms (0%)

sample10.2s (92.4%)

preprocess723.0ms (6.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify17.0ms (0.2%)

soundness1.0ms (0%)

preprocess92.0ms (0.8%)

end0.0ms (0%)

Profiling