Metrics for 2-ancestry mixing, negative discriminant

Memory

-31.3MiB live, 133.2MiB 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

-182.7MiB live, 2 205.0MiB allocated

Samples

1.4s	8 256×	0	valid
132.0ms	1 127×	0	invalid

Precisions

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

ival-mult: 431.0ms (33.7% of total)

ival-cos: 302.0ms (23.6% of total)

ival-div: 229.0ms (17.9% of total)

ival-pi: 92.0ms (7.2% of total)

ival-acos: 91.0ms (7.1% of total)

ival-neg: 65.0ms (5.1% of total)

ival-add: 44.0ms (3.4% of total)

exact: 11.0ms (0.9% of total)

ival-true: 8.0ms (0.6% of total)

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

Bogosity

Profiling