Average Error: 0.1 → 0.1
Time: 9.0s
Precision: 64
\[\left(\left(\left(\left(x + y\right) + y\right) + x\right) + z\right) + x\]
↓
\[2 \cdot \left(x + y\right) + \left(x + z\right)\]
\left(\left(\left(\left(x + y\right) + y\right) + x\right) + z\right) + x
↓
2 \cdot \left(x + y\right) + \left(x + z\right)
double f(double x, double y, double z) {
        double r202699 = x;
        double r202700 = y;
        double r202701 = r202699 + r202700;
        double r202702 = r202701 + r202700;
        double r202703 = r202702 + r202699;
        double r202704 = z;
        double r202705 = r202703 + r202704;
        double r202706 = r202705 + r202699;
        return r202706;
}
↓
double f(double x, double y, double z) {
        double r202707 = 2.0;
        double r202708 = x;
        double r202709 = y;
        double r202710 = r202708 + r202709;
        double r202711 = r202707 * r202710;
        double r202712 = z;
        double r202713 = r202708 + r202712;
        double r202714 = r202711 + r202713;
        return r202714;
}

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

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

  2. Simplified0.1

    \[\leadsto \color{blue}{2 \cdot \left(x + y\right) + \left(x + z\right)}\]

  3. Final simplification0.1

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

Reproduce

herbie shell --seed 2020049 
(FPCore (x y z)
  :name "Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendInside from plot-0.2.3.4"
  :precision binary64
  (+ (+ (+ (+ (+ x y) y) x) z) x))