Spherical law of cosines

Time bar (total: 2.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze629.0ms (26.8%)

Memory
9.2MiB live, 207.1MiB 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
0%0%99.8%0.2%0%0%0%9
0%0%99.8%0.2%0%0%0%10
1.6%1.6%98.2%0.2%0%0%0%11
1.6%1.6%98.2%0.2%0%0%0%12
Compiler

Compiled 21 to 19 computations (9.5% saved)

sample107.0ms (4.6%)

Memory
1.5MiB live, 24.7MiB allocated
Samples
82.0ms198×1valid
10.0ms61×0valid
0.0ms1×2valid
Precisions
Click to see histograms. Total time spent on operations: 83.0ms
ival-cos: 31.0ms (37.6% of total)
ival-sin: 20.0ms (24.2% of total)
ival-mult: 11.0ms (13.3% of total)
adjust: 9.0ms (10.9% of total)
ival-acos: 7.0ms (8.5% of total)
ival-sub: 2.0ms (2.4% of total)
ival-add: 2.0ms (2.4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain1.3s (57.2%)

Memory
4.7MiB live, 325.6MiB allocated
Confusion
Predicted +Predicted -
+802
-0174
Precision
1.0
Recall
0.975609756097561
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
965.0ms2 340×1valid
125.0ms720×0valid
5.0ms12×2valid
Compiler

Compiled 708 to 636 computations (10.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 963.0ms
ival-cos: 362.0ms (37.6% of total)
ival-sin: 236.0ms (24.5% of total)
ival-mult: 123.0ms (12.8% of total)
adjust: 111.0ms (11.5% of total)
ival-acos: 79.0ms (8.2% of total)
ival-sub: 28.0ms (2.9% of total)
ival-add: 22.0ms (2.3% of total)
ival-true: 2.0ms (0.2% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess228.0ms (9.7%)

Memory
1.4MiB live, 9.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0129399
1273393
2460385
3803385
41522385
51993385
62268385
72744385
83277385
93803385
104429385
114716385
124910385
134948385
146292385
156766385
166878385
176894385
186894385
196910385
206910385
216990385
227022385
237022385
01719
02919
13819
25019
35819
46719
58319
611619
714119
818519
920119
1020919
020918
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Outputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 R (acos.f64 (fma.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1)) (cos.f64 phi2) (*.f64 (sin.f64 phi2) (sin.f64 phi1)))))
Symmetry

(negabs R)

(sort lambda1 lambda2)

(sort phi1 phi2)

Compiler

Compiled 19 to 17 computations (10.5% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
76.6%
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Compiler

Compiled 38 to 34 computations (10.5% saved)

simplify26.0ms (1.1%)

Memory
-7.5MiB live, 18.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01719
12419
22919
33119
43219
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
Outputs
(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
(*.f64 R (acos.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))) (*.f64 (sin.f64 phi2) (sin.f64 phi1)))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 19 to 17 computations (10.5% saved)

preprocess14.0ms (0.6%)

Memory
-0.1MiB live, 7.7MiB allocated
Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

(negabs R)

Compiler

Compiled 304 to 272 computations (10.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...