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



Bits error versus x
Results
Initial program 33.4
Final simplification33.4
herbie shell --seed 2020153
(FPCore (x)
:name "(+ x (/ (log (- 1.0 x)) (log 10.0)))"
:precision binary64
(+ x (/ (log (- 1.0 x)) (log 10.0))))