\[\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]

↓

\[\begin{array}{l} \mathbf{if}\;\beta \le 5.370255598069494 \cdot 10^{+159}:\\ \;\;\;\;\frac{\frac{\frac{1}{\frac{2 + \left(\beta + \alpha\right)}{1.0 + \left(\left(\beta + \alpha\right) + \alpha \cdot \beta\right)}}}{2 + \left(\beta + \alpha\right)}}{\left(2 + \left(\beta + \alpha\right)\right) + 1.0}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{\frac{1}{\left(\frac{1}{\beta} + \frac{1}{\alpha}\right) - \frac{1}{{\alpha}^{2}}}}{2 + \left(\beta + \alpha\right)}}{\left(2 + \left(\beta + \alpha\right)\right) + 1.0}\\ \end{array}\]

Derivation

Split input into 2 regimes
if beta < 5.370255598069494e+159
1. Initial program 1.0
  \[\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
2. Using strategy rm
3. Applied *-un-lft-identity1.0
  \[\leadsto \frac{\frac{\frac{\color{blue}{1 \cdot \left(\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0\right)}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
4. Applied associate-/l*1.0
  \[\leadsto \frac{\frac{\color{blue}{\frac{1}{\frac{\left(\alpha + \beta\right) + 2 \cdot 1}{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}}}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
if 5.370255598069494e+159 < beta
1. Initial program 15.9
  \[\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
2. Using strategy rm
3. Applied *-un-lft-identity15.9
  \[\leadsto \frac{\frac{\frac{\color{blue}{1 \cdot \left(\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0\right)}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
4. Applied associate-/l*15.9
  \[\leadsto \frac{\frac{\color{blue}{\frac{1}{\frac{\left(\alpha + \beta\right) + 2 \cdot 1}{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}}}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
5. Taylor expanded around inf 0.1
  \[\leadsto \frac{\frac{\frac{1}{\color{blue}{\left(\frac{1}{\alpha} + \frac{1}{\beta}\right) - \frac{1}{{\alpha}^{2}}}}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
Recombined 2 regimes into one program.
Final simplification0.9
\[\leadsto \begin{array}{l} \mathbf{if}\;\beta \le 5.370255598069494 \cdot 10^{+159}:\\ \;\;\;\;\frac{\frac{\frac{1}{\frac{2 + \left(\beta + \alpha\right)}{1.0 + \left(\left(\beta + \alpha\right) + \alpha \cdot \beta\right)}}}{2 + \left(\beta + \alpha\right)}}{\left(2 + \left(\beta + \alpha\right)\right) + 1.0}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{\frac{1}{\left(\frac{1}{\beta} + \frac{1}{\alpha}\right) - \frac{1}{{\alpha}^{2}}}}{2 + \left(\beta + \alpha\right)}}{\left(2 + \left(\beta + \alpha\right)\right) + 1.0}\\ \end{array}\]

Error

Try it out

Derivation

`if beta < 5.370255598069494e+159`

`if 5.370255598069494e+159 < beta`

Runtime

In
Out