Average Error: 0.0 → 0.0
Time: 18.1s
Precision: 64
\[\frac{-\left(f + n\right)}{f - n}\]
↓
\[\log \left(\sqrt[3]{\left(e^{\frac{-\left(n + f\right)}{f - n}} \cdot e^{\frac{-\left(n + f\right)}{f - n}}\right) \cdot e^{\frac{-\left(n + f\right)}{f - n}}}\right)\]
\frac{-\left(f + n\right)}{f - n}
↓
\log \left(\sqrt[3]{\left(e^{\frac{-\left(n + f\right)}{f - n}} \cdot e^{\frac{-\left(n + f\right)}{f - n}}\right) \cdot e^{\frac{-\left(n + f\right)}{f - n}}}\right)
double f(double f, double n) {
        double r538779 = f;
        double r538780 = n;
        double r538781 = r538779 + r538780;
        double r538782 = -r538781;
        double r538783 = r538779 - r538780;
        double r538784 = r538782 / r538783;
        return r538784;
}
↓
double f(double f, double n) {
        double r538785 = n;
        double r538786 = f;
        double r538787 = r538785 + r538786;
        double r538788 = -r538787;
        double r538789 = r538786 - r538785;
        double r538790 = r538788 / r538789;
        double r538791 = exp(r538790);
        double r538792 = r538791 * r538791;
        double r538793 = r538792 * r538791;
        double r538794 = cbrt(r538793);
        double r538795 = log(r538794);
        return r538795;
}

Error

Bits error versus f

Bits error versus n

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

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

  3. Applied add-log-exp0.0

    \[\leadsto \color{blue}{\log \left(e^{\frac{-\left(f + n\right)}{f - n}}\right)}\]
  4. Using strategy rm

  5. Applied add-cbrt-cube0.0

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

  6. Final simplification0.0

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

Reproduce

herbie shell --seed 2019153 
(FPCore (f n)
  :name "subtraction fraction"
  (/ (- (+ f n)) (- f n)))