Error

Derivation

1. Split input into 2 regimes

2. if i < 5.63798321223223e+153

   1. Initial program 42.6

      \[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   2. Using strategy rm

   3. Applied associate-/l*15.5

      \[\leadsto \frac{\color{blue}{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   4. Using strategy rm

   5. Applied *-un-lft-identity15.5

      \[\leadsto \frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}{\color{blue}{1 \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   6. Applied times-frac15.7

      \[\leadsto \frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{1} \cdot \frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   7. Applied times-frac15.6

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{1}} \cdot \frac{\left(\alpha + \beta\right) + i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   8. Simplified15.6

      \[\leadsto \frac{\color{blue}{\frac{i}{(i \cdot 2 + \beta)_* + \alpha}} \cdot \frac{\left(\alpha + \beta\right) + i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   9. Simplified15.5

      \[\leadsto \frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha} \cdot \color{blue}{\left(\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   10. Using strategy rm

   11. Applied *-un-lft-identity15.5

       \[\leadsto \frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha} \cdot \left(\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}\right)}{\color{blue}{1 \cdot \left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0\right)}}\]

   12. Applied times-frac15.5

       \[\leadsto \color{blue}{\frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha}}{1} \cdot \frac{\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}}\]

   13. Simplified15.5

       \[\leadsto \color{blue}{\frac{i}{(2 \cdot i + \beta)_* + \alpha}} \cdot \frac{\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   14. Simplified10.5

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \color{blue}{\frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\frac{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}{\alpha + i}}}\]
   15. Using strategy rm

   16. Applied add-sqr-sqrt10.8

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\frac{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}{\color{blue}{\sqrt{\alpha + i} \cdot \sqrt{\alpha + i}}}}\]

   17. Applied add-cube-cbrt11.3

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\frac{\color{blue}{\left(\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*} \cdot \sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}\right) \cdot \sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}}{\sqrt{\alpha + i} \cdot \sqrt{\alpha + i}}}\]

   18. Applied times-frac11.3

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\color{blue}{\frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*} \cdot \sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{\alpha + i}} \cdot \frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{\alpha + i}}}}\]

   19. Applied times-frac11.3

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \color{blue}{\left(\frac{\beta + i}{\frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*} \cdot \sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{\alpha + i}}} \cdot \frac{\frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{\alpha + i}}}\right)}\]

   if 5.63798321223223e+153 < i

   1. Initial program 62.1

      \[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   2. Using strategy rm

   3. Applied associate-/l*62.1

      \[\leadsto \frac{\color{blue}{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   4. Using strategy rm

   5. Applied *-un-lft-identity62.1

      \[\leadsto \frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}{\color{blue}{1 \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   6. Applied times-frac62.1

      \[\leadsto \frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{1} \cdot \frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   7. Applied times-frac62.1

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{1}} \cdot \frac{\left(\alpha + \beta\right) + i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   8. Simplified62.1

      \[\leadsto \frac{\color{blue}{\frac{i}{(i \cdot 2 + \beta)_* + \alpha}} \cdot \frac{\left(\alpha + \beta\right) + i}{\frac{\left(\alpha + \beta\right) + 2 \cdot i}{\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   9. Simplified62.1

      \[\leadsto \frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha} \cdot \color{blue}{\left(\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
   10. Using strategy rm

   11. Applied *-un-lft-identity62.1

       \[\leadsto \frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha} \cdot \left(\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}\right)}{\color{blue}{1 \cdot \left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0\right)}}\]

   12. Applied times-frac62.1

       \[\leadsto \color{blue}{\frac{\frac{i}{(i \cdot 2 + \beta)_* + \alpha}}{1} \cdot \frac{\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}}\]

   13. Simplified62.1

       \[\leadsto \color{blue}{\frac{i}{(2 \cdot i + \beta)_* + \alpha}} \cdot \frac{\left(\alpha \cdot \left(\beta + i\right) + i \cdot \left(\beta + i\right)\right) \cdot \frac{i + \left(\beta + \alpha\right)}{(2 \cdot i + \left(\beta + \alpha\right))_*}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]

   14. Simplified61.9

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \color{blue}{\frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\frac{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}{\alpha + i}}}\]

   15. Taylor expanded around 0 47.4

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\color{blue}{3 \cdot i + \left(2 \cdot \beta + \alpha\right)}}\]

   16. Simplified47.4

       \[\leadsto \frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\left(\beta + i\right) \cdot \frac{\left(\alpha + i\right) + \beta}{(2 \cdot i + \beta)_* + \alpha}}{\color{blue}{(\beta \cdot 2 + \left((i \cdot 3 + \alpha)_*\right))_*}}\]
3. Recombined 2 regimes into one program.

4. Final simplification29.0

   \[\leadsto \begin{array}{l} \mathbf{if}\;i \le 5.63798321223223 \cdot 10^{+153}:\\ \;\;\;\;\frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \left(\frac{\frac{\beta + \left(i + \alpha\right)}{(2 \cdot i + \beta)_* + \alpha}}{\frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{i + \alpha}}} \cdot \frac{i + \beta}{\frac{\sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*} \cdot \sqrt[3]{(\left((2 \cdot i + \beta)_* + \alpha\right) \cdot \left((2 \cdot i + \beta)_* + \alpha\right) + \left(-1.0\right))_*}}{\sqrt{i + \alpha}}}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{i}{(2 \cdot i + \beta)_* + \alpha} \cdot \frac{\frac{\beta + \left(i + \alpha\right)}{(2 \cdot i + \beta)_* + \alpha} \cdot \left(i + \beta\right)}{(\beta \cdot 2 + \left((i \cdot 3 + \alpha)_*\right))_*}\\ \end{array}\]

Runtime

Time bar (total: 2.9m)Debug logProfile

herbie shell --seed 2018351 +o rules:numerics
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/4"
  :pre (and (> alpha -1) (> beta -1) (> i 1))
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))