Exception for Octave 3.8, jcobi/2

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

Math

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

C

double f(double alpha, double beta, double i) {
        double r122270 = alpha;
        double r122271 = beta;
        double r122272 = r122270 + r122271;
        double r122273 = r122271 - r122270;
        double r122274 = r122272 * r122273;
        double r122275 = 2.0;
        double r122276 = i;
        double r122277 = r122275 * r122276;
        double r122278 = r122272 + r122277;
        double r122279 = r122274 / r122278;
        double r122280 = r122278 + r122275;
        double r122281 = r122279 / r122280;
        double r122282 = 1.0;
        double r122283 = r122281 + r122282;
        double r122284 = r122283 / r122275;
        return r122284;
}

Reproduce

Please include this information when filing a bug report:

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

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
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