Average Error: 0.0 → 0.0
Time: 13.7s
Precision: 64
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
↓
\[c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
↓
c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2511263 = x;
        double r2511264 = y;
        double r2511265 = r2511263 * r2511264;
        double r2511266 = z;
        double r2511267 = t;
        double r2511268 = r2511266 * r2511267;
        double r2511269 = r2511265 + r2511268;
        double r2511270 = a;
        double r2511271 = b;
        double r2511272 = r2511270 * r2511271;
        double r2511273 = r2511269 + r2511272;
        double r2511274 = c;
        double r2511275 = i;
        double r2511276 = r2511274 * r2511275;
        double r2511277 = r2511273 + r2511276;
        return r2511277;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2511278 = c;
        double r2511279 = i;
        double r2511280 = r2511278 * r2511279;
        double r2511281 = z;
        double r2511282 = t;
        double r2511283 = r2511281 * r2511282;
        double r2511284 = x;
        double r2511285 = y;
        double r2511286 = r2511284 * r2511285;
        double r2511287 = r2511283 + r2511286;
        double r2511288 = a;
        double r2511289 = b;
        double r2511290 = r2511288 * r2511289;
        double r2511291 = r2511287 + r2511290;
        double r2511292 = r2511280 + r2511291;
        return r2511292;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]

  2. Final simplification0.0

    \[\leadsto c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]

Reproduce

herbie shell --seed 2019168 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))