\frac{\log \left(1 - x\right)}{\log \left(1 + x\right)}\frac{\log \left(1 - x\right)}{\log \left(1 + x\right)}double code(double x) {
return ((double) (((double) log(((double) (1.0 - x)))) / ((double) log(((double) (1.0 + x))))));
}
double code(double x) {
return ((double) (((double) log(((double) (1.0 - x)))) / ((double) log(((double) (1.0 + x))))));
}



Bits error versus x
Results
Initial program 61.3
Final simplification61.3
herbie shell --seed 2020153
(FPCore (x)
:name "(/ (log (- 1 x)) (log (+ 1 x)))"
:precision binary64
(/ (log (- 1.0 x)) (log (+ 1.0 x))))