Average Error: 0.1 → 0.1
Time: 12.9s
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(\left(y + z\right) + z\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(\left(y + z\right) + z\right) + y\right) + t\right) + y \cdot 5
double f(double x, double y, double z, double t) {
        double r166819 = x;
        double r166820 = y;
        double r166821 = z;
        double r166822 = r166820 + r166821;
        double r166823 = r166822 + r166821;
        double r166824 = r166823 + r166820;
        double r166825 = t;
        double r166826 = r166824 + r166825;
        double r166827 = r166819 * r166826;
        double r166828 = 5.0;
        double r166829 = r166820 * r166828;
        double r166830 = r166827 + r166829;
        return r166830;
}
↓
double f(double x, double y, double z, double t) {
        double r166831 = x;
        double r166832 = y;
        double r166833 = z;
        double r166834 = r166832 + r166833;
        double r166835 = r166834 + r166833;
        double r166836 = r166835 + r166832;
        double r166837 = t;
        double r166838 = r166836 + r166837;
        double r166839 = r166831 * r166838;
        double r166840 = 5.0;
        double r166841 = r166832 * r166840;
        double r166842 = r166839 + r166841;
        return r166842;
}

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

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

Reproduce

herbie shell --seed 2020036 
(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)))