Metrics for arccos

Memory

-25.7MiB live, 13.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	100%	0%	0%	0%	0%	3
33.3%	25%	50%	0%	0%	25%	0%	4
60%	37.5%	25%	0%	0%	37.5%	0%	5
77.8%	43.7%	12.5%	0%	0%	43.7%	0%	6
88.2%	46.9%	6.2%	0%	0%	46.9%	0%	7
93.9%	48.4%	3.1%	0%	0%	48.4%	0%	8
96.9%	49.2%	1.6%	0%	0%	49.2%	0%	9
98.4%	49.6%	0.8%	0%	0%	49.6%	0%	10
99.2%	49.8%	0.4%	0%	0%	49.8%	0%	11
99.6%	49.9%	0.2%	0%	0%	49.9%	0%	12

Compiler

Compiled 13 to 11 computations (15.4% saved)

Memory

-6.9MiB live, 1 321.8MiB allocated

Samples

836.0ms	8 256×	0	valid
2.0ms	30×	0	invalid

Precisions

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

ival-sub: 223.0ms (39.7% of total)

ival-atan: 109.0ms (19.4% of total)

ival-sqrt: 60.0ms (10.7% of total)

ival-div: 55.0ms (9.8% of total)

ival-mult: 55.0ms (9.8% of total)

ival-add: 43.0ms (7.7% of total)

exact: 8.0ms (1.4% of total)

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

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

Bogosity

Profiling