Logistic distribution

Time bar (total: 1.2s)

start0.0ms (0%)

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

analyze61.0ms (4.9%)

Memory
-5.1MiB live, 53.4MiB allocated; 19ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%24.7%75.3%0%0%0%0
0%0%24.7%75.3%0%0%0%1
0%0%24.7%75.3%0%0%0%2
0%0%24.7%75.3%0%0%0%3
0%0%24.7%75.3%0%0%0%4
50%12.4%12.4%75.3%0%0%0%5
50%12.4%12.4%75.3%0%0%0%6
75%18.5%6.2%75.3%0%0%0%7
75%18.5%6.2%75.3%0%0%0%8
87.5%21.6%3.1%75.3%0%0%0%9
87.5%21.6%3.1%75.3%0%0%0%10
93.7%23.2%1.5%75.3%0%0%0%11
93.7%23.2%1.5%75.3%0%0%0%12
Compiler

Compiled 34 to 17 computations (50% saved)

sample925.0ms (74%)

Memory
11.9MiB live, 1 118.2MiB allocated; 165ms collecting garbage
Samples
654.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 449.0ms
ival-div: 115.0ms (25.6% of total)
ival-mult: 94.0ms (20.9% of total)
ival-exp: 83.0ms (18.5% of total)
ival-fabs: 60.0ms (13.4% of total)
ival-add: 44.0ms (9.8% of total)
ival-neg: 35.0ms (7.8% of total)
const: 6.0ms (1.3% of total)
exact: 5.0ms (1.1% of total)
ival-assert: 3.0ms (0.7% of total)
adjust: 2.0ms (0.4% of total)
ival-<=: 1.0ms (0.2% of total)
ival-and: 0.0ms (0% of total)
Bogosity

explain128.0ms (10.2%)

Memory
35.7MiB live, 172.1MiB allocated; 9ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
14(5.3093296634679906e-36 1.2307887474454662e-38)1(-5.1470125904395925e-12 7.325009468341775e-14)(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
00-0-(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))
00-0-#s(literal 1 binary32)
01(0.000817531778011471 7.19155241313274e-6)0-(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
00-0-s
00-0-(neg.f32 (fabs.f32 x))
00-0-(*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
00-0-(/.f32 (neg.f32 (fabs.f32 x)) s)
00-0-(*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
00-0-x
00-0-(fabs.f32 x)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
exp.f32(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))sensitivity42
/.f32(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))u/n10
↳(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))underflow192
Confusion
Predicted +Predicted -
+01
-4251
Precision
0.0
Recall
0.0
Confusion?
Predicted +Predicted MaybePredicted -
+010
-41250
Precision?
0.16666666666666666
Recall?
1.0
Freqs
test
numberfreq
0252
13
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
40.0ms512×0valid
Compiler

Compiled 194 to 37 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.0ms
ival-div: 7.0ms (27.5% of total)
ival-mult: 6.0ms (23.6% of total)
ival-exp: 4.0ms (15.7% of total)
ival-add: 3.0ms (11.8% of total)
ival-fabs: 3.0ms (11.8% of total)
ival-neg: 2.0ms (7.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)

preprocess136.0ms (10.9%)

Memory
-27.1MiB live, 65.1MiB allocated; 27ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037166
1153154
2659148
33384147
01330
03030
14030
25430
39530
426830
5214330
0896730
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...