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



Bits error versus x
Results
Initial program 39.3
Final simplification39.3
herbie shell --seed 2020152
(FPCore (x)
:name "(log (/ 1 (- 1 x)))"
:precision binary64
(log (/ 1.0 (- 1.0 x))))