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)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-sub: 0.0ms (0% of total)

ival-log: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-exp: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

sample1.5s (46.5%)

Results

553.0ms	4835×	0	infinite
406.0ms	3421×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 457.0ms

ival-log: 152.0ms (33.2% of total)

ival-mult: 129.0ms (28.2% of total)

ival-exp: 56.0ms (12.2% of total)

ival-sub: 55.0ms (12% of total)

ival-add: 54.0ms (11.8% of total)

const: 8.0ms (1.7% of total)

backward-pass: 4.0ms (0.9% of total)

Bogosity

preprocess335.0ms (10.4%)

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

explain105.0ms (3.3%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`z`
-	-	`(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)`
-	-	`(+.f64 x (*.f64 y (log.f64 y)))`
-	-	`y`
-	-	`(log.f64 y)`
-	-	`(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))`
-	-	`(*.f64 y (log.f64 y))`

Results

41.0ms	326×	256	infinite
23.0ms	186×	256	valid

Compiler

Compiled 84 to 26 computations (69% saved)

Precisions

Click to see histograms. Total time spent on operations: 26.0ms

ival-log: 11.0ms (41.8% of total)

ival-exp: 5.0ms (19% of total)

ival-mult: 5.0ms (19% of total)

ival-sub: 3.0ms (11.4% of total)

ival-add: 3.0ms (11.4% of total)

const: 1.0ms (3.8% of total)

eval1.0ms (0%)

Compiler: Compiled 44 to 20 computations (54.5% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize370.0ms (11.5%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.8%	(*.f64 y (log.f64 y))

Results

304.0ms	106×	8192	exit
15.0ms	73×	256	valid
9.0ms	41×	256	unsamplable
7.0ms	36×	256	infinite

Compiler

Compiled 57 to 13 computations (77.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 279.0ms

ival-pow: 160.0ms (57.4% of total)

ival-log: 81.0ms (29.1% of total)

ival-exp: 12.0ms (4.3% of total)

ival-sub: 9.0ms (3.2% of total)

ival-mult: 8.0ms (2.9% of total)

ival-add: 5.0ms (1.8% of total)

ival-div: 4.0ms (1.4% of total)

const: 1.0ms (0.4% of total)

series73.0ms (2.3%)

Counts

1 → 8

Calls

Call 1

Inputs
#<alt (*.f64 y (log.f64 y))>

Outputs
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>

Calls

3 calls:

Time	Variable		Point	Expression
45.0ms	y	@	0	(* y (log y))
18.0ms	y	@	-inf	(* y (log y))
10.0ms	y	@	inf	(* y (log y))

rewrite181.0ms (5.6%)

Algorithm

1×	batch-egg-rewrite

Rules

484×	`associate-r`
424×	`associate-l`
247×	`unpow-prod-down`
234×	`log1p-expm1-u`
234×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	61	17
2	669	17

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(*.f64 y (log.f64 y))

Outputs
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(+.f64 (.f64 y #s(literal 0 binary64)) (.f64 y (log.f64 y)))
(+.f64 (.f64 y (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y)))) (*.f64 y (log.f64 (cbrt.f64 y))))
(+.f64 (.f64 y (log.f64 (sqrt.f64 y))) (.f64 y (log.f64 (sqrt.f64 y))))
(+.f64 (.f64 #s(literal 0 binary64) y) (.f64 y (log.f64 y)))
(+.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y))) y) (*.f64 (log.f64 (cbrt.f64 y)) y))
(+.f64 (.f64 (log.f64 (sqrt.f64 y)) y) (.f64 (log.f64 (sqrt.f64 y)) y))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal 1 binary64))
(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) #s(literal 1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 y (log.f64 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y (log.f64 y))))) (sqrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(fabs.f64 (*.f64 y (log.f64 y)))
(log.f64 (pow.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(log1p.f64 (+.f64 (pow.f64 y y) #s(literal -1 binary64)))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (log.f64 y)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 y (log.f64 y)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64)))

simplify77.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

598×	`times-frac`
484×	`sub-neg`
425×	`div-sub`
381×	`prod-exp`
270×	`fma-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	1249
1	224	1181
2	585	971
3	2397	971
4	5286	971

Stop Event

1×	node limit

Counts

39 → 49

Calls

Call 1

Inputs
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(+.f64 (.f64 y #s(literal 0 binary64)) (.f64 y (log.f64 y)))
(+.f64 (.f64 y (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y)))) (*.f64 y (log.f64 (cbrt.f64 y))))
(+.f64 (.f64 y (log.f64 (sqrt.f64 y))) (.f64 y (log.f64 (sqrt.f64 y))))
(+.f64 (.f64 #s(literal 0 binary64) y) (.f64 y (log.f64 y)))
(+.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y))) y) (*.f64 (log.f64 (cbrt.f64 y)) y))
(+.f64 (.f64 (log.f64 (sqrt.f64 y)) y) (.f64 (log.f64 (sqrt.f64 y)) y))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal 1 binary64))
(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) #s(literal 1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 y (log.f64 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y (log.f64 y))))) (sqrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(fabs.f64 (*.f64 y (log.f64 y)))
(log.f64 (pow.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(log1p.f64 (+.f64 (pow.f64 y y) #s(literal -1 binary64)))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (log.f64 y)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 y (log.f64 y)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64)))

Outputs
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal -1 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 y y))))
(+.f64 (.f64 y #s(literal 0 binary64)) (.f64 y (log.f64 y)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 (.f64 y (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y)))) (*.f64 y (log.f64 (cbrt.f64 y))))
(.f64 y (+.f64 (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y))) (log.f64 (cbrt.f64 y))))
(.f64 y (.f64 #s(literal 3 binary64) (log.f64 (cbrt.f64 y))))
(.f64 (log.f64 (cbrt.f64 y)) (.f64 #s(literal 3 binary64) y))
(.f64 (log.f64 (cbrt.f64 y)) (.f64 y #s(literal 3 binary64)))
(+.f64 (.f64 y (log.f64 (sqrt.f64 y))) (.f64 y (log.f64 (sqrt.f64 y))))
(.f64 #s(literal 2 binary64) (.f64 y (log.f64 (sqrt.f64 y))))
(.f64 (log.f64 (sqrt.f64 y)) (.f64 y #s(literal 2 binary64)))
(.f64 y (.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 y))))
(+.f64 (.f64 #s(literal 0 binary64) y) (.f64 y (log.f64 y)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y))) y) (*.f64 (log.f64 (cbrt.f64 y)) y))
(.f64 y (+.f64 (.f64 #s(literal 2 binary64) (log.f64 (cbrt.f64 y))) (log.f64 (cbrt.f64 y))))
(.f64 y (.f64 #s(literal 3 binary64) (log.f64 (cbrt.f64 y))))
(.f64 (log.f64 (cbrt.f64 y)) (.f64 #s(literal 3 binary64) y))
(.f64 (log.f64 (cbrt.f64 y)) (.f64 y #s(literal 3 binary64)))
(+.f64 (.f64 (log.f64 (sqrt.f64 y)) y) (.f64 (log.f64 (sqrt.f64 y)) y))
(.f64 #s(literal 2 binary64) (.f64 y (log.f64 (sqrt.f64 y))))
(.f64 (log.f64 (sqrt.f64 y)) (.f64 y #s(literal 2 binary64)))
(.f64 y (.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 y))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y))) #s(literal 1 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))))
(/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (fma.f64 y (log.f64 y) #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (fma.f64 y (log.f64 y) #s(literal 1 binary64)) (fma.f64 y (log.f64 y) #s(literal 1 binary64)) (+.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (fma.f64 y (log.f64 y) #s(literal 1 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y (log.f64 y) #s(literal 1 binary64)) (fma.f64 y (log.f64 y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y)))) #s(literal 1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (E.f64) (log.f64 (*.f64 y (log.f64 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y (log.f64 y))))) (sqrt.f64 (log.f64 (.f64 y (log.f64 y)))))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(fabs.f64 (*.f64 y (log.f64 y)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(log.f64 (pow.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(log1p.f64 (+.f64 (pow.f64 y y) #s(literal -1 binary64)))
(log.f64 (pow.f64 y y))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (log.f64 y)))) #s(literal 3 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 y (log.f64 y)))) #s(literal 1/3 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (log.f64 y)))) #s(literal 2 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))

eval56.0ms (1.7%)

Compiler: Compiled 755 to 383 computations (49.3% saved)

prune8.0ms (0.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	49	2	51

Accuracy

100.0%

Counts

51 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 43 to 27 computations (37.2% saved)

regimes11.0ms (0.3%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

7 calls:

2.0ms	(*.f64 y (log.f64 y))
1.0ms	(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
1.0ms	(+.f64 x (*.f64 y (log.f64 y)))
1.0ms	z
1.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))`
100.0%	1	`(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)`
100.0%	1	`(+.f64 x (*.f64 y (log.f64 y)))`
100.0%	1	`(*.f64 y (log.f64 y))`

Compiler

Compiled 51 to 35 computations (31.4% saved)

regimes2.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))

Outputs
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))

Calls

3 calls:

1.0ms	z
0.0ms	y
0.0ms	x

Results

Accuracy	Segments	Branch
84.0%	1	`x`
84.0%	1	`y`
84.0%	1	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	74
1	25	74
2	33	74
3	37	74
4	39	74

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness439.0ms (13.6%)

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×	done
1×	node limit

Compiler

Compiled 110 to 42 computations (61.8% saved)

preprocess56.0ms (1.8%)

Compiler: Compiled 88 to 56 computations (36.4% saved)

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

analyze1.0ms (0%)

sample1.5s (46.5%)

preprocess335.0ms (10.4%)

explain105.0ms (3.3%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize370.0ms (11.5%)

series73.0ms (2.3%)

rewrite181.0ms (5.6%)

simplify77.0ms (2.4%)

eval56.0ms (1.7%)

prune8.0ms (0.2%)

regimes11.0ms (0.3%)

regimes2.0ms (0.1%)

simplify7.0ms (0.2%)

soundness439.0ms (13.6%)

preprocess56.0ms (1.8%)

end0.0ms (0%)

Profiling