R \cdot \sqrt{\left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) \cdot \left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) + \left(\phi_1 - \phi_2\right) \cdot \left(\phi_1 - \phi_2\right)}double f(double R, double lambda1, double lambda2, double phi1, double phi2) {
double r111009 = R;
double r111010 = lambda1;
double r111011 = lambda2;
double r111012 = r111010 - r111011;
double r111013 = phi1;
double r111014 = phi2;
double r111015 = r111013 + r111014;
double r111016 = 2.0;
double r111017 = r111015 / r111016;
double r111018 = cos(r111017);
double r111019 = r111012 * r111018;
double r111020 = r111019 * r111019;
double r111021 = r111013 - r111014;
double r111022 = r111021 * r111021;
double r111023 = r111020 + r111022;
double r111024 = sqrt(r111023);
double r111025 = r111009 * r111024;
return r111025;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323
(FPCore (R lambda1 lambda2 phi1 phi2)
:name "Equirectangular approximation to distance on a great circle"
:precision binary64
(* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))))
| dict-ref: no value for key: 'branch111008 in: '((R . binary64) (lambda1 . binary64) (lambda2 . binary64) (phi1 . binary64) (phi2 . binary64)) | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 106 | 4 |
| make-sampler | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 99 | 0 |
| prepare-points-intervals | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 121 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 233 | 9 |
| sindices->spoints | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 194 | 0 |
| f33 | /opt/racket-7.2/collects/racket/match/compiler.rkt | 507 | 40 |
| get-final-combination | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 369 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |