Bulmash initializePoisson

Time bar (total: 2.7s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze449.0ms (16.8%)

Memory
8.4MiB live, 476.0MiB allocated; 49ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample1.8s (65.9%)

Memory
64.9MiB live, 2 100.1MiB allocated; 306ms collecting garbage
Samples
1.2s8 254×0valid
1.0ms1valid
Precisions
Click to see histograms. Total time spent on operations: 858.0ms
ival-div: 222.0ms (25.9% of total)
ival-add: 208.0ms (24.2% of total)
ival-sub: 187.0ms (21.8% of total)
ival-exp: 137.0ms (16% of total)
ival-neg: 91.0ms (10.6% of total)
exact: 7.0ms (0.8% of total)
adjust: 3.0ms (0.3% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

explain327.0ms (12.2%)

Memory
5.9MiB live, 462.6MiB allocated; 91ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
10-1(9.409866606277754e-173 -3.318075389821979e+27 -208222400097.76395 8.140201979415249e+74 1.996818032136547e-168 1.1659198770539155e+73 -6.2364279921628414e-291 433494680818766.7 2.2091520559018906e+187)(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
00-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)))))
00-0-(+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
00-0-EAccept
00-0-KbT
00-0-(-.f64 (-.f64 Ec Vef) EDonor)
00-0-(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))
00-0-#s(literal 1 binary64)
00-0-NdChar
00-0-(+.f64 (+.f64 Ev Vef) EAccept)
00-0-(+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))
00-0-Ev
00-0-(neg.f64 mu)
00-0-(+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu))
00-0-(/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))))
00-0-(/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
00-0-(neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu))
00-0-(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
00-0-Vef
00-0-EDonor
00-0-Ec
00-0-(+.f64 Ev Vef)
00-0-NaChar
00-0-(-.f64 Ec Vef)
00-0-mu
00-0-(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
00-0-(-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)
Confusion
Predicted +Predicted -
+01
-0255
Precision
0/0
Recall
0.0
Confusion?
Predicted +Predicted MaybePredicted -
+010
-00255
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+010
-000
Precision?
1.0
Recall?
1.0
Samples
85.0ms512×0valid
Compiler

Compiled 395 to 85 computations (78.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.0ms
ival-div: 13.0ms (28.9% of total)
ival-add: 13.0ms (28.9% of total)
ival-exp: 7.0ms (15.6% of total)
ival-sub: 7.0ms (15.6% of total)
ival-neg: 4.0ms (8.9% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess135.0ms (5.1%)

Memory
-27.5MiB live, 117.6MiB allocated; 30ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05601732
113491726
236531722
03835
05735
15935
26235
37035
49635
523335
6147435
7443535
0810535
Stop Event
saturated
node limit
iter limit
node limit

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...