\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r111046 = 1.0;
double r111047 = x;
double r111048 = r111047 - r111046;
double r111049 = r111046 / r111048;
double r111050 = r111047 + r111046;
double r111051 = r111047 / r111050;
double r111052 = r111049 + r111051;
return r111052;
}
double f(double x) {
double r111053 = 1.0;
double r111054 = x;
double r111055 = r111054 - r111053;
double r111056 = r111053 / r111055;
double r111057 = r111054 + r111053;
double r111058 = r111054 / r111057;
double r111059 = r111056 + r111058;
return r111059;
}



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