VandenBroeck and Keller, Equation (23)

1. Split input into 3 regimes

2. if F < -9.5000000000000004e95

   1. Initial program 42.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.8%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv99.9%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num99.9%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr99.9%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -9.5000000000000004e95 < F < 1.05e8

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   if 1.05e8 < F

   1. Initial program 63.6%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/75.2%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/75.2%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative75.2%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified75.3%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 75.2%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/75.3%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity75.3%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow275.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef75.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified75.3%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 99.8%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification99.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -9.5 \cdot 10^{+95}:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq 105000000:\\ \;\;\;\;F \cdot \frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -1.00000000000000001e43

   1. Initial program 53.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.8%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv99.8%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num99.9%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr99.9%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -1.00000000000000001e43 < F < 9.8e7

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.7%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in B around inf 99.7%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   8. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      5. unpow1/299.7%

         \[\leadsto F \cdot \frac{\color{blue}{{\left(\frac{1}{\mathsf{fma}\left(F, F, 2\right)}\right)}^{0.5}}}{\sin B} - \frac{x}{\tan B} \]

      6. rem-exp-log99.6%

         \[\leadsto F \cdot \frac{{\left(\frac{1}{\color{blue}{e^{\log \left(\mathsf{fma}\left(F, F, 2\right)\right)}}}\right)}^{0.5}}{\sin B} - \frac{x}{\tan B} \]

      7. exp-neg99.6%

         \[\leadsto F \cdot \frac{{\color{blue}{\left(e^{-\log \left(\mathsf{fma}\left(F, F, 2\right)\right)}\right)}}^{0.5}}{\sin B} - \frac{x}{\tan B} \]

      8. exp-prod99.6%

         \[\leadsto F \cdot \frac{\color{blue}{e^{\left(-\log \left(\mathsf{fma}\left(F, F, 2\right)\right)\right) \cdot 0.5}}}{\sin B} - \frac{x}{\tan B} \]

      9. *-commutative99.6%

         \[\leadsto F \cdot \frac{e^{\color{blue}{0.5 \cdot \left(-\log \left(\mathsf{fma}\left(F, F, 2\right)\right)\right)}}}{\sin B} - \frac{x}{\tan B} \]

      10. neg-mul-199.6%

          \[\leadsto F \cdot \frac{e^{0.5 \cdot \color{blue}{\left(-1 \cdot \log \left(\mathsf{fma}\left(F, F, 2\right)\right)\right)}}}{\sin B} - \frac{x}{\tan B} \]

      11. associate-*r*99.6%

          \[\leadsto F \cdot \frac{e^{\color{blue}{\left(0.5 \cdot -1\right) \cdot \log \left(\mathsf{fma}\left(F, F, 2\right)\right)}}}{\sin B} - \frac{x}{\tan B} \]

      12. metadata-eval99.6%

          \[\leadsto F \cdot \frac{e^{\color{blue}{-0.5} \cdot \log \left(\mathsf{fma}\left(F, F, 2\right)\right)}}{\sin B} - \frac{x}{\tan B} \]

      13. log-pow99.6%

          \[\leadsto F \cdot \frac{e^{\color{blue}{\log \left({\left(\mathsf{fma}\left(F, F, 2\right)\right)}^{-0.5}\right)}}}{\sin B} - \frac{x}{\tan B} \]

      14. rem-exp-log99.7%

          \[\leadsto F \cdot \frac{\color{blue}{{\left(\mathsf{fma}\left(F, F, 2\right)\right)}^{-0.5}}}{\sin B} - \frac{x}{\tan B} \]

   9. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{{\left(\mathsf{fma}\left(F, F, 2\right)\right)}^{-0.5}}{\sin B}} - \frac{x}{\tan B} \]

   if 9.8e7 < F

   1. Initial program 63.6%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/75.2%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/75.2%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative75.2%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified75.3%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 75.2%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/75.3%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity75.3%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow275.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef75.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified75.3%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 99.8%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification99.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -1 \cdot 10^{+43}:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq 98000000:\\ \;\;\;\;F \cdot \frac{{\left(\mathsf{fma}\left(F, F, 2\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.15e8

   1. Initial program 55.8%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.7%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv99.8%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num99.8%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr99.8%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -2.15e8 < F < 1.18e8

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   if 1.18e8 < F

   1. Initial program 63.6%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg63.6%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/75.2%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/75.2%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative75.2%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified75.3%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 75.2%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/75.3%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity75.3%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow275.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef75.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified75.3%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 99.8%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification99.7%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -215000000:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq 118000000:\\ \;\;\;\;x \cdot \frac{-1}{\tan B} + \frac{F}{\sin B} \cdot {\left(\left(2 + F \cdot F\right) + x \cdot 2\right)}^{-0.5}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -0.900000000000000022

   1. Initial program 57.0%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative57.0%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg57.0%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/67.3%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/67.2%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative67.2%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified67.3%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 67.3%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/67.3%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity67.3%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow267.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef67.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified67.3%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div67.3%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval67.3%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr67.3%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around -inf 99.3%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{-1 \cdot F - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
   10. Step-by-step derivation

       1. mul-1-neg99.3%

          \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right)} - \frac{1}{F}}}{\sin B} - \frac{x}{\tan B} \]

   11. Simplified99.3%

       \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right) - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]

   if -0.900000000000000022 < F < 3.69999999999999989e-13

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around 0 99.3%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{0.5}}}{\sin B} - \frac{x}{\tan B} \]

   if 3.69999999999999989e-13 < F

   1. Initial program 65.0%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative65.0%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg65.0%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/76.2%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/76.2%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative76.2%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified76.3%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 76.2%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/76.3%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity76.3%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow276.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef76.3%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified76.3%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div76.3%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval76.3%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr76.3%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around inf 99.6%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{F + \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification99.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -0.9:\\ \;\;\;\;F \cdot \frac{\frac{1}{\frac{-1}{F} - F}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{elif}\;F \leq 3.7 \cdot 10^{-13}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;F \cdot \frac{\frac{1}{F + \frac{1}{F}}}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 4 regimes

2. if F < -2.15e8

   1. Initial program 55.8%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.7%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv99.8%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num99.8%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr99.8%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -2.15e8 < F < -9.4000000000000001e-63

   1. Initial program 99.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in B around 0 99.4%

      \[\leadsto \left(-\color{blue}{\frac{x}{B}}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   if -9.4000000000000001e-63 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.7%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval77.2%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr77.2%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around inf 98.4%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{F + \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
3. Recombined 4 regimes into one program.

4. Final simplification93.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -215000000:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq -9.4 \cdot 10^{-63}:\\ \;\;\;\;\frac{F}{\sin B} \cdot {\left(\left(2 + F \cdot F\right) + x \cdot 2\right)}^{-0.5} - \frac{x}{B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \left(\sqrt{\frac{1}{2 + x \cdot 2}} \cdot \frac{1}{B}\right) - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;F \cdot \frac{\frac{1}{F + \frac{1}{F}}}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative58.7%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg58.7%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/68.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/68.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative68.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified68.6%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 68.5%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/68.6%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity68.6%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow268.6%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef68.6%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified68.6%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div68.5%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval68.5%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr68.5%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around -inf 95.7%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{-1 \cdot F - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
   10. Step-by-step derivation

       1. mul-1-neg95.7%

          \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right)} - \frac{1}{F}}}{\sin B} - \frac{x}{\tan B} \]

   11. Simplified95.7%

       \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right) - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]

   if -2.4000000000000001e-26 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval77.2%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr77.2%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around inf 98.4%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{F + \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification91.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;F \cdot \frac{\frac{1}{\frac{-1}{F} - F}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \left(\sqrt{\frac{1}{2 + x \cdot 2}} \cdot \frac{1}{B}\right) - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;F \cdot \frac{\frac{1}{F + \frac{1}{F}}}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv95.6%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num95.6%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr95.6%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -2.4000000000000001e-26 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   6. Taylor expanded in x around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{0.5}}{B}} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval77.2%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr77.2%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around inf 98.4%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{F + \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification91.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;F \cdot \frac{\frac{1}{F + \frac{1}{F}}}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative58.7%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg58.7%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/68.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/68.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative68.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified68.6%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 68.5%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/68.6%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity68.6%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow268.6%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef68.6%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified68.6%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div68.5%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval68.5%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr68.5%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around -inf 95.7%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{-1 \cdot F - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
   10. Step-by-step derivation

       1. mul-1-neg95.7%

          \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right)} - \frac{1}{F}}}{\sin B} - \frac{x}{\tan B} \]

   11. Simplified95.7%

       \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{\left(-F\right) - \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]

   if -2.4000000000000001e-26 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   6. Taylor expanded in x around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{0.5}}{B}} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]
   7. Step-by-step derivation

      1. sqrt-div77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\frac{\sqrt{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

      2. metadata-eval77.2%

         \[\leadsto F \cdot \frac{\frac{\color{blue}{1}}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B} - \frac{x}{\tan B} \]

   8. Applied egg-rr77.2%

      \[\leadsto F \cdot \frac{\color{blue}{\frac{1}{\sqrt{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   9. Taylor expanded in F around inf 98.4%

      \[\leadsto F \cdot \frac{\frac{1}{\color{blue}{F + \frac{1}{F}}}}{\sin B} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification91.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;F \cdot \frac{\frac{1}{\frac{-1}{F} - F}}{\sin B} - \frac{x}{\tan B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;F \cdot \frac{\frac{1}{F + \frac{1}{F}}}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 4 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 75.6%

      \[\leadsto \left(-\color{blue}{\frac{x}{B}}\right) + \frac{-1}{\sin B} \]

   if -2.4000000000000001e-26 < F < -8.0000000000000004e-115

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.6%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.6%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around 0 99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{\sin B}} - \frac{x}{\tan B} \]
   8. Step-by-step derivation

      1. associate-/l*99.5%

         \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   9. Simplified99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   10. Taylor expanded in B around 0 75.8%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F - x}{B}} \]

   11. Taylor expanded in F around 0 75.9%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{B} + -1 \cdot \frac{x}{B}} \]
   12. Step-by-step derivation

       1. *-commutative75.9%

          \[\leadsto \frac{\color{blue}{F \cdot \sqrt{0.5}}}{B} + -1 \cdot \frac{x}{B} \]

       2. mul-1-neg75.9%

          \[\leadsto \frac{F \cdot \sqrt{0.5}}{B} + \color{blue}{\left(-\frac{x}{B}\right)} \]

       3. sub-neg75.9%

          \[\leadsto \color{blue}{\frac{F \cdot \sqrt{0.5}}{B} - \frac{x}{B}} \]

       4. associate-/l*75.8%

          \[\leadsto \color{blue}{\frac{F}{\frac{B}{\sqrt{0.5}}}} - \frac{x}{B} \]

       5. associate-/r/75.9%

          \[\leadsto \color{blue}{\frac{F}{B} \cdot \sqrt{0.5}} - \frac{x}{B} \]

   13. Simplified75.9%

       \[\leadsto \color{blue}{\frac{F}{B} \cdot \sqrt{0.5} - \frac{x}{B}} \]

   if -8.0000000000000004e-115 < F < 5.0000000000000002e-85

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 28.2%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 76.4%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg76.4%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*76.3%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/76.2%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in76.2%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified76.2%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp8.0%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out8.0%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg8.0%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt6.1%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod7.6%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg7.6%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.4%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.5%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod7.8%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg7.8%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod6.2%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt7.8%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod8.0%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num8.0%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot8.0%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr76.6%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac76.6%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified76.6%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   if 5.0000000000000002e-85 < F

   1. Initial program 70.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative70.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg70.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/79.6%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/79.6%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative79.6%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified79.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 79.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/79.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity79.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow279.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef79.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified79.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 90.9%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 4 regimes into one program.

4. Final simplification81.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\sin B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq -8 \cdot 10^{-115}:\\ \;\;\;\;\sqrt{0.5} \cdot \frac{F}{B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq 5 \cdot 10^{-85}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -1.02e11

   1. Initial program 55.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.7%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 79.6%

      \[\leadsto \left(-\color{blue}{\frac{x}{B}}\right) + \frac{-1}{\sin B} \]

   if -1.02e11 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 98.5%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 80.7%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   6. Taylor expanded in x around 0 80.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{0.5}}{B}} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 98.2%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification85.7%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -102000000000:\\ \;\;\;\;\frac{-1}{\sin B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   if -2.4000000000000001e-26 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   6. Taylor expanded in x around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{0.5}}{B}} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 98.2%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification91.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\sin B} + x \cdot \frac{-1}{\tan B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]
   3. Step-by-step derivation

      1. div-inv95.6%

         \[\leadsto \left(-\color{blue}{\frac{x}{\tan B}}\right) + \frac{-1}{\sin B} \]

      2. clear-num95.6%

         \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   4. Applied egg-rr95.6%

      \[\leadsto \left(-\color{blue}{\frac{1}{\frac{\tan B}{x}}}\right) + \frac{-1}{\sin B} \]

   if -2.4000000000000001e-26 < F < 1.54999999999999995e-30

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.5%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.5%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.5%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around 0 99.7%

      \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{2 + 2 \cdot x}}}}{\sin B} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\left(\sqrt{\frac{1}{2 + 2 \cdot x}} \cdot \frac{1}{B}\right)} - \frac{x}{\tan B} \]

   6. Taylor expanded in x around 0 83.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{0.5}}{B}} - \frac{x}{\tan B} \]

   if 1.54999999999999995e-30 < F

   1. Initial program 66.4%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg66.4%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/77.1%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/77.1%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative77.1%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified77.2%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 77.1%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/77.2%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity77.2%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow277.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef77.2%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified77.2%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around inf 98.2%

      \[\leadsto \color{blue}{\frac{1}{\sin B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification91.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\frac{\tan B}{x}} + \frac{-1}{\sin B}\\ \mathbf{elif}\;F \leq 1.55 \cdot 10^{-30}:\\ \;\;\;\;F \cdot \frac{\sqrt{0.5}}{B} - \frac{x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sin B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 4 regimes

2. if F < -0.00104999999999999994

   1. Initial program 57.6%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 97.9%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 49.6%

      \[\leadsto \color{blue}{\left(0.3333333333333333 \cdot x - 0.16666666666666666\right) \cdot B + -1 \cdot \frac{1 + x}{B}} \]

   if -0.00104999999999999994 < F < -3.79999999999999992e-115

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.3%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.6%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.6%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.5%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around 0 99.4%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{\sin B}} - \frac{x}{\tan B} \]
   8. Step-by-step derivation

      1. associate-/l*99.5%

         \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   9. Simplified99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   10. Taylor expanded in B around 0 68.1%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F - x}{B}} \]

   if -3.79999999999999992e-115 < F < 2.4e-71

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 28.4%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 75.0%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg75.0%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in74.8%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified74.8%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp7.8%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out7.8%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg7.8%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt6.0%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.4%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.5%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod6.0%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt7.7%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod7.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr75.2%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac75.2%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified75.2%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   if 2.4e-71 < F

   1. Initial program 69.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/78.9%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/78.9%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative78.9%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified79.0%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around inf 92.5%

      \[\leadsto F \cdot \color{blue}{\frac{1}{\sin B \cdot F}} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 71.2%

      \[\leadsto \color{blue}{\frac{1}{B}} - \frac{x}{\tan B} \]
3. Recombined 4 regimes into one program.

4. Final simplification66.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -0.00105:\\ \;\;\;\;B \cdot \left(x \cdot 0.3333333333333333 - 0.16666666666666666\right) + \frac{-1 - x}{B}\\ \mathbf{elif}\;F \leq -3.8 \cdot 10^{-115}:\\ \;\;\;\;\frac{F \cdot \sqrt{0.5} - x}{B}\\ \mathbf{elif}\;F \leq 2.4 \cdot 10^{-71}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 4 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 75.6%

      \[\leadsto \left(-\color{blue}{\frac{x}{B}}\right) + \frac{-1}{\sin B} \]

   if -2.4000000000000001e-26 < F < -6.7000000000000002e-115

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.6%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.6%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around 0 99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{\sin B}} - \frac{x}{\tan B} \]
   8. Step-by-step derivation

      1. associate-/l*99.5%

         \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   9. Simplified99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   10. Taylor expanded in B around 0 75.8%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F - x}{B}} \]

   if -6.7000000000000002e-115 < F < 1.06e-75

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 28.4%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 75.0%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg75.0%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in74.8%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified74.8%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp7.8%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out7.8%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg7.8%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt6.0%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.4%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.5%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod6.0%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt7.7%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod7.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr75.2%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac75.2%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified75.2%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   if 1.06e-75 < F

   1. Initial program 69.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/78.9%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/78.9%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative78.9%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified79.0%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around inf 92.5%

      \[\leadsto F \cdot \color{blue}{\frac{1}{\sin B \cdot F}} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 71.2%

      \[\leadsto \color{blue}{\frac{1}{B}} - \frac{x}{\tan B} \]
3. Recombined 4 regimes into one program.

4. Final simplification74.0%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\sin B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq -6.7 \cdot 10^{-115}:\\ \;\;\;\;\frac{F \cdot \sqrt{0.5} - x}{B}\\ \mathbf{elif}\;F \leq 1.06 \cdot 10^{-75}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 4 regimes

2. if F < -2.4000000000000001e-26

   1. Initial program 58.7%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 95.5%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 75.6%

      \[\leadsto \left(-\color{blue}{\frac{x}{B}}\right) + \frac{-1}{\sin B} \]

   if -2.4000000000000001e-26 < F < -1.0000000000000001e-114

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg99.5%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/99.4%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/99.6%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative99.6%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified99.7%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in x around 0 99.6%

      \[\leadsto F \cdot \color{blue}{\left(\frac{1}{\sin B} \cdot \sqrt{\frac{1}{{F}^{2} + 2}}\right)} - \frac{x}{\tan B} \]
   5. Step-by-step derivation

      1. associate-*l/99.7%

         \[\leadsto F \cdot \color{blue}{\frac{1 \cdot \sqrt{\frac{1}{{F}^{2} + 2}}}{\sin B}} - \frac{x}{\tan B} \]

      2. *-lft-identity99.7%

         \[\leadsto F \cdot \frac{\color{blue}{\sqrt{\frac{1}{{F}^{2} + 2}}}}{\sin B} - \frac{x}{\tan B} \]

      3. unpow299.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{F \cdot F} + 2}}}{\sin B} - \frac{x}{\tan B} \]

      4. fma-udef99.7%

         \[\leadsto F \cdot \frac{\sqrt{\frac{1}{\color{blue}{\mathsf{fma}\left(F, F, 2\right)}}}}{\sin B} - \frac{x}{\tan B} \]

   6. Simplified99.7%

      \[\leadsto F \cdot \color{blue}{\frac{\sqrt{\frac{1}{\mathsf{fma}\left(F, F, 2\right)}}}{\sin B}} - \frac{x}{\tan B} \]

   7. Taylor expanded in F around 0 99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{\sin B}} - \frac{x}{\tan B} \]
   8. Step-by-step derivation

      1. associate-/l*99.5%

         \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   9. Simplified99.5%

      \[\leadsto \color{blue}{\frac{\sqrt{0.5}}{\frac{\sin B}{F}}} - \frac{x}{\tan B} \]

   10. Taylor expanded in B around 0 75.8%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F - x}{B}} \]

   11. Taylor expanded in F around 0 75.9%

       \[\leadsto \color{blue}{\frac{\sqrt{0.5} \cdot F}{B} + -1 \cdot \frac{x}{B}} \]
   12. Step-by-step derivation

       1. *-commutative75.9%

          \[\leadsto \frac{\color{blue}{F \cdot \sqrt{0.5}}}{B} + -1 \cdot \frac{x}{B} \]

       2. mul-1-neg75.9%

          \[\leadsto \frac{F \cdot \sqrt{0.5}}{B} + \color{blue}{\left(-\frac{x}{B}\right)} \]

       3. sub-neg75.9%

          \[\leadsto \color{blue}{\frac{F \cdot \sqrt{0.5}}{B} - \frac{x}{B}} \]

       4. associate-/l*75.8%

          \[\leadsto \color{blue}{\frac{F}{\frac{B}{\sqrt{0.5}}}} - \frac{x}{B} \]

       5. associate-/r/75.9%

          \[\leadsto \color{blue}{\frac{F}{B} \cdot \sqrt{0.5}} - \frac{x}{B} \]

   13. Simplified75.9%

       \[\leadsto \color{blue}{\frac{F}{B} \cdot \sqrt{0.5} - \frac{x}{B}} \]

   if -1.0000000000000001e-114 < F < 2.8e-71

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 28.4%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 75.0%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg75.0%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/74.8%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in74.8%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified74.8%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp7.8%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out7.8%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg7.8%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt6.0%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg7.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.4%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.5%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.5%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg7.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod6.0%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt7.7%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod7.8%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot7.8%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr75.2%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac75.2%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified75.2%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   if 2.8e-71 < F

   1. Initial program 69.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/78.9%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/78.9%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative78.9%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified79.0%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around inf 92.5%

      \[\leadsto F \cdot \color{blue}{\frac{1}{\sin B \cdot F}} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 71.2%

      \[\leadsto \color{blue}{\frac{1}{B}} - \frac{x}{\tan B} \]
3. Recombined 4 regimes into one program.

4. Final simplification74.0%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-26}:\\ \;\;\;\;\frac{-1}{\sin B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq -1 \cdot 10^{-114}:\\ \;\;\;\;\sqrt{0.5} \cdot \frac{F}{B} - \frac{x}{B}\\ \mathbf{elif}\;F \leq 2.8 \cdot 10^{-71}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 3 regimes

2. if F < -1.27999999999999994e113

   1. Initial program 39.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.8%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 55.3%

      \[\leadsto \color{blue}{\left(0.3333333333333333 \cdot x - 0.16666666666666666\right) \cdot B + -1 \cdot \frac{1 + x}{B}} \]

   if -1.27999999999999994e113 < F < 1.4500000000000001e-75

   1. Initial program 99.5%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 40.9%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 63.5%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg63.5%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*63.4%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/63.4%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in63.4%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified63.4%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp8.3%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out8.3%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg8.3%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt6.7%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod8.1%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg8.1%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.3%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.3%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.3%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.5%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.4%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod8.0%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg8.0%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod6.6%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt8.2%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod8.3%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num8.3%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot8.3%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr63.7%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac63.7%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified63.7%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   if 1.4500000000000001e-75 < F

   1. Initial program 69.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]
   2. Step-by-step derivation

      1. +-commutative69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} + \left(-x \cdot \frac{1}{\tan B}\right)} \]

      2. unsub-neg69.1%

         \[\leadsto \color{blue}{\frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} - x \cdot \frac{1}{\tan B}} \]

      3. associate-*l/78.9%

         \[\leadsto \color{blue}{\frac{F \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      4. associate-*r/78.9%

         \[\leadsto \color{blue}{F \cdot \frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B}} - x \cdot \frac{1}{\tan B} \]

      5. *-commutative78.9%

         \[\leadsto \color{blue}{\frac{{\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}}{\sin B} \cdot F} - x \cdot \frac{1}{\tan B} \]

   3. Simplified79.0%

      \[\leadsto \color{blue}{F \cdot \frac{{\left(\mathsf{fma}\left(x, 2, \mathsf{fma}\left(F, F, 2\right)\right)\right)}^{-0.5}}{\sin B} - \frac{x}{\tan B}} \]

   4. Taylor expanded in F around inf 92.5%

      \[\leadsto F \cdot \color{blue}{\frac{1}{\sin B \cdot F}} - \frac{x}{\tan B} \]

   5. Taylor expanded in B around 0 71.2%

      \[\leadsto \color{blue}{\frac{1}{B}} - \frac{x}{\tan B} \]
3. Recombined 3 regimes into one program.

4. Final simplification64.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -1.28 \cdot 10^{+113}:\\ \;\;\;\;B \cdot \left(x \cdot 0.3333333333333333 - 0.16666666666666666\right) + \frac{-1 - x}{B}\\ \mathbf{elif}\;F \leq 1.45 \cdot 10^{-75}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{B} - \frac{x}{\tan B}\\ \end{array} \]

1. Split input into 2 regimes

2. if F < -1.3500000000000001e112

   1. Initial program 39.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.8%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 55.3%

      \[\leadsto \color{blue}{\left(0.3333333333333333 \cdot x - 0.16666666666666666\right) \cdot B + -1 \cdot \frac{1 + x}{B}} \]

   if -1.3500000000000001e112 < F

   1. Initial program 87.1%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 42.8%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in x around inf 56.8%

      \[\leadsto \color{blue}{-1 \cdot \frac{\cos B \cdot x}{\sin B}} \]
   4. Step-by-step derivation

      1. mul-1-neg56.8%

         \[\leadsto \color{blue}{-\frac{\cos B \cdot x}{\sin B}} \]

      2. associate-/l*56.7%

         \[\leadsto -\color{blue}{\frac{\cos B}{\frac{\sin B}{x}}} \]

      3. associate-/r/56.7%

         \[\leadsto -\color{blue}{\frac{\cos B}{\sin B} \cdot x} \]

      4. distribute-rgt-neg-in56.7%

         \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]

   5. Simplified56.7%

      \[\leadsto \color{blue}{\frac{\cos B}{\sin B} \cdot \left(-x\right)} \]
   6. Step-by-step derivation

      1. add-log-exp10.0%

         \[\leadsto \color{blue}{\log \left(e^{\frac{\cos B}{\sin B} \cdot \left(-x\right)}\right)} \]

      2. distribute-rgt-neg-out10.0%

         \[\leadsto \log \left(e^{\color{blue}{-\frac{\cos B}{\sin B} \cdot x}}\right) \]

      3. exp-neg10.0%

         \[\leadsto \log \color{blue}{\left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot x}}\right)} \]

      4. add-sqr-sqrt7.7%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{x} \cdot \sqrt{x}\right)}}}\right) \]

      5. sqrt-unprod8.8%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\sqrt{x \cdot x}}}}\right) \]

      6. sqr-neg8.8%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \sqrt{\color{blue}{\left(-x\right) \cdot \left(-x\right)}}}}\right) \]

      7. sqrt-unprod1.1%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(\sqrt{-x} \cdot \sqrt{-x}\right)}}}\right) \]

      8. add-sqr-sqrt2.2%

         \[\leadsto \log \left(\frac{1}{e^{\frac{\cos B}{\sin B} \cdot \color{blue}{\left(-x\right)}}}\right) \]

      9. *-commutative2.2%

         \[\leadsto \log \left(\frac{1}{e^{\color{blue}{\left(-x\right) \cdot \frac{\cos B}{\sin B}}}}\right) \]

      10. exp-prod2.1%

          \[\leadsto \log \left(\frac{1}{\color{blue}{{\left(e^{-x}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}}\right) \]

      11. add-sqr-sqrt1.2%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{-x} \cdot \sqrt{-x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      12. sqrt-unprod8.9%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{\left(-x\right) \cdot \left(-x\right)}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      13. sqr-neg8.9%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\sqrt{\color{blue}{x \cdot x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      14. sqrt-unprod7.7%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{\sqrt{x} \cdot \sqrt{x}}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      15. add-sqr-sqrt9.8%

          \[\leadsto \log \left(\frac{1}{{\left(e^{\color{blue}{x}}\right)}^{\left(\frac{\cos B}{\sin B}\right)}}\right) \]

      16. exp-prod10.0%

          \[\leadsto \log \left(\frac{1}{\color{blue}{e^{x \cdot \frac{\cos B}{\sin B}}}}\right) \]

      17. clear-num10.0%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \color{blue}{\frac{1}{\frac{\sin B}{\cos B}}}}}\right) \]

      18. tan-quot10.0%

          \[\leadsto \log \left(\frac{1}{e^{x \cdot \frac{1}{\color{blue}{\tan B}}}}\right) \]

   7. Applied egg-rr56.9%

      \[\leadsto \color{blue}{-\frac{x}{\tan B}} \]
   8. Step-by-step derivation

      1. distribute-neg-frac56.9%

         \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]

   9. Simplified56.9%

      \[\leadsto \color{blue}{\frac{-x}{\tan B}} \]
