Metrics for 2-ancestry mixing, positive discriminant

start0.0ms (0%)

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

analyze251.0ms (5.8%)

Memory

-0.6MiB live, 186.9MiB allocated; 17ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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.4s (80.1%)

Memory

34.8MiB live, 2 507.8MiB allocated; 938ms collecting garbage

Samples

2.5s	8 145×	1	valid
200.0ms	1 467×	0	invalid
11.0ms	111×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 2.3s

ival-mult: 582.0ms (24.8% of total)

ival-cbrt: 514.0ms (21.9% of total)

adjust: 471.0ms (20.1% of total)

ival-add: 186.0ms (7.9% of total)

ival-div: 168.0ms (7.2% of total)

ival-sqrt: 163.0ms (7% of total)

ival-sub: 155.0ms (6.6% of total)

ival-neg: 91.0ms (3.9% of total)

exact: 11.0ms (0.5% of total)

ival-assert: 3.0ms (0.1% of total)

Bogosity

explain516.0ms (12%)

Memory

-8.0MiB live, 533.7MiB allocated; 108ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
131	0	-	2	(1.1452114783042864e-159 -3.8764413775664355e-227 -2.342706616670493e+87)	`(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))`
101	1	(9.816545196383877e+179 1.6508288296714894e-275 4.1335689993391433e+238)	2	(-4.733711552308268e-145 -3.9962798828605544e-228 -1.1258417752427759e+179)	`(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))))))`
94	0	-	4	(-7.425871322226769e+79 1.7451741652966485e-222 1.3469915521452632e-203)	`(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))))))`
75	0	-	0	-	`(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`
59	0	-	0	-	`(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`
14	0	-	1	(-5.855498192000111e+269 -7.182906458425735e-25 6.531314748885028e-145)	`(.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)))))`
12	0	-	0	-	`(-.f64 (.f64 g g) (.f64 h h))`
12	1	(3.7889172200069142e+289 -5.768827504460479e-39 5.102134164950851e-45)	3	(1.9687948873337376e-67 3.980831541441699e-191 -1.1819370237158068e-259)	`(.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)))))`
0	0	-	0	-	`(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a))`
0	0	-	0	-	`a`
0	0	-	0	-	`#s(literal 1 binary64)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) a)`
0	0	-	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)))))))`
0	0	-	0	-	`(*.f64 h h)`
0	0	-	0	-	`(*.f64 g g)`
0	0	-	0	-	`(neg.f64 g)`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`g`
0	0	-	0	-	`h`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))`	oflow-rescue	119	0
↳	`(-.f64 (.f64 g g) (.f64 h h))`	overflow	119
↳	`(*.f64 g g)`	overflow	119
↳	`(*.f64 h h)`	overflow	12
`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-rescue	38	0
↳	`(.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)))))`	overflow	38
↳	`(-.f64 (.f64 g g) (.f64 h h))`	overflow	119
↳	`(*.f64 g g)`	overflow	119
↳	`(*.f64 h h)`	overflow	12
`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-rescue	30	0
↳	`(-.f64 (.f64 g g) (.f64 h h))`	overflow	119
↳	`(*.f64 h h)`	overflow	12
↳	`(.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)))))`	overflow	30
↳	`(*.f64 g g)`	overflow	119
↳	`(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`	overflow	1
`-.f64`	`(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`	cancellation	13	0
`-.f64`	`(-.f64 (.f64 g g) (.f64 h h))`	nan-rescue	12	0
↳	`(*.f64 g g)`	overflow	119
↳	`(*.f64 h h)`	overflow	12
`+.f64`	`(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`	cancellation	10	0
`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-rescue	4	0
↳	`(-.f64 (.f64 g g) (.f64 h h))`	underflow	10
↳	`(*.f64 h h)`	underflow	105
↳	`(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))))))`	underflow	3
↳	`(.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)))))`	underflow	63
↳	`(*.f64 g g)`	underflow	10
↳	`(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`	underflow	59
`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-rescue	4	0
↳	`(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))))))`	underflow	3
↳	`(.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)))))`	underflow	65
↳	`(-.f64 (.f64 g g) (.f64 h h))`	underflow	10
↳	`(*.f64 g g)`	underflow	10
↳	`(*.f64 h h)`	underflow	105
↳	`(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))`	underflow	63
`sqrt.f64`	`(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))`	uflow-rescue	3	0
↳	`(-.f64 (.f64 g g) (.f64 h h))`	underflow	10
↳	`(*.f64 g g)`	underflow	10
↳	`(*.f64 h h)`	underflow	105
`*.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)))))`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	154	9
-	2	91

Precision

0.9871794871794872

Recall

0.9447852760736196

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	154	0	9
-	2	0	91

Precision?

0.9871794871794872

Recall?

0.9447852760736196

Freqs

test

number	freq
0	100
1	97
2	45
3	10
4	3
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

98.0ms	122×	3	valid
93.0ms	204×	2	valid
48.0ms	182×	1	valid
0.0ms	4×	0	valid

Compiler

Compiled 371 to 61 computations (83.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 170.0ms

ival-cbrt: 46.0ms (27% of total)

adjust: 45.0ms (26.4% of total)

ival-mult: 31.0ms (18.2% of total)

ival-sub: 13.0ms (7.6% of total)

ival-sqrt: 12.0ms (7% of total)

ival-add: 12.0ms (7% of total)

ival-div: 8.0ms (4.7% of total)

ival-neg: 2.0ms (1.2% of total)

exact: 1.0ms (0.6% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

preprocess90.0ms (2.1%)

Memory

-10.9MiB live, 81.3MiB allocated; 22ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	84	325
1	263	325
2	837	319
3	2952	319
0	19	37
0	33	33
1	67	33
2	198	33
3	691	32
4	2222	31
0	8016	31

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

start0.0ms (0%)

analyze251.0ms (5.8%)

sample3.4s (80.1%)

explain516.0ms (12%)

preprocess90.0ms (2.1%)

end0.0ms (0%)

Profiling