Use the --timeout flag to change the timeout.
\frac{-\left(f + n\right)}{f - n}double code(double f, double n) {
return (-(f + n) / (f - n));
}
herbie shell --seed 2020091
(FPCore (f n)
:name "subtraction fraction"
:precision binary64
(/ (- (+ f n)) (- f n)))