Spherical law of cosines

Time bar (total: 5.8s)

start0.0ms (0%)

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

analyze827.0ms (14.2%)

Memory
17.6MiB live, 950.7MiB allocated; 82ms collecting garbage
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)

sample4.4s (76.3%)

Memory
18.3MiB live, 4 398.3MiB allocated; 1.1s collecting garbage
Samples
3.5s6 349×1valid
341.0ms1 765×0valid
57.0ms114×2valid
40.0ms28×3valid
Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-cos: 1.5s (42.5% of total)
ival-sin: 756.0ms (21.6% of total)
ival-mult: 459.0ms (13.1% of total)
adjust: 353.0ms (10.1% of total)
ival-acos: 287.0ms (8.2% of total)
ival-sub: 92.0ms (2.6% of total)
ival-add: 67.0ms (1.9% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

explain363.0ms (6.2%)

Memory
-2.3MiB live, 433.2MiB allocated; 45ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
70131(-6.606619616581228e-80 -1.1124158036945012e-148 8.883610160413342e+64 -3.1893846538862316e-189 4.2488406422211065e+162)0-(cos.f64 (-.f64 lambda1 lambda2))
171(7.856091043867431e-194 3.962798730652682e-253 -0.05113941152093311 -3.2126948789756764e-15 6.379319059280072e-67)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))sensitivity2010
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)))))sensitivity181
Confusion
Predicted +Predicted -
+870
-13039
Precision
0.4009216589861751
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+8700
-130138
Precision?
0.39908256880733944
Recall?
1.0
Freqs
test
numberfreq
039
1215
22
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
215.0ms402×1valid
22.0ms96×0valid
6.0ms12×2valid
2.0ms2×3valid
Compiler

Compiled 207 to 55 computations (73.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 207.0ms
ival-cos: 77.0ms (37.1% of total)
ival-sin: 43.0ms (20.7% of total)
ival-mult: 40.0ms (19.3% of total)
adjust: 22.0ms (10.6% of total)
ival-acos: 16.0ms (7.7% of total)
ival-sub: 5.0ms (2.4% of total)
ival-add: 4.0ms (1.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess191.0ms (3.3%)

Memory
-28.6MiB live, 127.6MiB allocated; 28ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0130412
1346408
2745408
31755408
43844408
01719
04219
16219
27919
39719
410719
513719
625319
796519
8609619
0840319
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

Profiling

Loading profile data...