Average Error: 32.6 → 23.2
Time: 1.4m
Precision: 64
Internal Precision: 1408
\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
↓
\[\begin{array}{l} \mathbf{if}\;\frac{1}{n} \le -5.363094132516128 \cdot 10^{-12}:\\ \;\;\;\;\left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \log \left(e^{{\left(\sqrt{\sqrt{1 + x}}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)\right)}\\ \mathbf{if}\;\frac{1}{n} \le -1.4555907476059826 \cdot 10^{-116}:\\ \;\;\;\;\left(-\frac{\log x}{n}\right) - \left(\frac{\log x}{\frac{n}{\frac{1}{2}}} \cdot \frac{\log x}{n} - \left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right)\right)\\ \mathbf{if}\;\frac{1}{n} \le -1.5275620307579182 \cdot 10^{-258}:\\ \;\;\;\;\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) - \frac{-\log x}{\left(n \cdot n\right) \cdot x}\\ \mathbf{if}\;\frac{1}{n} \le 3.711468536197641 \cdot 10^{-292}:\\ \;\;\;\;\left(-\frac{\log x}{n}\right) - \left(\frac{\log x}{\frac{n}{\frac{1}{2}}} \cdot \frac{\log x}{n} - \left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right)\right)\\ \mathbf{if}\;\frac{1}{n} \le 1.5724217142242113 \cdot 10^{-266}:\\ \;\;\;\;\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) - \frac{-\log x}{\left(n \cdot n\right) \cdot x}\\ \mathbf{if}\;\frac{1}{n} \le 6.762441816806913 \cdot 10^{-258}:\\ \;\;\;\;\left(-\frac{\log x}{n}\right) - \left(\frac{\log x}{\frac{n}{\frac{1}{2}}} \cdot \frac{\log x}{n} - \left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right)\right)\\ \mathbf{if}\;\frac{1}{n} \le 5.85591473108959 \cdot 10^{-110}:\\ \;\;\;\;\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) - \frac{-\log x}{\left(n \cdot n\right) \cdot x}\\ \mathbf{if}\;\frac{1}{n} \le 3.594664189067294 \cdot 10^{-15}:\\ \;\;\;\;\left(-\frac{\log x}{n}\right) - \left(\frac{\log x}{\frac{n}{\frac{1}{2}}} \cdot \frac{\log x}{n} - \left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \log \left(e^{{\left(\sqrt{\sqrt{1 + x}}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)\right)}\\ \end{array}\]

Error

Bits error versus x

Bits error versus n

Derivation

  1. Split input into 3 regimes

  2. if (/ 1 n) < -5.363094132516128e-12 or 3.594664189067294e-15 < (/ 1 n)

    1. Initial program 4.2

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
    2. Using strategy rm

    3. Applied add-cube-cbrt4.2

      \[\leadsto \color{blue}{\left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\]
    4. Using strategy rm

    5. Applied add-sqr-sqrt4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\sqrt{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\]

    6. Applied add-sqr-sqrt4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{{\color{blue}{\left(\sqrt{x + 1} \cdot \sqrt{x + 1}\right)}}^{\left(\frac{1}{n}\right)} - \sqrt{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt{{x}^{\left(\frac{1}{n}\right)}}}\]

    7. Applied unpow-prod-down4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\color{blue}{{\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} \cdot {\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)}} - \sqrt{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt{{x}^{\left(\frac{1}{n}\right)}}}\]

    8. Applied difference-of-squares4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\color{blue}{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right)}}\]
    9. Using strategy rm

    10. Applied add-sqr-sqrt4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\color{blue}{\sqrt{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)}\]

    11. Applied sqrt-prod4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)}\]

    12. Applied add-sqr-sqrt4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left({\left(\sqrt{\color{blue}{\sqrt{x + 1} \cdot \sqrt{x + 1}}}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right)}\]

    13. Applied sqrt-prod4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left({\color{blue}{\left(\sqrt{\sqrt{x + 1}} \cdot \sqrt{\sqrt{x + 1}}\right)}}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right)}\]

    14. Applied unpow-prod-down4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\color{blue}{{\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} \cdot {\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)}} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right)}\]

    15. Applied difference-of-squares4.2

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \color{blue}{\left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right)\right)}}\]
    16. Using strategy rm

    17. Applied add-log-exp4.3

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\log \left(e^{\sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)}\right)\right)}\]

    18. Applied add-log-exp4.3

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \left(\color{blue}{\log \left(e^{{\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)}}\right)} - \log \left(e^{\sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)\right)\right)}\]

    19. Applied diff-log4.3

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \color{blue}{\log \left(\frac{e^{{\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)}}}{e^{\sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}}\right)}\right)}\]

    20. Applied simplify4.3

      \[\leadsto \left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{\left({\left(\sqrt{x + 1}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left({\left(\sqrt{\sqrt{x + 1}}\right)}^{\left(\frac{1}{n}\right)} + \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \log \color{blue}{\left(e^{{\left(\sqrt{\sqrt{1 + x}}\right)}^{\left(\frac{1}{n}\right)} - \sqrt{\sqrt{{x}^{\left(\frac{1}{n}\right)}}}}\right)}\right)}\]

    if -5.363094132516128e-12 < (/ 1 n) < -1.4555907476059826e-116 or -1.5275620307579182e-258 < (/ 1 n) < 3.711468536197641e-292 or 1.5724217142242113e-266 < (/ 1 n) < 6.762441816806913e-258 or 5.85591473108959e-110 < (/ 1 n) < 3.594664189067294e-15

    1. Initial program 48.9

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]

    2. Taylor expanded around inf 48.9

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

    3. Applied simplify30.9

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

    if -1.4555907476059826e-116 < (/ 1 n) < -1.5275620307579182e-258 or 3.711468536197641e-292 < (/ 1 n) < 1.5724217142242113e-266 or 6.762441816806913e-258 < (/ 1 n) < 5.85591473108959e-110

    1. Initial program 42.2

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]

    2. Taylor expanded around inf 32.4

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

    3. Applied simplify32.4

      \[\leadsto \color{blue}{\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) - \frac{-\log x}{\left(n \cdot n\right) \cdot x}}\]
  3. Recombined 3 regimes into one program.

Runtime

Time bar (total: 1.4m)Debug logProfile

herbie shell --seed '#(1070355188 2193211668 3977393919 3454156579 3755371326 1656365382)' 
(FPCore (x n)
  :name "2nthrt (problem 3.4.6)"
  (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))