Average Error: 0.4 → 0.2
Time: 8.1s
Precision: 64
\[x + \left(\left(y - x\right) \cdot 6\right) \cdot \left(\frac{2}{3} - z\right)\]
↓
\[x + \left(y - x\right) \cdot \left(6 \cdot \left(\frac{2}{3} - z\right)\right)\]
x + \left(\left(y - x\right) \cdot 6\right) \cdot \left(\frac{2}{3} - z\right)
↓
x + \left(y - x\right) \cdot \left(6 \cdot \left(\frac{2}{3} - z\right)\right)
double f(double x, double y, double z) {
        double r333347 = x;
        double r333348 = y;
        double r333349 = r333348 - r333347;
        double r333350 = 6.0;
        double r333351 = r333349 * r333350;
        double r333352 = 2.0;
        double r333353 = 3.0;
        double r333354 = r333352 / r333353;
        double r333355 = z;
        double r333356 = r333354 - r333355;
        double r333357 = r333351 * r333356;
        double r333358 = r333347 + r333357;
        return r333358;
}
↓
double f(double x, double y, double z) {
        double r333359 = x;
        double r333360 = y;
        double r333361 = r333360 - r333359;
        double r333362 = 6.0;
        double r333363 = 2.0;
        double r333364 = 3.0;
        double r333365 = r333363 / r333364;
        double r333366 = z;
        double r333367 = r333365 - r333366;
        double r333368 = r333362 * r333367;
        double r333369 = r333361 * r333368;
        double r333370 = r333359 + r333369;
        return r333370;
}

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

Derivation

  1. Initial program 0.4

    \[x + \left(\left(y - x\right) \cdot 6\right) \cdot \left(\frac{2}{3} - z\right)\]
  2. Using strategy rm

  3. Applied associate-*l*0.2

    \[\leadsto x + \color{blue}{\left(y - x\right) \cdot \left(6 \cdot \left(\frac{2}{3} - z\right)\right)}\]

  4. Final simplification0.2

    \[\leadsto x + \left(y - x\right) \cdot \left(6 \cdot \left(\frac{2}{3} - z\right)\right)\]

Reproduce

herbie shell --seed 2020036 
(FPCore (x y z)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, D"
  :precision binary64
  (+ x (* (* (- y x) 6) (- (/ 2 3) z))))