\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r125118 = 1.0;
double r125119 = x;
double r125120 = r125119 - r125118;
double r125121 = r125118 / r125120;
double r125122 = r125119 + r125118;
double r125123 = r125119 / r125122;
double r125124 = r125121 + r125123;
return r125124;
}
double f(double x) {
double r125125 = 1.0;
double r125126 = x;
double r125127 = r125126 - r125125;
double r125128 = r125125 / r125127;
double r125129 = r125126 + r125125;
double r125130 = r125126 / r125129;
double r125131 = r125128 + r125130;
return r125131;
}



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