Average Error: 0.3 → 0.3
Time: 3.2s
Precision: 64
\[x + \left(\left(y - x\right) \cdot 6\right) \cdot z\]
↓
\[x + \left(\left(y - x\right) \cdot 6\right) \cdot z\]
x + \left(\left(y - x\right) \cdot 6\right) \cdot z
↓
x + \left(\left(y - x\right) \cdot 6\right) \cdot z
double f(double x, double y, double z) {
        double r933273 = x;
        double r933274 = y;
        double r933275 = r933274 - r933273;
        double r933276 = 6.0;
        double r933277 = r933275 * r933276;
        double r933278 = z;
        double r933279 = r933277 * r933278;
        double r933280 = r933273 + r933279;
        return r933280;
}
↓
double f(double x, double y, double z) {
        double r933281 = x;
        double r933282 = y;
        double r933283 = r933282 - r933281;
        double r933284 = 6.0;
        double r933285 = r933283 * r933284;
        double r933286 = z;
        double r933287 = r933285 * r933286;
        double r933288 = r933281 + r933287;
        return r933288;
}

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.3
Target0.2
Herbie0.3
\[x - \left(6 \cdot z\right) \cdot \left(x - y\right)\]

Derivation

  1. Initial program 0.3

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

  2. Final simplification0.3

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

Reproduce

herbie shell --seed 2020036 
(FPCore (x y z)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, E"
  :precision binary64

  :herbie-target
  (- x (* (* 6 z) (- x y)))

  (+ x (* (* (- y x) 6) z)))