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 r2322320 = lambda1;
        double r2322321 = theta;
        double r2322322 = sin(r2322321);
        double r2322323 = delta;
        double r2322324 = sin(r2322323);
        double r2322325 = r2322322 * r2322324;
        double r2322326 = phi1;
        double r2322327 = cos(r2322326);
        double r2322328 = r2322325 * r2322327;
        double r2322329 = cos(r2322323);
        double r2322330 = sin(r2322326);
        double r2322331 = r2322330 * r2322329;
        double r2322332 = r2322327 * r2322324;
        double r2322333 = cos(r2322321);
        double r2322334 = r2322332 * r2322333;
        double r2322335 = r2322331 + r2322334;
        double r2322336 = asin(r2322335);
        double r2322337 = sin(r2322336);
        double r2322338 = r2322330 * r2322337;
        double r2322339 = r2322329 - r2322338;
        double r2322340 = atan2(r2322328, r2322339);
        double r2322341 = r2322320 + r2322340;
        return r2322341;
}

Reproduce

herbie shell --seed 2019141 
(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))))))))))