Average Error: 0.1 → 0.1
Time: 30.2s
Precision: 64
\[\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z\]
↓
\[\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z\]
\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z
↓
\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z
double f(double x, double y, double z) {
        double r256178 = x;
        double r256179 = y;
        double r256180 = 0.5;
        double r256181 = r256179 + r256180;
        double r256182 = log(r256179);
        double r256183 = r256181 * r256182;
        double r256184 = r256178 - r256183;
        double r256185 = r256184 + r256179;
        double r256186 = z;
        double r256187 = r256185 - r256186;
        return r256187;
}
↓
double f(double x, double y, double z) {
        double r256188 = x;
        double r256189 = y;
        double r256190 = 0.5;
        double r256191 = r256189 + r256190;
        double r256192 = log(r256189);
        double r256193 = r256191 * r256192;
        double r256194 = r256188 - r256193;
        double r256195 = r256194 + r256189;
        double r256196 = z;
        double r256197 = r256195 - r256196;
        return r256197;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.1
Target0.1
Herbie0.1
\[\left(\left(y + x\right) - z\right) - \left(y + 0.5\right) \cdot \log y\]

Derivation

  1. Initial program 0.1

    \[\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z\]

  2. Final simplification0.1

    \[\leadsto \left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z\]

Reproduce

herbie shell --seed 2019323 
(FPCore (x y z)
  :name "Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2"
  :precision binary64

  :herbie-target
  (- (- (+ y x) z) (* (+ y 0.5) (log y)))

  (- (+ (- x (* (+ y 0.5) (log y))) y) z))