Average Error: 0.4 → 0.2
Time: 8.3s
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 r184207 = x;
        double r184208 = y;
        double r184209 = r184208 - r184207;
        double r184210 = 6.0;
        double r184211 = r184209 * r184210;
        double r184212 = 2.0;
        double r184213 = 3.0;
        double r184214 = r184212 / r184213;
        double r184215 = z;
        double r184216 = r184214 - r184215;
        double r184217 = r184211 * r184216;
        double r184218 = r184207 + r184217;
        return r184218;
}
↓
double f(double x, double y, double z) {
        double r184219 = x;
        double r184220 = y;
        double r184221 = r184220 - r184219;
        double r184222 = 6.0;
        double r184223 = 2.0;
        double r184224 = 3.0;
        double r184225 = r184223 / r184224;
        double r184226 = z;
        double r184227 = r184225 - r184226;
        double r184228 = r184222 * r184227;
        double r184229 = r184221 * r184228;
        double r184230 = r184219 + r184229;
        return r184230;
}

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