Average Error: 0.4 → 0.2
Time: 15.0s
Precision: 64
\[x + \left(\left(y - x\right) \cdot 6.0\right) \cdot \left(\frac{2.0}{3.0} - z\right)\]
↓
\[x + \left(y - x\right) \cdot \left(\left(\frac{2.0}{3.0} - z\right) \cdot 6.0\right)\]
x + \left(\left(y - x\right) \cdot 6.0\right) \cdot \left(\frac{2.0}{3.0} - z\right)
↓
x + \left(y - x\right) \cdot \left(\left(\frac{2.0}{3.0} - z\right) \cdot 6.0\right)
double f(double x, double y, double z) {
        double r15914078 = x;
        double r15914079 = y;
        double r15914080 = r15914079 - r15914078;
        double r15914081 = 6.0;
        double r15914082 = r15914080 * r15914081;
        double r15914083 = 2.0;
        double r15914084 = 3.0;
        double r15914085 = r15914083 / r15914084;
        double r15914086 = z;
        double r15914087 = r15914085 - r15914086;
        double r15914088 = r15914082 * r15914087;
        double r15914089 = r15914078 + r15914088;
        return r15914089;
}
↓
double f(double x, double y, double z) {
        double r15914090 = x;
        double r15914091 = y;
        double r15914092 = r15914091 - r15914090;
        double r15914093 = 2.0;
        double r15914094 = 3.0;
        double r15914095 = r15914093 / r15914094;
        double r15914096 = z;
        double r15914097 = r15914095 - r15914096;
        double r15914098 = 6.0;
        double r15914099 = r15914097 * r15914098;
        double r15914100 = r15914092 * r15914099;
        double r15914101 = r15914090 + r15914100;
        return r15914101;
}

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.0\right) \cdot \left(\frac{2.0}{3.0} - z\right)\]
  2. Using strategy rm

  3. Applied associate-*l*0.2

    \[\leadsto x + \color{blue}{\left(y - x\right) \cdot \left(6.0 \cdot \left(\frac{2.0}{3.0} - z\right)\right)}\]

  4. Final simplification0.2

    \[\leadsto x + \left(y - x\right) \cdot \left(\left(\frac{2.0}{3.0} - z\right) \cdot 6.0\right)\]

Reproduce

herbie shell --seed 2019162 
(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))))