Spherical law of cosines

Time bar (total: 5.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze667.0ms (13.5%)

Memory
-2.4MiB live, 209.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample112.0ms (2.3%)

Memory
0.2MiB live, 24.8MiB allocated
Samples
86.0ms202×1valid
10.0ms55×0valid
1.0ms3×2valid
Precisions
Click to see histograms. Total time spent on operations: 86.0ms
ival-cos: 32.0ms (37.1% of total)
ival-sin: 22.0ms (25.5% of total)
ival-mult: 11.0ms (12.7% of total)
adjust: 10.0ms (11.6% of total)
ival-acos: 7.0ms (8.1% of total)
ival-sub: 2.0ms (2.3% of total)
ival-add: 2.0ms (2.3% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain3.9s (78.3%)

Memory
19.9MiB live, 1 404.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
69123(-3.753952532152843e+83 2.8472353179568124e-209 4.003759630661174e+23 -1.376318398452154e+178 1.846639568209305e-195)0-(cos.f64 (-.f64 lambda1 lambda2))
180-0-(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
00-0-lambda2
00-0-phi2
00-0-(*.f64 (cos.f64 phi1) (cos.f64 phi2))
00-0-(-.f64 lambda1 lambda2)
00-0-R
00-0-(sin.f64 phi1)
00-0-(cos.f64 phi2)
00-0-lambda1
00-0-(*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
00-0-(*.f64 (sin.f64 phi1) (sin.f64 phi2))
00-0-phi1
00-0-(sin.f64 phi2)
00-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)
00-0-(+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))
00-0-(cos.f64 phi1)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (-.f64 lambda1 lambda2))sensitivity1920
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)))))sensitivity185
Confusion
Predicted +Predicted -
+860
-12347
Precision
0.41148325358851673
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+8600
-123443
Precision?
0.40375586854460094
Recall?
1.0
Freqs
test
numberfreq
047
1208
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
106.09912109375
Average Time
0.41444969177246094
Samples
2.2s4 800×1valid
251.0ms1 272×0valid
38.0ms72×2valid
Compiler

Compiled 3 588 to 864 computations (75.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-cos: 807.0ms (39% of total)
ival-sin: 461.0ms (22.3% of total)
ival-mult: 258.0ms (12.5% of total)
adjust: 252.0ms (12.2% of total)
ival-acos: 178.0ms (8.6% of total)
ival-sub: 60.0ms (2.9% of total)
ival-add: 47.0ms (2.3% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.1% of total)

preprocess251.0ms (5.1%)

Memory
1.3MiB live, 9.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0129399
1273393
2460385
3803385
41522385
51993385
62268385
72744385
83277385
93803385
104429385
114716385
124910385
134948385
146292385
156766385
166878385
176894385
186894385
196910385
206910385
216990385
227022385
237022385
01719
02919
13819
25019
35819
46719
58319
611619
714119
818519
920119
1020919
020918
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.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)
Outputs
(*.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)
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1)) (cos.f64 phi2) (*.f64 (sin.f64 phi2) (sin.f64 phi1)))))
Symmetry

(negabs R)

(sort lambda1 lambda2)

(sort phi1 phi2)

Compiler

Compiled 19 to 17 computations (10.5% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
73.6%
(*.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)
Compiler

Compiled 38 to 34 computations (10.5% saved)

simplify27.0ms (0.6%)

Memory
0.5MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01719
12419
22919
33119
43219
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.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)
Outputs
(*.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)
(*.f64 R (acos.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))) (*.f64 (sin.f64 phi2) (sin.f64 phi1)))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 19 to 17 computations (10.5% saved)

preprocess15.0ms (0.3%)

Memory
-0.2MiB live, 7.6MiB allocated
Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

(negabs R)

Compiler

Compiled 304 to 272 computations (10.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...