\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r82695 = 1.0;
double r82696 = x;
double r82697 = r82696 - r82695;
double r82698 = r82695 / r82697;
double r82699 = r82696 + r82695;
double r82700 = r82696 / r82699;
double r82701 = r82698 + r82700;
return r82701;
}
double f(double x) {
double r82702 = 1.0;
double r82703 = x;
double r82704 = r82703 - r82702;
double r82705 = r82702 / r82704;
double r82706 = r82703 + r82702;
double r82707 = r82703 / r82706;
double r82708 = r82705 + r82707;
return r82708;
}



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