\frac{x}{x + 1} - \frac{x + 1}{x - 1}\frac{x}{x + 1} - \frac{x + 1}{x - 1}(FPCore (x) :precision binary64 (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
(FPCore (x) :precision binary64 (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
double code(double x) {
return (x / (x + 1.0)) - ((x + 1.0) / (x - 1.0));
}
double code(double x) {
return (x / (x + 1.0)) - ((x + 1.0) / (x - 1.0));
}



Bits error versus x
Results
Initial program 29.0
herbie shell --seed 2021042
(FPCore (x)
:name "Asymptote C"
:precision binary64
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))