Average Error: 0.0 → 0.0
Time: 5.5s
Precision: 64
\[\left(\frac{x}{2.0} + y \cdot x\right) + z\]
↓
\[\left(\frac{x}{2.0} + y \cdot x\right) + z\]
\left(\frac{x}{2.0} + y \cdot x\right) + z
↓
\left(\frac{x}{2.0} + y \cdot x\right) + z
double f(double x, double y, double z) {
        double r11461920 = x;
        double r11461921 = 2.0;
        double r11461922 = r11461920 / r11461921;
        double r11461923 = y;
        double r11461924 = r11461923 * r11461920;
        double r11461925 = r11461922 + r11461924;
        double r11461926 = z;
        double r11461927 = r11461925 + r11461926;
        return r11461927;
}
↓
double f(double x, double y, double z) {
        double r11461928 = x;
        double r11461929 = 2.0;
        double r11461930 = r11461928 / r11461929;
        double r11461931 = y;
        double r11461932 = r11461931 * r11461928;
        double r11461933 = r11461930 + r11461932;
        double r11461934 = z;
        double r11461935 = r11461933 + r11461934;
        return r11461935;
}

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.0

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

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2019165 
(FPCore (x y z)
  :name "Data.Histogram.Bin.BinF:$cfromIndex from histogram-fill-0.8.4.1"
  (+ (+ (/ x 2.0) (* y x)) z))