Average Error: 0.1 → 0.1
Time: 14.7s
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 r7276810 = x;
        double r7276811 = y;
        double r7276812 = 0.5;
        double r7276813 = r7276811 + r7276812;
        double r7276814 = log(r7276811);
        double r7276815 = r7276813 * r7276814;
        double r7276816 = r7276810 - r7276815;
        double r7276817 = r7276816 + r7276811;
        double r7276818 = z;
        double r7276819 = r7276817 - r7276818;
        return r7276819;
}
↓
double f(double x, double y, double z) {
        double r7276820 = y;
        double r7276821 = x;
        double r7276822 = 0.5;
        double r7276823 = r7276820 + r7276822;
        double r7276824 = log(r7276820);
        double r7276825 = r7276823 * r7276824;
        double r7276826 = r7276821 - r7276825;
        double r7276827 = r7276820 + r7276826;
        double r7276828 = z;
        double r7276829 = r7276827 - r7276828;
        return r7276829;
}

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 2019156 
(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))