Metrics for 2-ancestry mixing, negative discriminant

start0.0ms (0%)

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

analyze81.0ms (5.6%)

Memory

-14.7MiB live, 123.9MiB allocated; 14ms 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
26.7%	25%	68.7%	0.1%	0%	6.2%	0%	5
27.6%	25%	65.6%	0.1%	0%	9.4%	0%	6
49%	37.5%	39%	0.1%	0%	23.4%	0%	7
50.5%	37.5%	36.7%	0.1%	0%	25.8%	0%	8
67.9%	43.7%	20.7%	0.1%	0%	35.5%	0%	9
69.3%	43.7%	19.3%	0.1%	0%	36.9%	0%	10
81.5%	46.8%	10.6%	0.1%	0%	42.4%	0%	11
82.5%	46.8%	9.9%	0.1%	0%	43.2%	0%	12

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample1.1s (78.2%)

Memory

74.7MiB live, 1 484.6MiB allocated; 139ms collecting garbage

Samples

756.0ms	8 256×	0	valid
89.0ms	1 088×	0	invalid

Precisions

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

ival-cos: 280.0ms (46.7% of total)

ival-div!: 105.0ms (17.5% of total)

ival-acos: 88.0ms (14.7% of total)

ival-neg: 54.0ms (9% of total)

ival-mult!: 49.0ms (8.2% of total)

ival-add!: 22.0ms (3.7% of total)

adjust: 2.0ms (0.3% of total)

Bogosity

explain168.0ms (11.7%)

Memory

-32.1MiB live, 204.1MiB allocated; 21ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))`
-	-	`(acos.f64 (/.f64 (neg.f64 g) h))`
-	-	`(cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))))`
-	-	`#s(literal 3 binary64)`
-	-	`(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))`
-	-	`(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))`
-	-	`(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))`
-	-	`(neg.f64 g)`
-	-	`#s(literal 2 binary64)`
-	-	`g`
-	-	`(*.f64 #s(literal 2 binary64) (PI.f64))`
-	-	`h`
-	-	`(/.f64 (neg.f64 g) h)`
-	-	`(PI.f64)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

51.0ms

512×

valid

Compiler

Compiled 168 to 46 computations (72.6% saved)

Precisions

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

ival-cos: 15.0ms (45.2% of total)

ival-div!: 6.0ms (18.1% of total)

ival-acos: 5.0ms (15.1% of total)

ival-neg: 4.0ms (12% of total)

ival-mult!: 3.0ms (9% of total)

ival-add!: 1.0ms (3% of total)

adjust: 0.0ms (0% of total)

preprocess43.0ms (3%)

Memory

-4.9MiB live, 40.5MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	36	80
1	95	80
2	205	80
3	517	80
4	1298	76
5	3995	74

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))

Compiler

Compiled 32 to 28 computations (12.5% saved)

series14.0ms (1%)

Memory

19.4MiB live, 19.4MiB allocated; 0ms collecting garbage

Counts

14 → 9

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
#s(literal 2 binary64)
(cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))))
(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))
(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))
(*.f64 #s(literal 2 binary64) (PI.f64))
(PI.f64)
#s(literal 3 binary64)
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))
(acos.f64 (/.f64 (neg.f64 g) h))
(/.f64 (neg.f64 g) h)
(neg.f64 g)
g
h

Outputs
#s(approx (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) #s(hole binary64 (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))))
#s(approx (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) #s(hole binary64 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))))
#s(approx (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) #s(hole binary64 (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
#s(approx (/ (acos (/ (neg g) h)) 3) #s(hole binary64 (* 1/3 (acos (* -1 (/ g h))))))
#s(approx (acos (/ (neg g) h)) #s(hole binary64 (acos (* -1 (/ g h)))))
#s(approx (/ (neg g) h) #s(hole binary64 (* -1 (/ g h))))
#s(approx (neg g) #s(hole binary64 (* -1 g)))
#s(approx g #s(hole binary64 g))
#s(approx h #s(hole binary64 h))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	h	@	inf	((* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) (/ (* 2 (PI)) 3) (* 2 (PI)) (PI) 3 (/ (acos (/ (neg g) h)) 3) (acos (/ (neg g) h)) (/ (neg g) h) (neg g) g h)
3.0ms	g	@	inf	((* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) (/ (* 2 (PI)) 3) (* 2 (PI)) (PI) 3 (/ (acos (/ (neg g) h)) 3) (acos (/ (neg g) h)) (/ (neg g) h) (neg g) g h)
3.0ms	g	@	0	((* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) (/ (* 2 (PI)) 3) (* 2 (PI)) (PI) 3 (/ (acos (/ (neg g) h)) 3) (acos (/ (neg g) h)) (/ (neg g) h) (neg g) g h)
2.0ms	g	@	-inf	((* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) (/ (* 2 (PI)) 3) (* 2 (PI)) (PI) 3 (/ (acos (/ (neg g) h)) 3) (acos (/ (neg g) h)) (/ (neg g) h) (neg g) g h)
2.0ms	h	@	-inf	((* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))) 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))) (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)) (/ (* 2 (PI)) 3) (* 2 (PI)) (PI) 3 (/ (acos (/ (neg g) h)) 3) (acos (/ (neg g) h)) (/ (neg g) h) (neg g) g h)

rewrite8.0ms (0.6%)

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

end0.0ms (0%)

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

start0.0ms (0%)

analyze81.0ms (5.6%)

sample1.1s (78.2%)

explain168.0ms (11.7%)

preprocess43.0ms (3%)

series14.0ms (1%)

rewrite8.0ms (0.6%)

end0.0ms (0%)

Profiling