Average Error: 0.4 → 0.2
Time: 7.7s
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 r309437 = x;
        double r309438 = y;
        double r309439 = r309438 - r309437;
        double r309440 = 6.0;
        double r309441 = r309439 * r309440;
        double r309442 = 2.0;
        double r309443 = 3.0;
        double r309444 = r309442 / r309443;
        double r309445 = z;
        double r309446 = r309444 - r309445;
        double r309447 = r309441 * r309446;
        double r309448 = r309437 + r309447;
        return r309448;
}
↓
double f(double x, double y, double z) {
        double r309449 = x;
        double r309450 = y;
        double r309451 = r309450 - r309449;
        double r309452 = 6.0;
        double r309453 = 2.0;
        double r309454 = 3.0;
        double r309455 = r309453 / r309454;
        double r309456 = z;
        double r309457 = r309455 - r309456;
        double r309458 = r309452 * r309457;
        double r309459 = r309451 * r309458;
        double r309460 = r309449 + r309459;
        return r309460;
}

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