Bearing on a great circle

Time bar (total: 16.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze622.0ms (3.7%)

Memory
5.6MiB live, 186.2MiB 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
7.8%7.8%92%0.2%0%0%0%9
7.8%7.8%92%0.2%0%0%0%10
10.2%10.1%89.7%0.2%0%0%0%11
10.2%10.1%89.7%0.2%0%0%0%12
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample127.0ms (0.8%)

Memory
2.0MiB live, 25.5MiB allocated
Samples
98.0ms170×1valid
15.0ms90×0valid
Precisions
Click to see histograms. Total time spent on operations: 104.0ms
ival-cos: 39.0ms (37.6% of total)
ival-sin: 37.0ms (35.7% of total)
ival-mult: 11.0ms (10.6% of total)
adjust: 7.0ms (6.8% of total)
ival-sub: 4.0ms (3.9% of total)
ival-atan2: 4.0ms (3.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain16.0s (94.5%)

Memory
-27.2MiB live, 5 701.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
66120(4.283449191888202e-229 -2.0951264528763436e+301 1.1908703591929144e+135 6.902078632140456e-25)0-(cos.f64 (-.f64 lambda1 lambda2))
64122(4.283449191888202e-229 -2.0951264528763436e+301 1.1908703591929144e+135 6.902078632140456e-25)0-(sin.f64 (-.f64 lambda1 lambda2))
00-0-(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
00-0-(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
00-0-lambda2
00-0-phi2
00-0-(*.f64 (sin.f64 phi1) (cos.f64 phi2))
00-0-(-.f64 lambda1 lambda2)
00-0-(-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))
00-0-(sin.f64 phi1)
00-0-(cos.f64 phi2)
00-0-lambda1
00-0-phi1
00-0-(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
00-0-(sin.f64 phi2)
00-0-(*.f64 (cos.f64 phi1) (sin.f64 phi2))
00-0-(cos.f64 phi1)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (-.f64 lambda1 lambda2))sensitivity1860
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1860
Confusion
Predicted +Predicted -
+550
-13170
Precision
0.2956989247311828
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+5500
-131070
Precision?
0.2956989247311828
Recall?
1.0
Freqs
test
numberfreq
070
2186
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
125.1142578125
Average Time
0.4887275695800781
Samples
9.4s15 480×1valid
1.4s7 560×0valid
Compiler

Compiled 13 410 to 3 240 computations (75.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-cos: 3.6s (38.6% of total)
ival-sin: 3.4s (35.9% of total)
ival-mult: 917.0ms (9.8% of total)
adjust: 647.0ms (6.9% of total)
ival-sub: 401.0ms (4.3% of total)
ival-atan2: 383.0ms (4.1% of total)
ival-true: 21.0ms (0.2% of total)
ival-assert: 9.0ms (0.1% of total)

preprocess153.0ms (0.9%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0104352
1242346
2532344
31116344
42100344
53114344
63932344
74219344
84311344
94369344
104416344
114656344
124748344
134748344
144748344
154748344
164748344
01724
03024
14324
27524
313224
418724
526024
637324
747724
865324
975424
1081324
081324
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
Outputs
(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 (sin.f64 phi2) (cos.f64 phi1)) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))))
Compiler

Compiled 24 to 17 computations (29.2% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
81.4%
(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
Compiler

Compiled 48 to 34 computations (29.2% saved)

simplify22.0ms (0.1%)

Memory
1.1MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01724
12824
24924
36124
47024
57324
Stop Event
1×saturated
Calls
Call 1
Inputs
(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
Outputs
(atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 (sin.f64 phi2) (cos.f64 phi1)) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))))

soundness0.0ms (0%)

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

Compiled 24 to 17 computations (29.2% saved)

preprocess1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 96 to 68 computations (29.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...