\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r88305 = 1.0;
double r88306 = x;
double r88307 = r88306 - r88305;
double r88308 = r88305 / r88307;
double r88309 = r88306 + r88305;
double r88310 = r88306 / r88309;
double r88311 = r88308 + r88310;
return r88311;
}
double f(double x) {
double r88312 = 1.0;
double r88313 = x;
double r88314 = r88313 - r88312;
double r88315 = r88312 / r88314;
double r88316 = r88313 + r88312;
double r88317 = r88313 / r88316;
double r88318 = r88315 + r88317;
return r88318;
}



Bits error versus x
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2020024 +o rules:numerics
(FPCore (x)
:name "Asymptote B"
:precision binary64
(+ (/ 1 (- x 1)) (/ x (+ x 1))))