3. Recombined 2 regimes into one program.

4. Final simplification56.6%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -1.35 \cdot 10^{+112}:\\ \;\;\;\;B \cdot \left(x \cdot 0.3333333333333333 - 0.16666666666666666\right) + \frac{-1 - x}{B}\\ \mathbf{else}:\\ \;\;\;\;\frac{-x}{\tan B}\\ \end{array} \]

1. Split input into 2 regimes

2. if F < -2.4e-33

   1. Initial program 59.8%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 94.4%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 48.6%

      \[\leadsto \color{blue}{\left(0.3333333333333333 \cdot x - 0.16666666666666666\right) \cdot B + -1 \cdot \frac{1 + x}{B}} \]

   if -2.4e-33 < F

   1. Initial program 85.3%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 36.9%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 16.4%

      \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
   4. Step-by-step derivation

      1. associate-*r/16.4%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

      2. distribute-lft-in16.4%

         \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

      3. metadata-eval16.4%

         \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

      4. neg-mul-116.4%

         \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

   5. Simplified16.4%

      \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

   6. Taylor expanded in x around inf 28.1%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{B}} \]
   7. Step-by-step derivation

      1. mul-1-neg28.1%

         \[\leadsto \color{blue}{-\frac{x}{B}} \]

      2. distribute-neg-frac28.1%

         \[\leadsto \color{blue}{\frac{-x}{B}} \]

   8. Simplified28.1%

      \[\leadsto \color{blue}{\frac{-x}{B}} \]
