Metrics for 2-ancestry mixing, negative discriminant

Memory

-22.9MiB live, 139.1MiB allocated

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)

Memory

-10.4MiB live, 1 890.3MiB allocated

Samples

1.7s	8 256×	0	valid
149.0ms	1 102×	0	invalid

Precisions

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

ival-cos: 435.0ms (28.7% of total)

ival-mult: 418.0ms (27.5% of total)

ival-div: 319.0ms (21% of total)

ival-pi: 145.0ms (9.6% of total)

ival-acos: 83.0ms (5.5% of total)

ival-neg: 53.0ms (3.5% of total)

ival-add: 47.0ms (3.1% of total)

exact: 9.0ms (0.6% of total)

ival-true: 6.0ms (0.4% of total)

ival-assert: 4.0ms (0.3% of total)

Bogosity

Profiling