Average Error: 0.4 → 0.2
Time: 20.4s
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 r15502015 = x;
        double r15502016 = y;
        double r15502017 = r15502016 - r15502015;
        double r15502018 = 6.0;
        double r15502019 = r15502017 * r15502018;
        double r15502020 = 2.0;
        double r15502021 = 3.0;
        double r15502022 = r15502020 / r15502021;
        double r15502023 = z;
        double r15502024 = r15502022 - r15502023;
        double r15502025 = r15502019 * r15502024;
        double r15502026 = r15502015 + r15502025;
        return r15502026;
}
↓
double f(double x, double y, double z) {
        double r15502027 = x;
        double r15502028 = y;
        double r15502029 = r15502028 - r15502027;
        double r15502030 = 6.0;
        double r15502031 = 2.0;
        double r15502032 = 3.0;
        double r15502033 = r15502031 / r15502032;
        double r15502034 = z;
        double r15502035 = r15502033 - r15502034;
        double r15502036 = r15502030 * r15502035;
        double r15502037 = r15502029 * r15502036;
        double r15502038 = r15502027 + r15502037;
        return r15502038;
}

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 2019174 +o rules:numerics
(FPCore (x y z)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, D"
  (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))