\frac{1}{x - 1} + \frac{x}{x + 1}\frac{1}{x - 1} + \frac{x}{x + 1}double f(double x) {
double r13768962 = 1.0;
double r13768963 = x;
double r13768964 = r13768963 - r13768962;
double r13768965 = r13768962 / r13768964;
double r13768966 = r13768963 + r13768962;
double r13768967 = r13768963 / r13768966;
double r13768968 = r13768965 + r13768967;
return r13768968;
}
double f(double x) {
double r13768969 = 1.0;
double r13768970 = x;
double r13768971 = r13768970 - r13768969;
double r13768972 = r13768969 / r13768971;
double r13768973 = r13768970 + r13768969;
double r13768974 = r13768970 / r13768973;
double r13768975 = r13768972 + r13768974;
return r13768975;
}



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