Average Error: 0.1 → 0.1
Time: 16.4s
Precision: 64
\[x \cdot \left(\left(\left(\left(y + z\right) + z\right) + y\right) + t\right) + y \cdot 5\]
↓
\[x \cdot \left(\left(z + y\right) \cdot 2 + t\right) + y \cdot 5\]
x \cdot \left(\left(\left(\left(y + z\right) + z\right) + y\right) + t\right) + y \cdot 5
↓
x \cdot \left(\left(z + y\right) \cdot 2 + t\right) + y \cdot 5
double f(double x, double y, double z, double t) {
        double r131733 = x;
        double r131734 = y;
        double r131735 = z;
        double r131736 = r131734 + r131735;
        double r131737 = r131736 + r131735;
        double r131738 = r131737 + r131734;
        double r131739 = t;
        double r131740 = r131738 + r131739;
        double r131741 = r131733 * r131740;
        double r131742 = 5.0;
        double r131743 = r131734 * r131742;
        double r131744 = r131741 + r131743;
        return r131744;
}
↓
double f(double x, double y, double z, double t) {
        double r131745 = x;
        double r131746 = z;
        double r131747 = y;
        double r131748 = r131746 + r131747;
        double r131749 = 2.0;
        double r131750 = r131748 * r131749;
        double r131751 = t;
        double r131752 = r131750 + r131751;
        double r131753 = r131745 * r131752;
        double r131754 = 5.0;
        double r131755 = r131747 * r131754;
        double r131756 = r131753 + r131755;
        return r131756;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

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

  2. Simplified0.1

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

  3. Final simplification0.1

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

Reproduce

herbie shell --seed 2019195 
(FPCore (x y z t)
  :name "Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, B"
  (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))