\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r5462783 = 1.0;
double r5462784 = x;
double r5462785 = r5462784 - r5462783;
double r5462786 = r5462783 / r5462785;
double r5462787 = r5462784 + r5462783;
double r5462788 = r5462784 / r5462787;
double r5462789 = r5462786 + r5462788;
return r5462789;
}
double f(double x) {
double r5462790 = 1.0;
double r5462791 = x;
double r5462792 = r5462791 - r5462790;
double r5462793 = r5462790 / r5462792;
double r5462794 = r5462791 + r5462790;
double r5462795 = r5462791 / r5462794;
double r5462796 = r5462793 + r5462795;
return r5462796;
}



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