Bulmash initializePoisson

Time bar (total: 2.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze285.0ms (9.9%)

Memory
6.5MiB live, 133.6MiB allocated
Algorithm
1×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)

sample42.0ms (1.5%)

Memory
1.8MiB live, 16.9MiB allocated
Samples
29.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 20.0ms
ival-div: 6.0ms (30.5% of total)
ival-add: 6.0ms (30.5% of total)
ival-exp: 3.0ms (15.2% of total)
ival-sub: 3.0ms (15.2% of total)
ival-neg: 2.0ms (10.2% 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)
Bogosity

explain2.4s (82.1%)

Memory
0.2MiB live, 1 803.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
013(-6.4228598506728655e+122 -1.7399474351019762e+276 -1.6752677261652923e-84 -9.004855806256611e-294 -5.190908706274743e-185 -1.3816700624337354e+247 3.606286154970504e-148 -1.8854567035456444e-109 8.019022266253045e-7)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
035(3.901746097071487e+174 3.3969923886300837e+20 -2.9342525102813134e-269 1.3476777369418575e-66 8.431052447822015e-196 -3.1945218494910727e+98 -3.5299410740362946e-68 -2.6012833452439397e+157 2.408749381265081e+250)0-(-.f64 (-.f64 Ec Vef) EDonor)
01(1.5997130484214941e-84 -1.5435733282937183e+149 1.691301897249777e-38 7.893064071190818e+55 -6.604709953406995e+299 -1.240945747333873e+298 -2.5758316123220617e-16 5.9737434804129195e-74 -2.1487494837602788e-243)0-(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
01(1.5997130484214941e-84 -1.5435733282937183e+149 1.691301897249777e-38 7.893064071190818e+55 -6.604709953406995e+299 -1.240945747333873e+298 -2.5758316123220617e-16 5.9737434804129195e-74 -2.1487494837602788e-243)0-(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))
00-0-#s(literal 1 binary64)
00-0-NdChar
041(-1.664693311401528e+242 6.94200435445458e-123 -2.077861647082488e+162 9.407908034269834e+283 -6.840006803255075e+89 3.1700388354104265e-39 -1.085483080980075e+226 -3.30942893974477e-226 1.1527431423839269e-45)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)
027(-1.2299117755053519e+260 8.713646544716968e-190 1.441160054316028e-304 -6.373497116147238e+148 -4.816599218932305e-193 -4.4271821066672366e-32 -7.73575311634597e+86 -4.731869808449439e-179 -4.90908087863042e-53)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)
028(-1.8986093852201496e-246 -9.162324489085609e-174 3.0928176529566055e+87 -7.693411321290579e+292 1.4800895152485306e+108 -1.5689896970359364e+240 3.919383588961097e-218 6.013232042561425e+212 -5.558740855335911e-77)0-(-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64(+.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)))))cancellation130
-.f64(-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)cancellation120
+.f64(+.f64 (+.f64 Ev Vef) EAccept)cancellation110
+.f64(+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu))cancellation80
-.f64(-.f64 (-.f64 Ec Vef) EDonor)cancellation70
exp.f64(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))sensitivity10
exp.f64(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))sensitivity10
Confusion
Predicted +Predicted -
+00
-45211
Precision
0.0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-450211
Precision?
0.0
Recall?
0/0
Freqs
test
numberfreq
0211
137
28
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-100
Precision?
0.0
Recall?
0/0
Total Time
18.18701171875
Average Time
0.07104301452636719
Samples
416.0ms3 072×0valid
Compiler

Compiled 6 876 to 1 320 computations (80.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 241.0ms
ival-div: 69.0ms (28.7% of total)
ival-add: 68.0ms (28.2% of total)
ival-sub: 40.0ms (16.6% of total)
ival-exp: 35.0ms (14.5% of total)
ival-neg: 22.0ms (9.1% of total)
ival-true: 2.0ms (0.8% of total)
exact: 2.0ms (0.8% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

preprocess138.0ms (4.8%)

Memory
8.6MiB live, 30.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
05491643
112281628
241051579
368511576
02731
04430
17330
217529
353929
4154229
5370629
6749729
0813729
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)))))
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
StatusAccuracyProgram
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)

simplify46.0ms (1.6%)

Memory
-7.9MiB live, 18.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02730
14930
26730
39429
414229
518229
624629
736329
845229
945529
1046029
1147429
1249729
1352829
1456329
1559429
1661429
1762129
1862229
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)))))
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.1%)

Memory
2.1MiB 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

Profiling

Loading profile data...