Average Error: 0.1 → 0.1
Time: 55.2s
Precision: 64
\[\frac{\left(x + y\right) - z}{t \cdot 2.0}\]
↓
\[\frac{\left(y + x\right) - z}{t \cdot 2.0}\]
\frac{\left(x + y\right) - z}{t \cdot 2.0}
↓
\frac{\left(y + x\right) - z}{t \cdot 2.0}
double f(double x, double y, double z, double t) {
        double r4662176 = x;
        double r4662177 = y;
        double r4662178 = r4662176 + r4662177;
        double r4662179 = z;
        double r4662180 = r4662178 - r4662179;
        double r4662181 = t;
        double r4662182 = 2.0;
        double r4662183 = r4662181 * r4662182;
        double r4662184 = r4662180 / r4662183;
        return r4662184;
}
↓
double f(double x, double y, double z, double t) {
        double r4662185 = y;
        double r4662186 = x;
        double r4662187 = r4662185 + r4662186;
        double r4662188 = z;
        double r4662189 = r4662187 - r4662188;
        double r4662190 = t;
        double r4662191 = 2.0;
        double r4662192 = r4662190 * r4662191;
        double r4662193 = r4662189 / r4662192;
        return r4662193;
}

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

    \[\frac{\left(x + y\right) - z}{t \cdot 2.0}\]

  2. Final simplification0.1

    \[\leadsto \frac{\left(y + x\right) - z}{t \cdot 2.0}\]

Reproduce

herbie shell --seed 2019158 
(FPCore (x y z t)
  :name "Optimisation.CirclePacking:place from circle-packing-0.1.0.4, B"
  (/ (- (+ x y) z) (* t 2.0)))