Average Error: 2.3 → 1.0
Time: 4.9s
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 r465711 = x;
        double r465712 = y;
        double r465713 = r465711 - r465712;
        double r465714 = z;
        double r465715 = r465714 - r465712;
        double r465716 = r465713 / r465715;
        double r465717 = t;
        double r465718 = r465716 * r465717;
        return r465718;
}
↓
double f(double x, double y, double z, double t) {
        double r465719 = x;
        double r465720 = y;
        double r465721 = r465719 - r465720;
        double r465722 = cbrt(r465721);
        double r465723 = r465722 * r465722;
        double r465724 = z;
        double r465725 = r465724 - r465720;
        double r465726 = cbrt(r465725);
        double r465727 = r465726 * r465726;
        double r465728 = r465723 / r465727;
        double r465729 = r465722 / r465726;
        double r465730 = t;
        double r465731 = r465729 * r465730;
        double r465732 = r465728 * r465731;
        return r465732;
}

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.3
Target2.3
Herbie1.0
\[\frac{t}{\frac{z - y}{x - y}}\]

Derivation

  1. Initial program 2.3

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

  3. Applied add-cube-cbrt3.3

    \[\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-cbrt3.0

    \[\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-frac3.0

    \[\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 2020089 +o rules:numerics
(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))