Midpoint on a great circle

Time bar (total: 3.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze452.0ms (13.8%)

Memory
6.4MiB live, 148.6MiB 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
9.4%9.4%90.4%0.2%0%0%0%9
9.4%9.4%90.4%0.2%0%0%0%10
10.9%10.9%88.9%0.2%0%0%0%11
10.9%10.9%88.9%0.2%0%0%0%12
Compiler

Compiled 22 to 16 computations (27.3% saved)

sample114.0ms (3.5%)

Memory
-3.8MiB live, 19.5MiB allocated
Samples
90.0ms145×1valid
13.0ms115×0valid
Precisions
Click to see histograms. Total time spent on operations: 94.0ms
ival-cos: 54.0ms (57.4% of total)
ival-sin: 13.0ms (13.8% of total)
adjust: 9.0ms (9.6% of total)
ival-atan2: 7.0ms (7.4% of total)
ival-mult: 5.0ms (5.3% of total)
ival-add: 3.0ms (3.2% of total)
ival-sub: 2.0ms (2.1% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain2.6s (78.1%)

Memory
14.5MiB live, 1 096.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
61133(-4.648269235292702e-209 8.563924981043957e+146 -2.8107478449462002e-306 1.1946862682319153e-145)0-(sin.f64 (-.f64 lambda1 lambda2))
61133(-4.648269235292702e-209 8.563924981043957e+146 -2.8107478449462002e-306 1.1946862682319153e-145)0-(cos.f64 (-.f64 lambda1 lambda2))
94(3.0499235829785737e-84 -1.4727385800985045e+78 1.3131132773239886e-166 4.299646636496717e-26)0-(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
00-0-lambda2
00-0-phi1
00-0-(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
00-0-phi2
00-0-(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
00-0-(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
00-0-(*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))
00-0-(-.f64 lambda1 lambda2)
00-0-lambda1
00-0-(cos.f64 phi2)
00-0-(cos.f64 phi1)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (-.f64 lambda1 lambda2))sensitivity1940
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1940
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation94
Confusion
Predicted +Predicted -
+70
-19257
Precision
0.035175879396984924
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+700
-192354
Precision?
0.034653465346534656
Recall?
1.0
Freqs
test
numberfreq
057
15
2190
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
12.753173828125
Average Time
0.04981708526611328
Samples
1.4s2 280×1valid
100.0ms792×0valid
Compiler

Compiled 3 180 to 696 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 756.0ms (57.5% of total)
ival-sin: 190.0ms (14.4% of total)
adjust: 146.0ms (11.1% of total)
ival-atan2: 82.0ms (6.2% of total)
ival-mult: 66.0ms (5% of total)
ival-add: 45.0ms (3.4% of total)
ival-sub: 27.0ms (2.1% of total)
ival-true: 2.0ms (0.2% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess118.0ms (3.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
092294
1168287
2260285
3480285
4784285
5994285
61259285
71523285
81851285
92185285
102611285
112780285
122875285
132915285
142939285
152943285
162943285
01420
02420
13020
23520
34120
45020
57420
611320
715220
822120
927420
1036220
1139720
1242620
1349020
1452920
1554820
1656820
1759020
1860620
1960920
060919
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
Outputs
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
(+.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi2) (cos.f64 phi1))) lambda1)
Symmetry

(abs phi2)

(abs phi1)

Compiler

Compiled 20 to 14 computations (30% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune8.0ms (0.2%)

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

Compiled 40 to 28 computations (30% saved)

simplify19.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01420
12020
22520
32720
42820
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
Outputs
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
(+.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))) lambda1)

soundness0.0ms (0%)

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

Compiled 20 to 14 computations (30% saved)

preprocess5.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Remove

(abs phi1)

(abs phi2)

Compiler

Compiled 240 to 168 computations (30% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...