Midpoint on a great circle

Time bar (total: 3.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze454.0ms (15%)

Memory
6.9MiB live, 148.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
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)

sample102.0ms (3.4%)

Memory
2.4MiB live, 18.3MiB allocated
Samples
74.0ms131×1valid
16.0ms129×0valid
Precisions
Click to see histograms. Total time spent on operations: 81.0ms
ival-cos: 48.0ms (58.9% of total)
ival-sin: 11.0ms (13.5% of total)
ival-atan2: 7.0ms (8.6% of total)
adjust: 5.0ms (6.1% of total)
ival-mult: 5.0ms (6.1% of total)
ival-add: 3.0ms (3.7% of total)
ival-sub: 2.0ms (2.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain2.3s (76.7%)

Memory
-1.8MiB live, 1 115.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
59127(-2.0235327423500666e+64 -4.867970383927845e-136 4.817379757643824e+81 -4.4496266333551105e-85)0-(sin.f64 (-.f64 lambda1 lambda2))
58129(-2.0235327423500666e+64 -4.867970383927845e-136 4.817379757643824e+81 -4.4496266333551105e-85)0-(cos.f64 (-.f64 lambda1 lambda2))
30-1(-3.450123347500679e+256 7.899391568146275e-306 -2.41199339122618e-135 3.6865219463248026e-196)(+.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))sensitivity1870
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1860
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation11
Confusion
Predicted +Predicted -
+60
-18367
Precision
0.031746031746031744
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+600
-183166
Precision?
0.031578947368421054
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
067
14
2185
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
12.00830078125
Average Time
0.04690742492675781
Samples
1.1s2 100×1valid
132.0ms972×0valid
Compiler

Compiled 3 180 to 696 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 631.0ms (57.4% of total)
ival-sin: 153.0ms (13.9% of total)
ival-atan2: 87.0ms (7.9% of total)
adjust: 86.0ms (7.8% of total)
ival-mult: 65.0ms (5.9% of total)
ival-add: 45.0ms (4.1% of total)
ival-sub: 27.0ms (2.5% of total)
ival-true: 2.0ms (0.2% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess125.0ms (4.1%)

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.6%
(+.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.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.2%)

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