\[i \gt 0.0\]

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

\frac{\left(\frac{\left(\left(i \cdot i\right) \cdot \left(i \cdot i\right)\right)}{\left(\left(2 \cdot i\right) \cdot \left(2 \cdot i\right)\right)}\right)}{\left(\left(\left(2 \cdot i\right) \cdot \left(2 \cdot i\right)\right) - 1\right)}

double f(double i) {
        double r4844578 = i;
        double r4844579 = r4844578 * r4844578;
        double r4844580 = r4844579 * r4844579;
        double r4844581 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r4844582 = r4844581 * r4844578;
        double r4844583 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r4844584 = r4844583 * r4844578;
        double r4844585 = r4844582 * r4844584;
        double r4844586 = r4844580 / r4844585;
        double r4844587 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r4844588 = r4844587 * r4844578;
        double r4844589 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r4844590 = r4844589 * r4844578;
        double r4844591 = r4844588 * r4844590;
        double r4844592 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r4844593 = r4844591 - r4844592;
        double r4844594 = r4844586 / r4844593;
        return r4844594;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 0 
(FPCore (i)
  :name "Octave 3.8, jcobi/4, as called"
  :pre (and (>.p16 i #<cpointer:posit16>))
  (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 #<cpointer:posit16> i) (*.p16 #<cpointer:posit16> i))) (-.p16 (*.p16 (*.p16 #<cpointer:posit16> i) (*.p16 #<cpointer:posit16> i)) #<cpointer:posit16>)))

Backtrace

hash-ref: no value found for key key: '(#<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