Average Error: 0.2 → 0.2
Time: 28.1s
Precision: binary64
Cost: 370240
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)}\]
↓
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\left({\cos delta}^{3}\right)}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\cos delta}^{3} + {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\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 \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)}
↓
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\left({\cos delta}^{3}\right)}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\cos delta}^{3} + {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}
(FPCore (lambda1 phi1 phi2 delta theta)
 :precision binary64
 (+
  lambda1
  (atan2
   (* (* (sin theta) (sin delta)) (cos phi1))
   (-
    (cos delta)
    (*
     (sin phi1)
     (sin
      (asin
       (+
        (* (sin phi1) (cos delta))
        (* (* (cos phi1) (sin delta)) (cos theta))))))))))
↓
(FPCore (lambda1 phi1 phi2 delta theta)
 :precision binary64
 (+
  lambda1
  (atan2
   (* (* (sin theta) (sin delta)) (cos phi1))
   (/
    (/
     (-
      (pow (pow (cos delta) 3.0) 3.0)
      (pow
       (*
        (sin phi1)
        (sin
         (asin
          (+
           (* (cos delta) (sin phi1))
           (* (* (sin delta) (cos phi1)) (cos theta))))))
       9.0))
     (+
      (pow
       (*
        (sin phi1)
        (sin
         (asin
          (+
           (* (cos delta) (sin phi1))
           (* (* (sin delta) (cos phi1)) (cos theta))))))
       6.0)
      (*
       (pow (cos delta) 3.0)
       (+
        (pow (cos delta) 3.0)
        (pow
         (*
          (sin phi1)
          (sin
           (asin
            (+
             (* (cos delta) (sin phi1))
             (* (* (sin delta) (cos phi1)) (cos theta))))))
         3.0)))))
    (+
     (* (cos delta) (cos delta))
     (*
      (sin phi1)
      (*
       (sin
        (asin
         (+
          (* (cos delta) (sin phi1))
          (* (* (sin delta) (cos phi1)) (cos theta)))))
       (+
        (cos delta)
        (*
         (sin phi1)
         (sin
          (asin
           (+
            (* (cos delta) (sin phi1))
            (* (* (sin delta) (cos phi1)) (cos theta))))))))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
	return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta)))))));
}
↓
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
	return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (((pow(pow(cos(delta), 3.0), 3.0) - pow((sin(phi1) * sin(asin((cos(delta) * sin(phi1)) + ((sin(delta) * cos(phi1)) * cos(theta))))), 9.0)) / (pow((sin(phi1) * sin(asin((cos(delta) * sin(phi1)) + ((sin(delta) * cos(phi1)) * cos(theta))))), 6.0) + (pow(cos(delta), 3.0) * (pow(cos(delta), 3.0) + pow((sin(phi1) * sin(asin((cos(delta) * sin(phi1)) + ((sin(delta) * cos(phi1)) * cos(theta))))), 3.0))))) / ((cos(delta) * cos(delta)) + (sin(phi1) * (sin(asin((cos(delta) * sin(phi1)) + ((sin(delta) * cos(phi1)) * cos(theta)))) * (cos(delta) + (sin(phi1) * sin(asin((cos(delta) * sin(phi1)) + ((sin(delta) * cos(phi1)) * cos(theta)))))))))));
}

Error

Bits error versus lambda1

Bits error versus phi1

Bits error versus phi2

Bits error versus delta

Bits error versus theta

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Alternatives

Alternative 1
Error0.2
Cost363776
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\cos delta}^{9} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\cos delta}^{3} + {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}\]
Alternative 2
Error0.2
Cost233728
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{{\cos delta}^{3} - \log \left(e^{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}}\right)}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}\]
Alternative 3
Error0.2
Cost220928
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{{\cos delta}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}\]
Alternative 4
Error0.2
Cost84480
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)}\]
Alternative 5
Error5.9
Cost78792
\[\begin{array}{l} \mathbf{if}\;\phi_1 \leq -448585922463.00494 \lor \neg \left(\phi_1 \leq 7.128363531290528 \cdot 10^{-78}\right):\\ \;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{1 - \left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) + 0.5 \cdot \left(delta \cdot delta\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta}\\ \end{array}\]
Alternative 6
Error5.3
Cost78408
\[\begin{array}{l} \mathbf{if}\;delta \leq -0.16765974270127 \lor \neg \left(delta \leq 2.3857630867486614 \cdot 10^{-60}\right):\\ \;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta}\\ \mathbf{else}:\\ \;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{1 - \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)}\\ \end{array}\]
Alternative 7
Error7.0
Cost32512
\[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta}\]
Alternative 8
Error60.0
Cost385
\[\begin{array}{l} \mathbf{if}\;\lambda_1 \leq -3.257395106156418 \cdot 10^{-86}:\\ \;\;\;\;-1\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array}\]
Alternative 9
Error60.9
Cost64
\[1\]

Error

Derivation

  1. Initial program 0.2

    \[\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)}\]
  2. Using strategy rm

  3. Applied flip3--_binary64_34920.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\color{blue}{\frac{{\cos delta}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}}{\cos delta \cdot \cos delta + \left(\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right) \cdot \left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right) + \cos delta \cdot \left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}}\]

  4. Simplified0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\color{blue}{{\cos delta}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}}}{\cos delta \cdot \cos delta + \left(\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right) \cdot \left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right) + \cos delta \cdot \left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  5. Simplified0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{{\cos delta}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}}{\color{blue}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}}\]
  6. Using strategy rm

  7. Applied flip3--_binary64_34920.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\color{blue}{\frac{{\left({\cos delta}^{3}\right)}^{3} - {\left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}\right)}^{3}}{{\cos delta}^{3} \cdot {\cos delta}^{3} + \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} \cdot {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3} \cdot {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}\right)}}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  8. Simplified0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{\color{blue}{{\cos delta}^{9} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{9}}}{{\cos delta}^{3} \cdot {\cos delta}^{3} + \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} \cdot {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3} \cdot {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  9. Simplified0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\cos delta}^{9} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{9}}{\color{blue}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3}\right)}}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]
  10. Using strategy rm

  11. Applied add-sqr-sqrt_binary64_35100.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\cos delta}^{\color{blue}{\left(\sqrt{9} \cdot \sqrt{9}\right)}} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  12. Applied pow-unpow_binary64_35650.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{\color{blue}{{\left({\cos delta}^{\left(\sqrt{9}\right)}\right)}^{\left(\sqrt{9}\right)}} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  13. Simplified0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\color{blue}{\left({\cos delta}^{3}\right)}}^{\left(\sqrt{9}\right)} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)}^{3} + {\cos delta}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)\right)\right)}}\]

  14. Simplified0.2

    \[\leadsto \color{blue}{\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\left({\cos delta}^{3}\right)}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\cos delta}^{3} + {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}}\]

  15. Final simplification0.2

    \[\leadsto \lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\frac{\frac{{\left({\cos delta}^{3}\right)}^{3} - {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{9}}{{\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{6} + {\cos delta}^{3} \cdot \left({\cos delta}^{3} + {\left(\sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)}^{3}\right)}}{\cos delta \cdot \cos delta + \sin \phi_1 \cdot \left(\sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right) \cdot \left(\cos delta + \sin \phi_1 \cdot \sin \sin^{-1} \left(\cos delta \cdot \sin \phi_1 + \left(\sin delta \cdot \cos \phi_1\right) \cdot \cos theta\right)\right)\right)}}\]

Reproduce

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