Metrics for Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.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
100%	49.9%	0%	0.1%	0%	49.9%	0%	3

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample4.5min (99.8%)

Results

3.8s	8256×	valid-rival
19.4s	3879×	exit-sollya
492.0ms	3459×	valid-sollya
3.4s	918×	invalid-sollya

Bogosity

preprocess467.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1576×	`fma-define`
886×	`fma-neg`
436×	`exp-sum`
365×	`div-sub`
328×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	473
1	108	421
2	295	421
3	871	405
4	1971	405
5	3435	405
6	5159	405
7	6112	405
8	6635	405
9	6973	405
10	7095	405
11	7136	405
12	7759	405
13	7916	405

Stop Event

1×	node limit

Calls

Call 1

Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z))))
(exp.f64 (-.f64 (+.f64 y (*.f64 x (log.f64 x))) z))
(exp.f64 (-.f64 (+.f64 z (*.f64 y (log.f64 y))) x))
(exp.f64 (-.f64 (+.f64 x (*.f64 z (log.f64 z))) y))

Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 (neg.f64 x) (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (-.f64 (*.f64 y (log.f64 y)) x) z))
(/.f64 (/.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 z))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z))
(exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 (neg.f64 y)) x) z))
(*.f64 (pow.f64 (neg.f64 y) (neg.f64 y)) (exp.f64 (-.f64 x z)))
(/.f64 (exp.f64 (-.f64 x z)) (pow.f64 (neg.f64 y) y))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z)))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) (neg.f64 z))))
(exp.f64 (+.f64 x (fma.f64 y (log.f64 y) z)))
(*.f64 (pow.f64 y y) (exp.f64 (+.f64 x z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z)))
(neg.f64 (exp.f64 (+.f64 (neg.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))))
(neg.f64 (exp.f64 (-.f64 (-.f64 (*.f64 y (log.f64 y)) x) z)))
(/.f64 (/.f64 (pow.f64 y y) (exp.f64 x)) (neg.f64 (exp.f64 z)))
(neg.f64 (/.f64 (pow.f64 y y) (exp.f64 (+.f64 x z))))
(/.f64 (neg.f64 (pow.f64 y y)) (exp.f64 (+.f64 x z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z)))
(neg.f64 (exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 (neg.f64 y)) x) z)))
(neg.f64 (*.f64 (pow.f64 (neg.f64 y) (neg.f64 y)) (exp.f64 (-.f64 x z))))
(neg.f64 (/.f64 (exp.f64 (-.f64 x z)) (pow.f64 (neg.f64 y) y)))
(/.f64 (exp.f64 (-.f64 x z)) (neg.f64 (pow.f64 (neg.f64 y) y)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z))))
(neg.f64 (exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) (neg.f64 z)))))
(neg.f64 (exp.f64 (+.f64 x (fma.f64 y (log.f64 y) z))))
(neg.f64 (*.f64 (pow.f64 y y) (exp.f64 (+.f64 x z))))
(*.f64 (pow.f64 y y) (neg.f64 (exp.f64 (+.f64 x z))))
(*.f64 (neg.f64 (pow.f64 y y)) (exp.f64 (+.f64 x z)))
(exp.f64 (-.f64 (+.f64 y (*.f64 x (log.f64 x))) z))
(exp.f64 (+.f64 y (-.f64 (*.f64 x (log.f64 x)) z)))
(exp.f64 (-.f64 (fma.f64 x (log.f64 x) y) z))
(/.f64 (pow.f64 x x) (exp.f64 (-.f64 z y)))
(*.f64 (pow.f64 x x) (exp.f64 (-.f64 y z)))
(exp.f64 (-.f64 (+.f64 z (*.f64 y (log.f64 y))) x))
(exp.f64 (+.f64 z (-.f64 (*.f64 y (log.f64 y)) x)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) z) x))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 z x)))
(exp.f64 (-.f64 (+.f64 x (*.f64 z (log.f64 z))) y))
(exp.f64 (+.f64 x (-.f64 (*.f64 z (log.f64 z)) y)))
(exp.f64 (-.f64 (fma.f64 z (log.f64 z) x) y))
(*.f64 (pow.f64 z z) (exp.f64 (-.f64 x y)))
(/.f64 (pow.f64 z z) (exp.f64 (-.f64 y x)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval1.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	19	39
2	24	39
3	26	39
4	27	39

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess75.0ms (0%)

Compiler: Compiled 72 to 48 computations (33.3% saved)

Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2

analyze1.0ms (0%)

sample4.5min (99.8%)

preprocess467.0ms (0.2%)

eval1.0ms (0%)

prune2.0ms (0%)

simplify4.0ms (0%)

soundness1.0ms (0%)

preprocess75.0ms (0%)

end0.0ms (0%)

Profiling