Metrics for Hyperbolic arc-cosine

Memory

8.8MiB live, 3 742.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
16.7%	12.5%	62.5%	0%	0%	25%	0%	4
30%	18.7%	43.7%	0%	0%	37.5%	0%	5
38.9%	21.9%	34.4%	0%	0%	43.7%	0%	6
44.1%	23.4%	29.7%	0%	0%	46.9%	0%	7
47%	24.2%	27.3%	0%	0%	48.4%	0%	8
48.5%	24.6%	26.2%	0%	0%	49.2%	0%	9
49.2%	24.8%	25.6%	0%	0%	49.6%	0%	10
49.6%	24.9%	25.3%	0%	0%	49.8%	0%	11
49.8%	24.9%	25.1%	0%	0%	49.9%	0%	12

Compiler

Compiled 11 to 9 computations (18.2% saved)

Memory

-81.6MiB live, 47 913.7MiB allocated

Samples

Precisions

Click to see histograms. Total time spent on operations: 1.6min

ival-sqrt: 51.7s (54.4% of total)

ival-mult: 15.2s (16% of total)

adjust: 12.0s (12.6% of total)

ival-log: 8.1s (8.6% of total)

ival-sub: 8.0s (8.4% of total)

ival-add: 36.0ms (0% of total)

ival-true: 4.0ms (0% of total)

exact: 4.0ms (0% of total)

ival-assert: 2.0ms (0% of total)

Profiling