Midpoint on a great circle

Time bar (total: 5.7s)

start0.0ms (0%)

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

analyze839.0ms (14.8%)

Memory
30.5MiB live, 680.5MiB allocated; 760ms 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.3s (75%)

Memory
139.2MiB live, 4 546.6MiB allocated; 542ms collecting garbage
Samples
3.3s4 512×1valid
498.0ms3 733×0valid
7.0ms11×2valid
Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-cos: 2.0s (58.7% of total)
ival-sin: 482.0ms (13.9% of total)
adjust: 345.0ms (10% of total)
ival-atan2: 222.0ms (6.4% of total)
ival-mult: 182.0ms (5.3% of total)
ival-add: 121.0ms (3.5% of total)
ival-sub: 73.0ms (2.1% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

explain418.0ms (7.4%)

Memory
11.1MiB live, 525.5MiB allocated; 50ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
71115(3.8133677383196326e+284 -2.5907940425751343e-265 -2.1839019968851662e-94 2.1195075379607544e-154)0-(sin.f64 (-.f64 lambda1 lambda2))
71115(3.8133677383196326e+284 -2.5907940425751343e-265 -2.1839019968851662e-94 2.1195075379607544e-154)0-(cos.f64 (-.f64 lambda1 lambda2))
60-2(4.633483143690339e-92 2.9191070324196738e-36 -1.2963365759634324e+84 0.9165125110055371)(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
10-1(-1.9797033664817303e-209 -9.827204215396859e-222 -1.331239942509485e+114 -1.2446360449841916e+187)(+.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-lambda2
00-0-phi1
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))sensitivity1860
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1861
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation12
Confusion
Predicted +Predicted -
+33
-18466
Precision
0.016042780748663103
Recall
0.5
Confusion?
Predicted +Predicted MaybePredicted -
+330
-184165
Precision?
0.031413612565445025
Recall?
1.0
Freqs
test
numberfreq
069
11
2186
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
264.0ms374×1valid
24.0ms136×0valid
1.0ms2×2valid
Compiler

Compiled 186 to 46 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 252.0ms
ival-cos: 140.0ms (55.6% of total)
adjust: 36.0ms (14.3% of total)
ival-sin: 34.0ms (13.5% of total)
ival-atan2: 15.0ms (6% of total)
ival-mult: 12.0ms (4.8% of total)
ival-add: 8.0ms (3.2% of total)
ival-sub: 5.0ms (2% of total)
ival-true: 1.0ms (0.4% of total)
ival-assert: 0.0ms (0% of total)

preprocess164.0ms (2.9%)

Memory
-76.7MiB live, 78.9MiB allocated; 57ms 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...