3. Recombined 2 regimes into one program.

4. Final simplification34.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -2.4 \cdot 10^{-33}:\\ \;\;\;\;B \cdot \left(x \cdot 0.3333333333333333 - 0.16666666666666666\right) + \frac{-1 - x}{B}\\ \mathbf{else}:\\ \;\;\;\;\frac{-x}{B}\\ \end{array} \]

1. Split input into 2 regimes

2. if F < -1.54999999999999998e-33

   1. Initial program 59.8%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 94.4%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 48.1%

      \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
   4. Step-by-step derivation

      1. associate-*r/48.1%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

      2. distribute-lft-in48.1%

         \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

      3. metadata-eval48.1%

         \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

      4. neg-mul-148.1%

         \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

   5. Simplified48.1%

      \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

   6. Taylor expanded in x around 0 48.1%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{B} - \frac{1}{B}} \]
   7. Step-by-step derivation

      1. sub-neg48.1%

         \[\leadsto \color{blue}{-1 \cdot \frac{x}{B} + \left(-\frac{1}{B}\right)} \]

      2. +-commutative48.1%

         \[\leadsto \color{blue}{\left(-\frac{1}{B}\right) + -1 \cdot \frac{x}{B}} \]

      3. distribute-neg-frac48.1%

         \[\leadsto \color{blue}{\frac{-1}{B}} + -1 \cdot \frac{x}{B} \]

      4. metadata-eval48.1%

         \[\leadsto \frac{\color{blue}{-1}}{B} + -1 \cdot \frac{x}{B} \]

      5. mul-1-neg48.1%

         \[\leadsto \frac{-1}{B} + \color{blue}{\left(-\frac{x}{B}\right)} \]

      6. sub-neg48.1%

         \[\leadsto \color{blue}{\frac{-1}{B} - \frac{x}{B}} \]

      7. div-sub48.1%

         \[\leadsto \color{blue}{\frac{-1 - x}{B}} \]

   8. Simplified48.1%

      \[\leadsto \color{blue}{\frac{-1 - x}{B}} \]

   if -1.54999999999999998e-33 < F

   1. Initial program 85.3%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 36.9%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 16.4%

      \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
   4. Step-by-step derivation

      1. associate-*r/16.4%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

      2. distribute-lft-in16.4%

         \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

      3. metadata-eval16.4%

         \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

      4. neg-mul-116.4%

         \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

   5. Simplified16.4%

      \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

   6. Taylor expanded in x around inf 28.1%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{B}} \]
   7. Step-by-step derivation

      1. mul-1-neg28.1%

         \[\leadsto \color{blue}{-\frac{x}{B}} \]

      2. distribute-neg-frac28.1%

         \[\leadsto \color{blue}{\frac{-x}{B}} \]

   8. Simplified28.1%

      \[\leadsto \color{blue}{\frac{-x}{B}} \]
