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 r2250169 = lambda1;
        double r2250170 = theta;
        double r2250171 = sin(r2250170);
        double r2250172 = delta;
        double r2250173 = sin(r2250172);
        double r2250174 = r2250171 * r2250173;
        double r2250175 = phi1;
        double r2250176 = cos(r2250175);
        double r2250177 = r2250174 * r2250176;
        double r2250178 = cos(r2250172);
        double r2250179 = sin(r2250175);
        double r2250180 = r2250179 * r2250178;
        double r2250181 = r2250176 * r2250173;
        double r2250182 = cos(r2250170);
        double r2250183 = r2250181 * r2250182;
        double r2250184 = r2250180 + r2250183;
        double r2250185 = asin(r2250184);
        double r2250186 = sin(r2250185);
        double r2250187 = r2250179 * r2250186;
        double r2250188 = r2250178 - r2250187;
        double r2250189 = atan2(r2250177, r2250188);
        double r2250190 = r2250169 + r2250189;
        return r2250190;
}

Reproduce

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