Average Error: 2.1 → 1.0
Time: 4.4s
Precision: 64
\[\frac{x - y}{z - y} \cdot t\]
↓
\[\frac{\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}}{\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}} \cdot \left(\frac{\sqrt[3]{x - y}}{\sqrt[3]{z - y}} \cdot t\right)\]
\frac{x - y}{z - y} \cdot t
↓
\frac{\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}}{\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}} \cdot \left(\frac{\sqrt[3]{x - y}}{\sqrt[3]{z - y}} \cdot t\right)
double f(double x, double y, double z, double t) {
        double r444246 = x;
        double r444247 = y;
        double r444248 = r444246 - r444247;
        double r444249 = z;
        double r444250 = r444249 - r444247;
        double r444251 = r444248 / r444250;
        double r444252 = t;
        double r444253 = r444251 * r444252;
        return r444253;
}
↓
double f(double x, double y, double z, double t) {
        double r444254 = x;
        double r444255 = y;
        double r444256 = r444254 - r444255;
        double r444257 = cbrt(r444256);
        double r444258 = r444257 * r444257;
        double r444259 = z;
        double r444260 = r444259 - r444255;
        double r444261 = cbrt(r444260);
        double r444262 = r444261 * r444261;
        double r444263 = r444258 / r444262;
        double r444264 = r444257 / r444261;
        double r444265 = t;
        double r444266 = r444264 * r444265;
        double r444267 = r444263 * r444266;
        return r444267;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original2.1
Target2.1
Herbie1.0
\[\frac{t}{\frac{z - y}{x - y}}\]

Derivation

  1. Initial program 2.1

    \[\frac{x - y}{z - y} \cdot t\]
  2. Using strategy rm

  3. Applied add-cube-cbrt3.2

    \[\leadsto \frac{x - y}{\color{blue}{\left(\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}\right) \cdot \sqrt[3]{z - y}}} \cdot t\]

  4. Applied add-cube-cbrt2.9

    \[\leadsto \frac{\color{blue}{\left(\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}\right) \cdot \sqrt[3]{x - y}}}{\left(\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}\right) \cdot \sqrt[3]{z - y}} \cdot t\]

  5. Applied times-frac2.9

    \[\leadsto \color{blue}{\left(\frac{\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}}{\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}} \cdot \frac{\sqrt[3]{x - y}}{\sqrt[3]{z - y}}\right)} \cdot t\]

  6. Applied associate-*l*1.0

    \[\leadsto \color{blue}{\frac{\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}}{\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}} \cdot \left(\frac{\sqrt[3]{x - y}}{\sqrt[3]{z - y}} \cdot t\right)}\]

  7. Final simplification1.0

    \[\leadsto \frac{\sqrt[3]{x - y} \cdot \sqrt[3]{x - y}}{\sqrt[3]{z - y} \cdot \sqrt[3]{z - y}} \cdot \left(\frac{\sqrt[3]{x - y}}{\sqrt[3]{z - y}} \cdot t\right)\]

Reproduce

herbie shell --seed 2020060 
(FPCore (x y z t)
  :name "Numeric.Signal.Multichannel:$cput from hsignal-0.2.7.1"
  :precision binary64

  :herbie-target
  (/ t (/ (- z y) (- x y)))

  (* (/ (- x y) (- z y)) t))