Equirectangular approximation to distance on a great circle

Time bar (total: 3.6s)

analyze1.0s (29.5%)

Algorithm
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
3.1%3.1%96.6%0.2%0%0%0%10
15.6%15.6%84.2%0.2%0%0%0%11
15.6%15.6%84.2%0.2%0%0%0%12
Compiler

Compiled 38 to 22 computations (42.1% saved)

sample2.5s (70.2%)

Results
1.1s4568×body256valid
476.0ms2007×body256infinite
340.0ms530×body1024valid
229.0ms515×body512valid
221.0ms345×body1024infinite
119.0ms290×body512infinite
1.0msbody2048valid
Bogosity

preprocess11.0ms (0.3%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...