Timeout after 2.5min

Use the --timeout flag to change the timeout.

?

\[\mathsf{*.f64}\left(R, \mathsf{*.f64}\left(2, \mathsf{atan2.f64}\left(\mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{pow.f64}\left(\mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\phi_1, \phi_2\right), 2\right)\right), 2\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{cos.f64}\left(\phi_1\right), \mathsf{cos.f64}\left(\phi_2\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right)\right)\right), \mathsf{sqrt.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{+.f64}\left(\mathsf{pow.f64}\left(\mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\phi_1, \phi_2\right), 2\right)\right), 2\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{cos.f64}\left(\phi_1\right), \mathsf{cos.f64}\left(\phi_2\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right)\right)\right)\right)\right)\right)\right) \]
(FPCore (R lambda1 lambda2 phi1 phi2)
 :precision binary64
 (*.f64
  R
  (*.f64
   2
   (atan2.f64
    (sqrt.f64
     (+.f64
      (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)
      (*.f64
       (*.f64
        (*.f64 (cos.f64 phi1) (cos.f64 phi2))
        (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))
       (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
    (sqrt.f64
     (-.f64
      1
      (+.f64
       (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)
       (*.f64
        (*.f64
         (*.f64 (cos.f64 phi1) (cos.f64 phi2))
         (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))
        (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))))))
\mathsf{*.f64}\left(R, \mathsf{*.f64}\left(2, \mathsf{atan2.f64}\left(\mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{pow.f64}\left(\mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\phi_1, \phi_2\right), 2\right)\right), 2\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{cos.f64}\left(\phi_1\right), \mathsf{cos.f64}\left(\phi_2\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right)\right)\right), \mathsf{sqrt.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{+.f64}\left(\mathsf{pow.f64}\left(\mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\phi_1, \phi_2\right), 2\right)\right), 2\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{cos.f64}\left(\phi_1\right), \mathsf{cos.f64}\left(\phi_2\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right), \mathsf{sin.f64}\left(\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\lambda_1, \lambda_2\right), 2\right)\right)\right)\right)\right)\right)\right)\right)\right)