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



Bits error versus x
Results
Initial program 51.4
Final simplification51.4
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (- (log (+ 1 x)) x) (* x x))"
:precision binary64
(/ (- (log (+ 1.0 x)) x) (* x x)))