Metrics for UniformSampleCone, y

Memory

-8.5MiB live, 297.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.1%	99.9%	0%	0%	0%	0
0%	0%	0.1%	99.9%	0%	0%	0%	1
0%	0%	0.1%	99.9%	0%	0%	0%	2
0%	0%	0.1%	99.9%	0%	0%	0%	3
12.5%	0%	0.1%	99.9%	0%	0%	0%	4
18.7%	0%	0.1%	99.9%	0%	0%	0%	5
28.1%	0%	0.1%	99.9%	0%	0%	0%	6
42.2%	0%	0.1%	99.9%	0%	0%	0%	7
49.2%	0%	0%	99.9%	0%	0%	0%	8
57.4%	0.1%	0%	99.9%	0%	0%	0%	9
67%	0.1%	0%	99.9%	0%	0%	0%	10
71.8%	0.1%	0%	99.9%	0%	0%	0%	11
76.9%	0.1%	0%	99.9%	0%	0%	0%	12

Compiler

Compiled 49 to 30 computations (38.8% saved)

Memory

113.3MiB live, 2 219.3MiB allocated

Samples

1.2s

8 256×

valid

Precisions

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

ival-mult: 236.0ms (25.4% of total)

const: 132.0ms (14.2% of total)

ival-<=: 114.0ms (12.2% of total)

ival-sin: 107.0ms (11.5% of total)

ival-pi: 97.0ms (10.4% of total)

ival-sub: 84.0ms (9% of total)

ival-add: 61.0ms (6.6% of total)

ival-sqrt: 55.0ms (5.9% of total)

ival-and: 30.0ms (3.2% of total)

exact: 11.0ms (1.2% of total)

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

Bogosity

Profiling