2-ancestry mixing, positive discriminant

Time bar (total: 4.4s)

start0.0ms (0%)

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

analyze244.0ms (5.6%)

Memory
-68.1MiB live, 204.5MiB allocated; 43ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
15.4%12.5%68.6%0.1%0%18.7%0%6
23.1%18.7%62.4%0.1%0%18.7%0%7
24%18.7%59.3%0.1%0%21.8%0%8
41.9%28.1%39%0.1%0%32.8%0%9
48.8%32.8%34.3%0.1%0%32.8%0%10
50.6%32.8%32%0.1%0%35.1%0%11
64.9%38.2%20.7%0.1%0%41%0%12
Compiler

Compiled 39 to 21 computations (46.2% saved)

sample3.6s (81.7%)

Memory
14.4MiB live, 2 643.6MiB allocated; 1.1s collecting garbage
Samples
2.7s8 122×1valid
189.0ms1 426×0invalid
14.0ms134×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 594.0ms (24.5% of total)
ival-add: 538.0ms (22.2% of total)
adjust: 475.0ms (19.6% of total)
ival-cbrt: 238.0ms (9.8% of total)
ival-div: 201.0ms (8.3% of total)
ival-sub: 193.0ms (8% of total)
ival-sqrt: 130.0ms (5.4% of total)
ival-neg: 41.0ms (1.7% of total)
exact: 11.0ms (0.5% of total)
ival-assert: 4.0ms (0.2% of total)
Bogosity

explain431.0ms (9.9%)

Memory
-44.0MiB live, 346.0MiB allocated; 19ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1280-0-(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
951(-2.6937696192627796e+259 -6.506063910967086e-223 -1.2801241422119096e+265)2(1.2898935215569855e-31 5.126334269607064e-163 -1.785090185632683e+283)(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
860-0-(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))
830-1(-4.058288146789665e-133 -1.1819250886120766e-184 2.961080127942073e+189)(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
683(1.3802933751711383e+175 3.441261846478958e-74 -9.3005389337965e+236)0-(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))
200-0-(-.f64 (*.f64 g g) (*.f64 h h))
150-2(-65175075050506.89 -1.4313075042394798e-149 1.779331923752999e-24)(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
100-3(1.8438992463065636e-201 -4.629419244584221e-262 1.2119782692348354e-182)(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
00-0-(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a))
00-0-a
00-0-#s(literal 1 binary64)
00-0-(*.f64 #s(literal 2 binary64) a)
00-0-(+.f64 (cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))
00-0-(*.f64 h h)
00-0-(*.f64 g g)
00-0-(neg.f64 g)
00-0-#s(literal 2 binary64)
00-0-g
00-0-h
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))oflow-rescue1170
(-.f64 (*.f64 g g) (*.f64 h h))overflow117
(*.f64 g g)overflow117
(*.f64 h h)overflow20
cbrt.f64(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))oflow-rescue290
(-.f64 (*.f64 g g) (*.f64 h h))overflow117
(*.f64 g g)overflow117
(*.f64 h h)overflow20
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))overflow29
cbrt.f64(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))oflow-rescue260
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))overflow26
(-.f64 (*.f64 g g) (*.f64 h h))overflow117
(*.f64 g g)overflow117
(*.f64 h h)overflow20
-.f64(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))cancellation240
-.f64(-.f64 (*.f64 g g) (*.f64 h h))nan-rescue200
(*.f64 g g)overflow117
(*.f64 h h)overflow20
+.f64(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))cancellation120
sqrt.f64(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))uflow-rescue80
(-.f64 (*.f64 g g) (*.f64 h h))underflow11
(*.f64 g g)underflow11
(*.f64 h h)underflow96
cbrt.f64(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))uflow-rescue60
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))underflow56
(-.f64 (*.f64 g g) (*.f64 h h))underflow11
(*.f64 g g)underflow11
(*.f64 h h)underflow96
(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))underflow40
cbrt.f64(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))uflow-rescue50
(-.f64 (*.f64 g g) (*.f64 h h))underflow11
(*.f64 h h)underflow96
(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))underflow3
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))underflow68
(*.f64 g g)underflow11
(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))underflow58
*.f64(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))n*u10
Confusion
Predicted +Predicted -
+1465
-798
Precision
0.954248366013072
Recall
0.9668874172185431
Confusion?
Predicted +Predicted MaybePredicted -
+14605
-7098
Precision?
0.954248366013072
Recall?
0.9668874172185431
Freqs
test
numberfreq
0103
191
240
313
47
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
95.0ms190×2valid
60.0ms226×1valid
49.0ms88×3valid
1.0ms0valid
Compiler

Compiled 371 to 61 computations (83.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 159.0ms
ival-mult: 45.0ms (28.2% of total)
adjust: 41.0ms (25.7% of total)
ival-div: 21.0ms (13.2% of total)
ival-cbrt: 14.0ms (8.8% of total)
ival-add: 13.0ms (8.2% of total)
ival-sub: 12.0ms (7.5% of total)
ival-sqrt: 11.0ms (6.9% of total)
ival-neg: 2.0ms (1.3% of total)
exact: 1.0ms (0.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess123.0ms (2.8%)

Memory
23.1MiB live, 23.1MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084325
1263325
2837319
32952319
02245
05245
16745
29745
314645
422045
551645
6390945
0808445
Stop Event
iter limit
node limit
iter limit
node limit

end0.0ms (0%)

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

Profiling

Loading profile data...