Midpoint on a great circle

Time bar (total: 15.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze462.0ms (3%)

Memory
7.6MiB 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)

sample112.0ms (0.7%)

Memory
-4.2MiB live, 19.1MiB allocated
Samples
86.0ms146×1valid
14.0ms114×0valid
Precisions
Click to see histograms. Total time spent on operations: 90.0ms
ival-cos: 53.0ms (58.7% of total)
ival-sin: 13.0ms (14.4% of total)
ival-atan2: 7.0ms (7.8% of total)
adjust: 6.0ms (6.6% of total)
ival-mult: 5.0ms (5.5% of total)
ival-add: 3.0ms (3.3% of total)
ival-sub: 2.0ms (2.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain14.8s (95.3%)

Memory
54.6MiB live, 4 629.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
74127(3.660889564029641e-119 -4.053465610323071e+46 8.320256777227477e-78 2.3811321279596675e-174)0-(sin.f64 (-.f64 lambda1 lambda2))
74127(3.660889564029641e-119 -4.053465610323071e+46 8.320256777227477e-78 2.3811321279596675e-174)0-(cos.f64 (-.f64 lambda1 lambda2))
50-1(8.942106111102182e-294 -8.109876917676049e+161 6.167967316345242e-170 1.1180469183469006e-81)(+.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))sensitivity2010
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity2010
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation24
Confusion
Predicted +Predicted -
+50
-19853
Precision
0.024630541871921183
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+500
-198251
Precision?
0.024390243902439025
Recall?
1.0
Freqs
test
numberfreq
053
12
2201
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
114.917724609375
Average Time
0.4488973617553711
Samples
9.2s16 470×1valid
926.0ms6 570×0valid
Compiler

Compiled 12 015 to 2 700 computations (77.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-cos: 5.1s (57.8% of total)
ival-sin: 1.3s (14.4% of total)
adjust: 673.0ms (7.7% of total)
ival-atan2: 657.0ms (7.5% of total)
ival-mult: 504.0ms (5.7% of total)
ival-add: 358.0ms (4.1% of total)
ival-sub: 225.0ms (2.6% of total)
ival-true: 20.0ms (0.2% of total)
ival-assert: 9.0ms (0.1% of total)

preprocess122.0ms (0.8%)

Memory
0.7MiB 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)

prune1.0ms (0%)

Memory
0.5MiB 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)

simplify21.0ms (0.1%)

Memory
-0.3MiB 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%)

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