\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]

\[\sqrt{\left(\left(\left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - a\right)\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - b\right)\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - c\right)\right)}\]

\sqrt{\left(\left(\left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - a\right)\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - b\right)\right) \cdot \left(\left(\frac{\left(\left(a + b\right) + c\right)}{2}\right) - c\right)\right)}

double f(double a, double b, double c) {
        double r8294719 = a;
        double r8294720 = b;
        double r8294721 = r8294719 + r8294720;
        double r8294722 = c;
        double r8294723 = r8294721 + r8294722;
        double r8294724 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8294725 = r8294723 / r8294724;
        double r8294726 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8294727 = r8294723 / r8294726;
        double r8294728 = r8294727 - r8294719;
        double r8294729 = r8294725 * r8294728;
        double r8294730 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8294731 = r8294723 / r8294730;
        double r8294732 = r8294731 - r8294720;
        double r8294733 = r8294729 * r8294732;
        double r8294734 = /* ERROR: no support for value #<cpointer:posit16> in C */;
        double r8294735 = r8294723 / r8294734;
        double r8294736 = r8294735 - r8294722;
        double r8294737 = r8294733 * r8294736;
        double r8294738 = sqrt(r8294737);
        return r8294738;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 0 
(FPCore (a b c)
  :name "Area of a triangle"
  :pre (and (<.p16 #<cpointer:posit16> a) (<.p16 #<cpointer:posit16> b) (<.p16 #<cpointer:posit16> c))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) #<cpointer:posit16>) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #<cpointer:posit16>) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #<cpointer:posit16>) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #<cpointer:posit16>) c))))

Backtrace

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