3. Recombined 2 regimes into one program.

4. Final simplification34.0%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -1.55 \cdot 10^{-33}:\\ \;\;\;\;\frac{-1 - x}{B}\\ \mathbf{else}:\\ \;\;\;\;\frac{-x}{B}\\ \end{array} \]

1. Split input into 2 regimes

2. if F < -2.15e8

   1. Initial program 55.8%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 99.7%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 48.8%

      \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
   4. Step-by-step derivation

      1. associate-*r/48.8%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

      2. distribute-lft-in48.8%

         \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

      3. metadata-eval48.8%

         \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

      4. neg-mul-148.8%

         \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

   5. Simplified48.8%

      \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

   6. Taylor expanded in x around 0 32.5%

      \[\leadsto \color{blue}{\frac{-1}{B}} \]

   if -2.15e8 < F

   1. Initial program 85.9%

      \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

   2. Taylor expanded in F around -inf 37.1%

      \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

   3. Taylor expanded in B around 0 17.3%

      \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
   4. Step-by-step derivation

      1. associate-*r/17.3%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

      2. distribute-lft-in17.3%

         \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

      3. metadata-eval17.3%

         \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

      4. neg-mul-117.3%

         \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

   5. Simplified17.3%

      \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

   6. Taylor expanded in x around inf 28.2%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{B}} \]
   7. Step-by-step derivation

      1. mul-1-neg28.2%

         \[\leadsto \color{blue}{-\frac{x}{B}} \]

      2. distribute-neg-frac28.2%

         \[\leadsto \color{blue}{\frac{-x}{B}} \]

   8. Simplified28.2%

      \[\leadsto \color{blue}{\frac{-x}{B}} \]
