\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r81039 = 1.0;
double r81040 = x;
double r81041 = r81040 - r81039;
double r81042 = r81039 / r81041;
double r81043 = r81040 + r81039;
double r81044 = r81040 / r81043;
double r81045 = r81042 + r81044;
return r81045;
}
double f(double x) {
double r81046 = 1.0;
double r81047 = x;
double r81048 = r81047 - r81046;
double r81049 = r81046 / r81048;
double r81050 = r81047 + r81046;
double r81051 = r81047 / r81050;
double r81052 = r81049 + r81051;
return r81052;
}



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