Average Error: 0.1 → 0.1
Time: 17.4s
Precision: 64
\[x \cdot \left(y + z\right) + z \cdot 5.0\]
↓
\[z \cdot 5.0 + \left(y + z\right) \cdot x\]
x \cdot \left(y + z\right) + z \cdot 5.0
↓
z \cdot 5.0 + \left(y + z\right) \cdot x
double f(double x, double y, double z) {
        double r9546277 = x;
        double r9546278 = y;
        double r9546279 = z;
        double r9546280 = r9546278 + r9546279;
        double r9546281 = r9546277 * r9546280;
        double r9546282 = 5.0;
        double r9546283 = r9546279 * r9546282;
        double r9546284 = r9546281 + r9546283;
        return r9546284;
}
↓
double f(double x, double y, double z) {
        double r9546285 = z;
        double r9546286 = 5.0;
        double r9546287 = r9546285 * r9546286;
        double r9546288 = y;
        double r9546289 = r9546288 + r9546285;
        double r9546290 = x;
        double r9546291 = r9546289 * r9546290;
        double r9546292 = r9546287 + r9546291;
        return r9546292;
}

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

Target

Original0.1
Target0.1
Herbie0.1
\[\left(x + 5.0\right) \cdot z + x \cdot y\]

Derivation

  1. Initial program 0.1

    \[x \cdot \left(y + z\right) + z \cdot 5.0\]

  2. Final simplification0.1

    \[\leadsto z \cdot 5.0 + \left(y + z\right) \cdot x\]

Reproduce

herbie shell --seed 2019156 
(FPCore (x y z)
  :name "Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, C"

  :herbie-target
  (+ (* (+ x 5.0) z) (* x y))

  (+ (* x (+ y z)) (* z 5.0)))