Midpoint on a great circle

Time bar (total: 6.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze656.0ms (10.8%)

Memory
34.2MiB live, 580.4MiB allocated; 99ms collecting garbage
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)

sample4.8s (79%)

Memory
-29.5MiB live, 3 184.3MiB allocated; 442ms collecting garbage
Samples
3.7s4 583×1valid
513.0ms3 667×0valid
4.0ms6×2valid
Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-cos: 2.2s (57.3% of total)
ival-sin: 518.0ms (13.3% of total)
adjust: 382.0ms (9.8% of total)
ival-atan2: 283.0ms (7.2% of total)
ival-mult: 205.0ms (5.2% of total)
ival-add: 185.0ms (4.7% of total)
ival-sub: 94.0ms (2.4% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

explain518.0ms (8.5%)

Memory
5.3MiB live, 387.0MiB allocated; 22ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
74125(5.160633918107974e+87 8.051158338386512e-135 3.3281185254047347e-237 -4.851840550883619e+97)0-(sin.f64 (-.f64 lambda1 lambda2))
73126(5.160633918107974e+87 8.051158338386512e-135 3.3281185254047347e-237 -4.851840550883619e+97)0-(cos.f64 (-.f64 lambda1 lambda2))
42(7.842705012657573e+263 1.624927988090023e-232 6.732797013193972e+190 1.9566356808628265e-63)1(-8.45231653602919e-20 -2.098807807005433e+90 1.5711836547872516e+125 6.4152040414510745e-189)(+.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))sensitivity1990
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1990
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation41
Confusion
Predicted +Predicted -
+91
-19254
Precision
0.04477611940298507
Recall
0.9
Confusion?
Predicted +Predicted MaybePredicted -
+910
-192054
Precision?
0.04950495049504951
Recall?
1.0
Freqs
test
numberfreq
055
12
2197
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
292.0ms400×1valid
15.0ms112×0valid
Compiler

Compiled 186 to 46 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 258.0ms
ival-cos: 149.0ms (57.8% of total)
ival-sin: 35.0ms (13.6% of total)
adjust: 28.0ms (10.9% of total)
ival-atan2: 16.0ms (6.2% of total)
ival-mult: 13.0ms (5% of total)
ival-add: 11.0ms (4.3% of total)
ival-sub: 5.0ms (1.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess105.0ms (1.7%)

Memory
23.7MiB live, 70.3MiB allocated; 4ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
095314
1219313
2422313
3940313
42456313
56076313
01420
02420
14620
28320
318220
445020
5123320
6358020
7755520
0805520
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...