\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r16806427 = 1.0;
double r16806428 = x;
double r16806429 = r16806428 - r16806427;
double r16806430 = r16806427 / r16806429;
double r16806431 = r16806428 + r16806427;
double r16806432 = r16806428 / r16806431;
double r16806433 = r16806430 + r16806432;
return r16806433;
}
double f(double x) {
double r16806434 = 1.0;
double r16806435 = x;
double r16806436 = r16806435 - r16806434;
double r16806437 = r16806434 / r16806436;
double r16806438 = r16806435 + r16806434;
double r16806439 = r16806435 / r16806438;
double r16806440 = r16806437 + r16806439;
return r16806440;
}



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