Bearing on a great circle

Time bar (total: 4.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze663.0ms (16.1%)

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

sample162.0ms (3.9%)

Memory
5.0MiB live, 28.3MiB allocated
Samples
138.0ms194×1valid
10.0ms66×0valid
Precisions
Click to see histograms. Total time spent on operations: 139.0ms
ival-cos: 56.0ms (40.3% of total)
ival-sin: 51.0ms (36.7% of total)
adjust: 12.0ms (8.6% of total)
ival-mult: 11.0ms (7.9% of total)
ival-sub: 4.0ms (2.9% of total)
ival-atan2: 4.0ms (2.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain3.1s (75.6%)

Memory
9.9MiB live, 1 409.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
72130(5.248435080834492e+139 3.014938039886828e-215 5.051964803855532e+231 -4.892761708524113e+113)0-(sin.f64 (-.f64 lambda1 lambda2))
72130(5.248435080834492e+139 3.014938039886828e-215 5.051964803855532e+231 -4.892761708524113e+113)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))sensitivity2020
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity2020
Confusion
Predicted +Predicted -
+630
-13954
Precision
0.3118811881188119
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+6300
-139054
Precision?
0.3118811881188119
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
054
2202
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
14.987548828125
Average Time
0.05854511260986328
Samples
1.7s2 376×1valid
123.0ms696×0valid
Compiler

Compiled 3 552 to 840 computations (76.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 664.0ms (39.9% of total)
ival-sin: 612.0ms (36.7% of total)
adjust: 149.0ms (8.9% of total)
ival-mult: 130.0ms (7.8% of total)
ival-sub: 54.0ms (3.2% of total)
ival-atan2: 53.0ms (3.2% of total)
ival-true: 2.0ms (0.1% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess151.0ms (3.7%)

Memory
1.4MiB 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
78.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)

simplify29.0ms (0.7%)

Memory
-7.9MiB 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...