Average Error: 0.1 → 0.1
Time: 16.5s
Precision: 64
\[\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z\]
↓
\[\left(y + \left(x - \left(y + 0.5\right) \cdot \log y\right)\right) - z\]
\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z
↓
\left(y + \left(x - \left(y + 0.5\right) \cdot \log y\right)\right) - z
double f(double x, double y, double z) {
        double r289536 = x;
        double r289537 = y;
        double r289538 = 0.5;
        double r289539 = r289537 + r289538;
        double r289540 = log(r289537);
        double r289541 = r289539 * r289540;
        double r289542 = r289536 - r289541;
        double r289543 = r289542 + r289537;
        double r289544 = z;
        double r289545 = r289543 - r289544;
        return r289545;
}
↓
double f(double x, double y, double z) {
        double r289546 = y;
        double r289547 = x;
        double r289548 = 0.5;
        double r289549 = r289546 + r289548;
        double r289550 = log(r289546);
        double r289551 = r289549 * r289550;
        double r289552 = r289547 - r289551;
        double r289553 = r289546 + r289552;
        double r289554 = z;
        double r289555 = r289553 - r289554;
        return r289555;
}

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(y + \left(x - \left(y + 0.5\right) \cdot \log y\right)\right) - z\]

Reproduce

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

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

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