\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r3599701 = 1.0;
double r3599702 = x;
double r3599703 = r3599702 - r3599701;
double r3599704 = r3599701 / r3599703;
double r3599705 = r3599702 + r3599701;
double r3599706 = r3599702 / r3599705;
double r3599707 = r3599704 + r3599706;
return r3599707;
}
double f(double x) {
double r3599708 = 1.0;
double r3599709 = x;
double r3599710 = r3599709 - r3599708;
double r3599711 = r3599708 / r3599710;
double r3599712 = r3599709 + r3599708;
double r3599713 = r3599709 / r3599712;
double r3599714 = r3599711 + r3599713;
return r3599714;
}



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