Average Error: 0.1 → 0.1
Time: 16.7s
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 r123111 = x;
        double r123112 = y;
        double r123113 = z;
        double r123114 = r123112 + r123113;
        double r123115 = r123114 + r123113;
        double r123116 = r123115 + r123112;
        double r123117 = t;
        double r123118 = r123116 + r123117;
        double r123119 = r123111 * r123118;
        double r123120 = 5.0;
        double r123121 = r123112 * r123120;
        double r123122 = r123119 + r123121;
        return r123122;
}
↓
double f(double x, double y, double z, double t) {
        double r123123 = x;
        double r123124 = z;
        double r123125 = y;
        double r123126 = r123124 + r123125;
        double r123127 = 2.0;
        double r123128 = r123126 * r123127;
        double r123129 = t;
        double r123130 = r123128 + r123129;
        double r123131 = r123123 * r123130;
        double r123132 = 5.0;
        double r123133 = r123125 * r123132;
        double r123134 = r123131 + r123133;
        return r123134;
}

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 2019196 
(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)))