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

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

\frac{\left(\frac{\left(\frac{\left(\left(\left(\alpha + \beta\right) + \left(\beta \cdot \alpha\right)\right) + 1\right)}{\left(\left(\alpha + \beta\right) + \left(2 \cdot 1\right)\right)}\right)}{\left(\left(\alpha + \beta\right) + \left(2 \cdot 1\right)\right)}\right)}{\left(\left(\left(\alpha + \beta\right) + \left(2 \cdot 1\right)\right) + 1\right)}

double f(double alpha, double beta) {
        double r5511198 = alpha;
        double r5511199 = beta;
        double r5511200 = r5511198 + r5511199;
        double r5511201 = r5511199 * r5511198;
        double r5511202 = r5511200 + r5511201;
        double r5511203 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511204 = r5511202 + r5511203;
        double r5511205 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511206 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511207 = r5511205 * r5511206;
        double r5511208 = r5511200 + r5511207;
        double r5511209 = r5511204 / r5511208;
        double r5511210 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511211 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511212 = r5511210 * r5511211;
        double r5511213 = r5511200 + r5511212;
        double r5511214 = r5511209 / r5511213;
        double r5511215 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511216 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511217 = r5511215 * r5511216;
        double r5511218 = r5511200 + r5511217;
        double r5511219 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r5511220 = r5511218 + r5511219;
        double r5511221 = r5511214 / r5511220;
        return r5511221;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 0 
(FPCore (alpha beta)
  :name "Octave 3.8, jcobi/3"
  :pre (and (>.p16 alpha #<cpointer:posit16>) (>.p16 beta #<cpointer:posit16>))
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) #<cpointer:posit16>) (+.p16 (+.p16 alpha beta) (*.p16 #<cpointer:posit16> #<cpointer:posit16>))) (+.p16 (+.p16 alpha beta) (*.p16 #<cpointer:posit16> #<cpointer:posit16>))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 #<cpointer:posit16> #<cpointer:posit16>)) #<cpointer:posit16>)))

Backtrace

hash-ref: no value found for key key: '(#<cpointer:posit16> #<cpointer:posit16>)		L	C
best-and-tied-at-points	/home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt	117	0
atab-add-altn	/home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt	202	0
for-loop	/home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt	56	2
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-val-first.rkt	388	18
finalize-iter!	/home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt	272	0
run-improve43	/home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt	340	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28