Average Error: 1.9 → 0.2
Time: 29.8s
Precision: 64
\[x - \frac{y - z}{\frac{\left(t - z\right) + 1}{a}}\]
↓
\[x - \frac{y - z}{\left(t - z\right) + 1} \cdot a\]
x - \frac{y - z}{\frac{\left(t - z\right) + 1}{a}}
↓
x - \frac{y - z}{\left(t - z\right) + 1} \cdot a
double f(double x, double y, double z, double t, double a) {
        double r42866847 = x;
        double r42866848 = y;
        double r42866849 = z;
        double r42866850 = r42866848 - r42866849;
        double r42866851 = t;
        double r42866852 = r42866851 - r42866849;
        double r42866853 = 1.0;
        double r42866854 = r42866852 + r42866853;
        double r42866855 = a;
        double r42866856 = r42866854 / r42866855;
        double r42866857 = r42866850 / r42866856;
        double r42866858 = r42866847 - r42866857;
        return r42866858;
}
↓
double f(double x, double y, double z, double t, double a) {
        double r42866859 = x;
        double r42866860 = y;
        double r42866861 = z;
        double r42866862 = r42866860 - r42866861;
        double r42866863 = t;
        double r42866864 = r42866863 - r42866861;
        double r42866865 = 1.0;
        double r42866866 = r42866864 + r42866865;
        double r42866867 = r42866862 / r42866866;
        double r42866868 = a;
        double r42866869 = r42866867 * r42866868;
        double r42866870 = r42866859 - r42866869;
        return r42866870;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original1.9
Target0.2
Herbie0.2
\[x - \frac{y - z}{\left(t - z\right) + 1} \cdot a\]

Derivation

  1. Initial program 1.9

    \[x - \frac{y - z}{\frac{\left(t - z\right) + 1}{a}}\]
  2. Using strategy rm

  3. Applied associate-/r/0.2

    \[\leadsto x - \color{blue}{\frac{y - z}{\left(t - z\right) + 1} \cdot a}\]

  4. Final simplification0.2

    \[\leadsto x - \frac{y - z}{\left(t - z\right) + 1} \cdot a\]

Reproduce

herbie shell --seed 2019174 
(FPCore (x y z t a)
  :name "Graphics.Rendering.Chart.SparkLine:renderSparkLine from Chart-1.5.3"

  :herbie-target
  (- x (* (/ (- y z) (+ (- t z) 1.0)) a))

  (- x (/ (- y z) (/ (+ (- t z) 1.0) a))))