Average Error: 0.0 → 0.0
Time: 21.1s
Precision: 64
\[\frac{-\left(f + n\right)}{f - n}\]
↓
\[\frac{\frac{-1}{\sqrt[3]{\frac{f - n}{f + n} \cdot \frac{f - n}{f + n}}}}{\sqrt[3]{\frac{f - n}{f + n}}}\]
\frac{-\left(f + n\right)}{f - n}
↓
\frac{\frac{-1}{\sqrt[3]{\frac{f - n}{f + n} \cdot \frac{f - n}{f + n}}}}{\sqrt[3]{\frac{f - n}{f + n}}}
double f(double f, double n) {
        double r1016731 = f;
        double r1016732 = n;
        double r1016733 = r1016731 + r1016732;
        double r1016734 = -r1016733;
        double r1016735 = r1016731 - r1016732;
        double r1016736 = r1016734 / r1016735;
        return r1016736;
}
↓
double f(double f, double n) {
        double r1016737 = -1.0;
        double r1016738 = f;
        double r1016739 = n;
        double r1016740 = r1016738 - r1016739;
        double r1016741 = r1016738 + r1016739;
        double r1016742 = r1016740 / r1016741;
        double r1016743 = r1016742 * r1016742;
        double r1016744 = cbrt(r1016743);
        double r1016745 = r1016737 / r1016744;
        double r1016746 = cbrt(r1016742);
        double r1016747 = r1016745 / r1016746;
        return r1016747;
}

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 neg-mul-10.0

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

  4. Applied associate-/l*0.0

    \[\leadsto \color{blue}{\frac{-1}{\frac{f - n}{f + n}}}\]
  5. Using strategy rm

  6. Applied add-cube-cbrt0.1

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

  7. Applied associate-/r*0.1

    \[\leadsto \color{blue}{\frac{\frac{-1}{\sqrt[3]{\frac{f - n}{f + n}} \cdot \sqrt[3]{\frac{f - n}{f + n}}}}{\sqrt[3]{\frac{f - n}{f + n}}}}\]
  8. Using strategy rm

  9. Applied cbrt-unprod0.0

    \[\leadsto \frac{\frac{-1}{\color{blue}{\sqrt[3]{\frac{f - n}{f + n} \cdot \frac{f - n}{f + n}}}}}{\sqrt[3]{\frac{f - n}{f + n}}}\]

  10. Final simplification0.0

    \[\leadsto \frac{\frac{-1}{\sqrt[3]{\frac{f - n}{f + n} \cdot \frac{f - n}{f + n}}}}{\sqrt[3]{\frac{f - n}{f + n}}}\]

Reproduce

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