\cosh \left(\frac{\log \left(\frac{1 + \frac{y}{x}}{1 - \frac{y}{x}}\right)}{4}\right)\cosh \left(\frac{\log \left(\frac{1 + \frac{y}{x}}{1 - \frac{y}{x}}\right)}{4}\right)double code(double y, double x) {
return ((double) cosh(((double) (((double) log(((double) (((double) (1.0 + ((double) (y / x)))) / ((double) (1.0 - ((double) (y / x)))))))) / 4.0))));
}
double code(double y, double x) {
return ((double) cosh(((double) (((double) log(((double) (((double) (1.0 + ((double) (y / x)))) / ((double) (1.0 - ((double) (y / x)))))))) / 4.0))));
}



Bits error versus y



Bits error versus x
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore (y x)
:name "(cosh (/ (log (/ (+ 1 (/ y x)) (- 1 (/ y x)))) 4))"
:precision binary64
(cosh (/ (log (/ (+ 1.0 (/ y x)) (- 1.0 (/ y x)))) 4.0)))