\frac{\log \left(e^{23 \cdot x + y} \cdot 2\right)}{\log 14}\frac{\log \left(e^{23 \cdot x + y} \cdot 2\right)}{\log 14}double code(double x, double y) {
return ((double) (((double) log(((double) (((double) exp(((double) (((double) (23.0 * x)) + y)))) * 2.0)))) / ((double) log(14.0))));
}
double code(double x, double y) {
return ((double) (((double) log(((double) (((double) exp(((double) (((double) (23.0 * x)) + y)))) * 2.0)))) / ((double) log(14.0))));
}



Bits error versus x



Bits error versus y
Results
Initial program 2.4
Final simplification2.4
herbie shell --seed 2020152
(FPCore (x y)
:name "(/ (log (* (exp (+ (* 23 x) y)) 2)) (log 14))"
:precision binary64
(/ (log (* (exp (+ (* 23.0 x) y)) 2.0)) (log 14.0)))