Metrics for Spherical law of cosines

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze885.0ms (13.9%)

Memory

-3.8MiB live, 705.4MiB allocated; 63ms collecting garbage

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
1.6%	1.6%	98.2%	0.2%	0%	0%	0%	11
1.6%	1.6%	98.2%	0.2%	0%	0%	0%	12

Compiler

Compiled 21 to 19 computations (9.5% saved)

sample4.9s (77.4%)

Memory

72.6MiB live, 3 425.4MiB allocated; 496ms collecting garbage

Samples

3.7s	6 324×	1	valid
416.0ms	1 780×	0	valid
103.0ms	130×	2	valid
27.0ms	22×	3	valid

Precisions

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

ival-cos: 1.4s (38.2% of total)

ival-sin: 770.0ms (20.6% of total)

ival-mult: 527.0ms (14.1% of total)

ival-acos: 403.0ms (10.8% of total)

adjust: 389.0ms (10.4% of total)

ival-add: 138.0ms (3.7% of total)

ival-sub: 78.0ms (2.1% of total)

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

Bogosity

explain423.0ms (6.6%)

Memory

-6.4MiB live, 431.8MiB allocated; 52ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
74	105	(9.070301699545506e+92 1.280285394714471e-91 -2.5754399788533488e+45 6.408701780480084e-61 -9.424230682989744e+113)	0	-	`(cos.f64 (-.f64 lambda1 lambda2))`
19	0	-	1	(3.4022342265536507e+251 7.332319587711183e-26 2.0015599813238456e-286 -1.1484584482589351e-101 -4.6697113298482724e+274)	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`
1	0	-	0	-	`(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))`
0	0	-	0	-	`lambda2`
0	0	-	0	-	`phi2`
0	0	-	0	-	`(*.f64 (cos.f64 phi1) (cos.f64 phi2))`
0	0	-	0	-	`(-.f64 lambda1 lambda2)`
0	0	-	0	-	`R`
0	0	-	0	-	`(sin.f64 phi1)`
0	0	-	0	-	`(cos.f64 phi2)`
0	0	-	0	-	`lambda1`
0	0	-	0	-	`(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))`
0	0	-	0	-	`(*.f64 (sin.f64 phi1) (sin.f64 phi2))`
0	0	-	0	-	`phi1`
0	0	-	0	-	`(sin.f64 phi2)`
0	0	-	0	-	`(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)`
0	0	-	0	-	`(cos.f64 phi1)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`(cos.f64 (-.f64 lambda1 lambda2))`	sensitivity	179	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	18	6
`+.f64`	`(+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	90	1
-	106	59

Precision

0.45918367346938777

Recall

0.989010989010989

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	90	1	0
-	106	3	56

Precision?

0.455

Recall?

1.0

Freqs

test

number	freq
0	60
1	194
2	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

216.0ms	372×	1	valid
26.0ms	128×	0	valid
5.0ms	4×	3	valid
4.0ms	8×	2	valid

Compiler

Compiled 207 to 55 computations (73.4% saved)

Precisions

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

ival-cos: 79.0ms (36.8% of total)

adjust: 40.0ms (18.6% of total)

ival-sin: 40.0ms (18.6% of total)

ival-mult: 24.0ms (11.2% of total)

ival-acos: 21.0ms (9.8% of total)

ival-sub: 6.0ms (2.8% of total)

ival-add: 4.0ms (1.9% of total)

ival-true: 1.0ms (0.5% of total)

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

preprocess131.0ms (2.1%)

Memory

-24.9MiB live, 71.3MiB allocated; 9ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	130	412
1	346	408
2	745	408
3	1755	408
4	3844	408
0	17	19
0	29	19
1	54	19
2	102	19
3	242	19
4	546	19
5	1360	19
6	3599	19
7	6869	19
0	8113	19

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze885.0ms (13.9%)

sample4.9s (77.4%)

explain423.0ms (6.6%)

preprocess131.0ms (2.1%)

end0.0ms (0%)

Profiling