Bearing on a great circle

Time bar (total: 4.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze599.0ms (14.3%)

Memory
178.9MiB live, 178.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
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)

sample137.0ms (3.3%)

Memory
25.6MiB live, 25.6MiB allocated
Samples
107.0ms179×1valid
14.0ms81×0valid
Precisions
Click to see histograms. Total time spent on operations: 110.0ms
ival-cos: 41.0ms (37.2% of total)
ival-sin: 40.0ms (36.3% of total)
ival-mult: 11.0ms (10% of total)
adjust: 7.0ms (6.4% of total)
ival-sub: 5.0ms (4.5% of total)
ival-atan2: 5.0ms (4.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain3.3s (78.1%)

Memory
1 369.4MiB live, 1 369.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
69120(-5.082154016055105e-107 -6.845508662323089e+166 5.7459124099899915e-279 676.0254488280613)0-(sin.f64 (-.f64 lambda1 lambda2))
69121(-5.082154016055105e-107 -6.845508662323089e+166 5.7459124099899915e-279 676.0254488280613)0-(cos.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))sensitivity1900
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1890
Confusion
Predicted +Predicted -
+590
-13166
Precision
0.3105263157894737
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+5900
-131066
Precision?
0.3105263157894737
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
066
11
2189
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
17.015625
Average Time
0.06646728515625
Samples
1.4s2 160×1valid
177.0ms912×0valid
Compiler

Compiled 3 552 to 840 computations (76.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 491.0ms (37.4% of total)
ival-sin: 473.0ms (36.1% of total)
ival-mult: 138.0ms (10.5% of total)
adjust: 89.0ms (6.8% of total)
ival-sub: 60.0ms (4.6% of total)
ival-atan2: 55.0ms (4.2% of total)
ival-true: 3.0ms (0.2% of total)
ival-assert: 2.0ms (0.2% of total)

preprocess153.0ms (3.7%)

Memory
8.8MiB live, 8.8MiB 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
80.2%
(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)

simplify28.0ms (0.7%)

Memory
18.1MiB live, 18.1MiB 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)))))

soundness1.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...