3. Recombined 2 regimes into one program.

4. Final simplification29.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;F \leq -215000000:\\ \;\;\;\;\frac{-1}{B}\\ \mathbf{else}:\\ \;\;\;\;\frac{-x}{B}\\ \end{array} \]

1. Initial program 77.7%

   \[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)} \]

2. Taylor expanded in F around -inf 54.0%

   \[\leadsto \left(-x \cdot \frac{1}{\tan B}\right) + \color{blue}{\frac{-1}{\sin B}} \]

3. Taylor expanded in B around 0 25.8%

   \[\leadsto \color{blue}{-1 \cdot \frac{1 + x}{B}} \]
4. Step-by-step derivation

   1. associate-*r/25.8%

      \[\leadsto \color{blue}{\frac{-1 \cdot \left(1 + x\right)}{B}} \]

   2. distribute-lft-in25.8%

      \[\leadsto \frac{\color{blue}{-1 \cdot 1 + -1 \cdot x}}{B} \]

   3. metadata-eval25.8%

      \[\leadsto \frac{\color{blue}{-1} + -1 \cdot x}{B} \]

   4. neg-mul-125.8%

      \[\leadsto \frac{-1 + \color{blue}{\left(-x\right)}}{B} \]

5. Simplified25.8%

   \[\leadsto \color{blue}{\frac{-1 + \left(-x\right)}{B}} \]

6. Taylor expanded in x around 0 11.6%

   \[\leadsto \color{blue}{\frac{-1}{B}} \]

7. Final simplification11.6%

   \[\leadsto \frac{-1}{B} \]

herbie shell --seed 2023166 
(FPCore (F B x)
  :name "VandenBroeck and Keller, Equation (23)"
  :precision binary64
  (+ (- (* x (/ 1.0 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))))