Use the --timeout flag to change the timeout.
\frac{x}{x + 1} - \frac{x + 1}{x - 1}double f(double x) {
double r1770739 = x;
double r1770740 = 1.0;
double r1770741 = r1770739 + r1770740;
double r1770742 = r1770739 / r1770741;
double r1770743 = r1770739 - r1770740;
double r1770744 = r1770741 / r1770743;
double r1770745 = r1770742 - r1770744;
return r1770745;
}
herbie shell --seed 2019305
(FPCore (x)
:name "Asymptote C"
:precision binary64
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))