Average Error: 0.4 → 0.2
Time: 13.0s
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 r178703 = x;
        double r178704 = y;
        double r178705 = r178704 - r178703;
        double r178706 = 6.0;
        double r178707 = r178705 * r178706;
        double r178708 = 2.0;
        double r178709 = 3.0;
        double r178710 = r178708 / r178709;
        double r178711 = z;
        double r178712 = r178710 - r178711;
        double r178713 = r178707 * r178712;
        double r178714 = r178703 + r178713;
        return r178714;
}
↓
double f(double x, double y, double z) {
        double r178715 = x;
        double r178716 = y;
        double r178717 = r178716 - r178715;
        double r178718 = 6.0;
        double r178719 = 2.0;
        double r178720 = 3.0;
        double r178721 = r178719 / r178720;
        double r178722 = z;
        double r178723 = r178721 - r178722;
        double r178724 = r178718 * r178723;
        double r178725 = r178717 * r178724;
        double r178726 = r178715 + r178725;
        return r178726;
}

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