Use the --timeout flag to change the timeout.
\frac{x}{x + 1} - \frac{x + 1}{x - 1}double f(double x) {
double r49903235 = x;
double r49903236 = 1.0;
double r49903237 = r49903235 + r49903236;
double r49903238 = r49903235 / r49903237;
double r49903239 = r49903235 - r49903236;
double r49903240 = r49903237 / r49903239;
double r49903241 = r49903238 - r49903240;
return r49903241;
}
herbie shell --seed 2019112 +o rules:numerics
(FPCore (x)
:name "Asymptote C"
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))