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



Bits error versus x
Results
Initial program 9.7
Final simplification9.7
herbie shell --seed 2020153
(FPCore (x)
:name "(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))"
:precision binary64
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))