Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \left(\sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}\]
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \left(\sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}
double f(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) {
        double r4459533 = lambda1;
        double r4459534 = theta;
        double r4459535 = sin(r4459534);
        double r4459536 = delta;
        double r4459537 = sin(r4459536);
        double r4459538 = r4459535 * r4459537;
        double r4459539 = phi1;
        double r4459540 = cos(r4459539);
        double r4459541 = r4459538 * r4459540;
        double r4459542 = cos(r4459536);
        double r4459543 = sin(r4459539);
        double r4459544 = r4459543 * r4459542;
        double r4459545 = r4459540 * r4459537;
        double r4459546 = cos(r4459534);
        double r4459547 = r4459545 * r4459546;
        double r4459548 = r4459544 + r4459547;
        double r4459549 = asin(r4459548);
        double r4459550 = sin(r4459549);
        double r4459551 = r4459543 * r4459550;
        double r4459552 = r4459542 - r4459551;
        double r4459553 = atan2(r4459541, r4459552);
        double r4459554 = r4459533 + r4459553;
        return r4459554;
}

Reproduce

herbie shell --seed 2019121 
(FPCore (lambda1 phi1 phi2 delta theta)
  :name "Destination given bearing on a great circle"
  (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))