Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\frac{\pi}{2} \cdot \frac{1}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1}{a} - \frac{1}{b}\right)\]
\left(\frac{\pi}{2} \cdot \frac{1}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1}{a} - \frac{1}{b}\right)
double f(double a, double b) {
        double r5915377 = atan2(1.0, 0.0);
        double r5915378 = 2.0;
        double r5915379 = r5915377 / r5915378;
        double r5915380 = 1.0;
        double r5915381 = b;
        double r5915382 = r5915381 * r5915381;
        double r5915383 = a;
        double r5915384 = r5915383 * r5915383;
        double r5915385 = r5915382 - r5915384;
        double r5915386 = r5915380 / r5915385;
        double r5915387 = r5915379 * r5915386;
        double r5915388 = r5915380 / r5915383;
        double r5915389 = r5915380 / r5915381;
        double r5915390 = r5915388 - r5915389;
        double r5915391 = r5915387 * r5915390;
        return r5915391;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (a b)
  :name "NMSE Section 6.1 mentioned, B"
  (* (* (/ PI 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))))