Average Error: 0.1 → 0.1
Time: 11.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(\left(y + \left(z + z\right)\right) + y\right) + 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(\left(y + \left(z + z\right)\right) + y\right) + t\right) + y \cdot 5
double f(double x, double y, double z, double t) {
        double r191269 = x;
        double r191270 = y;
        double r191271 = z;
        double r191272 = r191270 + r191271;
        double r191273 = r191272 + r191271;
        double r191274 = r191273 + r191270;
        double r191275 = t;
        double r191276 = r191274 + r191275;
        double r191277 = r191269 * r191276;
        double r191278 = 5.0;
        double r191279 = r191270 * r191278;
        double r191280 = r191277 + r191279;
        return r191280;
}
↓
double f(double x, double y, double z, double t) {
        double r191281 = x;
        double r191282 = y;
        double r191283 = z;
        double r191284 = r191283 + r191283;
        double r191285 = r191282 + r191284;
        double r191286 = r191285 + r191282;
        double r191287 = t;
        double r191288 = r191286 + r191287;
        double r191289 = r191281 * r191288;
        double r191290 = 5.0;
        double r191291 = r191282 * r191290;
        double r191292 = r191289 + r191291;
        return r191292;
}

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. Using strategy rm

  3. Applied associate-+l+0.1

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

  4. Final simplification0.1

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

Reproduce

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