Metrics for Distance on a great circle

Memory

-17.8MiB live, 1 102.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
0%	0%	99.8%	0.2%	0%	0%	0%	9
0%	0%	99.8%	0.2%	0%	0%	0%	10
0%	0%	99.8%	0.2%	0%	0%	0%	11
0%	0%	99.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 67 to 28 computations (58.2% saved)

Memory

124.4MiB live, 7 847.4MiB allocated

Samples

7.5s	7 419×	1	valid
173.0ms	837×	0	valid

Precisions

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

ival-cos: 2.6s (36.1% of total)

ival-sin: 2.0s (28.5% of total)

ival-mult: 674.0ms (9.5% of total)

ival-sub: 404.0ms (5.7% of total)

adjust: 381.0ms (5.3% of total)

ival-sqrt: 268.0ms (3.8% of total)

ival-div: 264.0ms (3.7% of total)

ival-atan2: 221.0ms (3.1% of total)

ival-pow2: 180.0ms (2.5% of total)

ival-add: 109.0ms (1.5% of total)

exact: 11.0ms (0.2% of total)

ival-true: 7.0ms (0.1% of total)

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

Bogosity

Profiling