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

\left(\left(\frac{1}{\left(x + 1\right)}\right) - \left(\frac{2}{x}\right)\right) + \left(\frac{1}{\left(x - 1\right)}\right)

double f(double x) {
        double r8709012 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8709013 = x;
        double r8709014 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8709015 = r8709013 + r8709014;
        double r8709016 = r8709012 / r8709015;
        double r8709017 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8709018 = r8709017 / r8709013;
        double r8709019 = r8709016 - r8709018;
        double r8709020 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8709021 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8709022 = r8709013 - r8709021;
        double r8709023 = r8709020 / r8709022;
        double r8709024 = r8709019 + r8709023;
        return r8709024;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 0 
(FPCore (x)
  :name "3frac (problem 3.3.3)"
  (+.p16 (-.p16 (/.p16 #<cpointer:posit16> (+.p16 x #<cpointer:posit16>)) (/.p16 #<cpointer:posit16> x)) (/.p16 #<cpointer:posit16> (-.p16 x #<cpointer:posit16>))))

Backtrace

hash-ref: no value found for key key: '(#<cpointer:posit16>)		L	C
for-loop	/home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt	222	2
atab-min-errors	/home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt	221	0
(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