Exception for Octave 3.8, jcobi/1

\[\alpha \gt -1 \land \beta \gt -1\]

Math

\[\frac{\frac{\beta - \alpha}{\left(\alpha + \beta\right) + 2} + 1}{2}\]

C

double f(double alpha, double beta) {
        double r79550 = beta;
        double r79551 = alpha;
        double r79552 = r79550 - r79551;
        double r79553 = r79551 + r79550;
        double r79554 = 2.0;
        double r79555 = r79553 + r79554;
        double r79556 = r79552 / r79555;
        double r79557 = 1.0;
        double r79558 = r79556 + r79557;
        double r79559 = r79558 / r79554;
        return r79559;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (alpha beta)
  :name "Octave 3.8, jcobi/1"
  :precision binary64
  :pre (and (> alpha -1) (> beta -1))
  (/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2)) 1) 2))

Backtrace

dict-ref: no value for key: 'branch79549 in: '((alpha . binary64) (beta . 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