Bulmash initializePoisson

Time bar (total: 1.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze362.0ms (29.9%)

Memory
4.5MiB live, 131.7MiB 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 (3.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 (29.5% of total)
ival-add: 6.0ms (29.5% of total)
ival-exp: 3.0ms (14.7% of total)
ival-sub: 3.0ms (14.7% of total)
ival-neg: 2.0ms (9.8% 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

explain628.0ms (51.8%)

Memory
12.0MiB live, 290.8MiB allocated
Confusion
Predicted +Predicted -
+01
-86169
Precision
0.0
Recall
0.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
358.0ms3 072×0valid
Compiler

Compiled 1 140 to 996 computations (12.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 242.0ms
ival-div: 68.0ms (28.1% of total)
ival-add: 68.0ms (28.1% of total)
ival-sub: 40.0ms (16.5% of total)
ival-exp: 36.0ms (14.9% of total)
ival-neg: 22.0ms (9.1% of total)
ival-true: 3.0ms (1.2% of total)
exact: 2.0ms (0.8% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

preprocess134.0ms (11%)

Memory
-1.5MiB 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.1%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(+.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)

simplify42.0ms (3.4%)

Memory
-7.4MiB 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.2%)

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