Midpoint on a great circle

Time bar (total: 5.7s)

start0.0ms (0%)

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

analyze652.0ms (11.4%)

Memory
-69.1MiB live, 867.5MiB allocated; 118ms 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.5s (78.4%)

Memory
44.1MiB live, 3 748.9MiB allocated; 531ms collecting garbage
Samples
3.5s4 575×1valid
541.0ms3 672×0valid
6.0ms9×2valid
Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-cos: 2.1s (57% of total)
ival-sin: 499.0ms (13.5% of total)
adjust: 371.0ms (10.1% of total)
ival-atan2: 225.0ms (6.1% of total)
ival-mult: 177.0ms (4.8% of total)
ival-add: 172.0ms (4.7% of total)
ival-sub: 138.0ms (3.7% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

explain421.0ms (7.3%)

Memory
18.4MiB live, 435.1MiB allocated; 60ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
86111(-4.134096331363738e-275 -1.2165181904039401e+169 1.2647234681623308e+209 -4.2894876532486134e+304)0-(sin.f64 (-.f64 lambda1 lambda2))
86111(-4.134096331363738e-275 -1.2165181904039401e+169 1.2647234681623308e+209 -4.2894876532486134e+304)0-(cos.f64 (-.f64 lambda1 lambda2))
21(-1.90695725533536e-189 -6.683000457474917e+194 1.8886403630971758e-117 -1.9974963546294958e-44)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))sensitivity1970
sin.f64(sin.f64 (-.f64 lambda1 lambda2))sensitivity1971
+.f64(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))cancellation22
Confusion
Predicted +Predicted -
+70
-19158
Precision
0.03535353535353535
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+700
-191256
Precision?
0.035
Recall?
1.0
Freqs
test
numberfreq
058
11
2196
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
270.0ms380×1valid
25.0ms132×0valid
Compiler

Compiled 186 to 46 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 261.0ms
ival-cos: 149.0ms (57% of total)
adjust: 35.0ms (13.4% of total)
ival-sin: 35.0ms (13.4% of total)
ival-atan2: 15.0ms (5.7% of total)
ival-mult: 12.0ms (4.6% of total)
ival-add: 10.0ms (3.8% of total)
ival-sub: 5.0ms (1.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess165.0ms (2.9%)

Memory
14.1MiB live, 115.3MiB allocated; 11ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
095314
1219313
2422313
3940313
42456313
56076313
01420
03520
15420
27120
38920
49720
512320
622320
786020
8563220
0868720
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...