Metrics for Bulmash initializePoisson

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze292.0ms (2.4%)

Memory

-2.4MiB live, 131.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
0%	0%	99.6%	0.4%	0%	0%	0%	1
0%	0%	99.6%	0.4%	0%	0%	0%	2
0%	0%	99.6%	0.4%	0%	0%	0%	3
0%	0%	99.6%	0.4%	0%	0%	0%	4
0%	0%	99.6%	0.4%	0%	0%	0%	5
0%	0%	99.6%	0.4%	0%	0%	0%	6
50%	49.8%	49.8%	0.4%	0%	0%	0%	7
50%	49.8%	49.8%	0.4%	0%	0%	0%	8
50%	49.8%	49.8%	0.4%	0%	0%	0%	9
50%	49.8%	49.8%	0.4%	0%	0%	0%	10
50%	49.8%	49.8%	0.4%	0%	0%	0%	11
50%	49.8%	49.8%	0.4%	0%	0%	0%	12

Compiler

Compiled 33 to 29 computations (12.1% saved)

sample44.0ms (0.4%)

Memory

-5.2MiB live, 16.9MiB allocated

Samples

31.0ms

260×

valid

Precisions

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

ival-div: 6.0ms (27.1% of total)

ival-add: 6.0ms (27.1% of total)

ival-sub: 5.0ms (22.5% of total)

ival-exp: 3.0ms (13.5% of total)

ival-neg: 2.0ms (9% of total)

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

exact: 0.0ms (0% of total)

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

Bogosity

explain11.9s (95.8%)

Memory

66.9MiB live, 6 446.7MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))`
-	-	`(+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))`
-	-	`EAccept`
-	-	`KbT`
-	-	`(-.f64 (-.f64 Ec Vef) EDonor)`
-	-	`(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))`
-	-	`(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))`
-	-	`#s(literal 1 binary64)`
-	-	`NdChar`
-	-	`(+.f64 (+.f64 Ev Vef) EAccept)`
-	-	`(+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))`
-	-	`Ev`
-	-	`(neg.f64 mu)`
-	-	`(+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu))`
-	-	`(/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))))`
-	-	`(/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))`
-	-	`(neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu))`
-	-	`(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)`
-	-	`Vef`
-	-	`EDonor`
-	-	`Ec`
-	-	`(+.f64 Ev Vef)`
-	-	`NaChar`
-	-	`(-.f64 Ec Vef)`
-	-	`mu`
-	-	`(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)`
-	-	`(-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Total Time

37.970947265625

Average Time

0.14832401275634766

Samples

3.2s

23 040×

valid

Compiler

Compiled 25 875 to 5 040 computations (80.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.9s

ival-add: 537.0ms (29% of total)

ival-div: 525.0ms (28.3% of total)

ival-exp: 285.0ms (15.4% of total)

ival-sub: 278.0ms (15% of total)

ival-neg: 181.0ms (9.8% of total)

ival-true: 22.0ms (1.2% of total)

exact: 15.0ms (0.8% of total)

ival-assert: 9.0ms (0.5% of total)

preprocess141.0ms (1.1%)

Memory

-1.6MiB live, 30.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	549	1643
1	1228	1628
2	4105	1579
3	6851	1576
0	27	31
0	44	30
1	73	30
2	175	29
3	539	29
4	1542	29
5	3706	29
6	7497	29
0	8137	29

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Inputs

(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Outputs
(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))
(+.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 EAccept (+.f64 Ev Vef)) mu) KbT)) #s(literal 1 binary64))) (/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) #s(literal 1 binary64))))

Outputs

(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

(+.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 EAccept (+.f64 Ev Vef)) mu) KbT)) #s(literal 1 binary64))) (/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) #s(literal 1 binary64))))

Symmetry

(sort Ev EAccept)

Compiler

Compiled 31 to 27 computations (12.9% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 9 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Status

Accuracy

Program

100.0%

(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Compiler

Compiled 62 to 54 computations (12.9% saved)

simplify44.0ms (0.4%)

Memory

-0.2MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	30
1	49	30
2	67	30
3	94	29
4	142	29
5	182	29
6	246	29
7	363	29
8	452	29
9	455	29
10	460	29
11	474	29
12	497	29
13	528	29
14	563	29
15	594	29
16	614	29
17	621	29
18	622	29

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Inputs

(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Outputs
(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))
(+.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 EAccept (+.f64 Ev Vef)) mu) KbT)) #s(literal 1 binary64))) (/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) #s(literal 1 binary64))))

Outputs

(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

(+.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 EAccept (+.f64 Ev Vef)) mu) KbT)) #s(literal 1 binary64))) (/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) #s(literal 1 binary64))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 29 to 25 computations (13.8% saved)

preprocess3.0ms (0%)

Memory: -5.7MiB live, 2.1MiB allocated
Remove: (sort Ev EAccept)
Compiler: Compiled 236 to 204 computations (13.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	27	30
1	49	30
2	67	30
3	94	29
4	142	29
5	182	29
6	246	29
7	363	29
8	452	29
9	455	29
10	460	29
11	474	29
12	497	29
13	528	29
14	563	29
15	594	29
16	614	29
17	621	29
18	622	29

Iter	Nodes	Cost
0	27	30
1	49	30
2	67	30
3	94	29
4	142	29
5	182	29
6	246	29
7	363	29
8	452	29
9	455	29
10	460	29
11	474	29
12	497	29
13	528	29
14	563	29
15	594	29
16	614	29
17	621	29
18	622	29

start0.0ms (0%)

analyze292.0ms (2.4%)

sample44.0ms (0.4%)

explain11.9s (95.8%)

preprocess141.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify44.0ms (0.4%)

soundness0.0ms (0%)

preprocess3.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	27	30
1	49	30
2	67	30
3	94	29
4	142	29
5	182	29
6	246	29
7	363	29
8	452	29
9	455	29
10	460	29
11	474	29
12	497	29
13	528	29
14	563	29
15	594	29
16	614	29
17	621	29
18	622	29