Average Error: 0.0 → 0.0
Time: 12.0s
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 r119439 = x;
        double r119440 = y;
        double r119441 = r119439 * r119440;
        double r119442 = z;
        double r119443 = t;
        double r119444 = r119442 * r119443;
        double r119445 = r119441 + r119444;
        double r119446 = a;
        double r119447 = b;
        double r119448 = r119446 * r119447;
        double r119449 = r119445 + r119448;
        double r119450 = c;
        double r119451 = i;
        double r119452 = r119450 * r119451;
        double r119453 = r119449 + r119452;
        return r119453;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r119454 = x;
        double r119455 = y;
        double r119456 = r119454 * r119455;
        double r119457 = z;
        double r119458 = t;
        double r119459 = r119457 * r119458;
        double r119460 = r119456 + r119459;
        double r119461 = a;
        double r119462 = b;
        double r119463 = r119461 * r119462;
        double r119464 = r119460 + r119463;
        double r119465 = c;
        double r119466 = i;
        double r119467 = r119465 * r119466;
        double r119468 = r119464 + r119467;
        return r119468;
}

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 2019291 
(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)))