Average Error: 0.0 → 0.0
Time: 9.2s
Precision: 64
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
↓
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
↓
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r115398 = x;
        double r115399 = y;
        double r115400 = r115398 * r115399;
        double r115401 = z;
        double r115402 = t;
        double r115403 = r115401 * r115402;
        double r115404 = r115400 + r115403;
        double r115405 = a;
        double r115406 = b;
        double r115407 = r115405 * r115406;
        double r115408 = r115404 + r115407;
        double r115409 = c;
        double r115410 = i;
        double r115411 = r115409 * r115410;
        double r115412 = r115408 + r115411;
        return r115412;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r115413 = x;
        double r115414 = y;
        double r115415 = r115413 * r115414;
        double r115416 = z;
        double r115417 = t;
        double r115418 = r115416 * r115417;
        double r115419 = r115415 + r115418;
        double r115420 = a;
        double r115421 = b;
        double r115422 = r115420 * r115421;
        double r115423 = r115419 + r115422;
        double r115424 = c;
        double r115425 = i;
        double r115426 = r115424 * r115425;
        double r115427 = r115423 + r115426;
        return r115427;
}

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 \left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]

Reproduce

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