Average Error: 0.0 → 0.0
Time: 3.4m
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 r160598 = x;
        double r160599 = y;
        double r160600 = r160598 * r160599;
        double r160601 = z;
        double r160602 = t;
        double r160603 = r160601 * r160602;
        double r160604 = r160600 + r160603;
        double r160605 = a;
        double r160606 = b;
        double r160607 = r160605 * r160606;
        double r160608 = r160604 + r160607;
        double r160609 = c;
        double r160610 = i;
        double r160611 = r160609 * r160610;
        double r160612 = r160608 + r160611;
        return r160612;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r160613 = x;
        double r160614 = y;
        double r160615 = r160613 * r160614;
        double r160616 = z;
        double r160617 = t;
        double r160618 = r160616 * r160617;
        double r160619 = r160615 + r160618;
        double r160620 = a;
        double r160621 = b;
        double r160622 = r160620 * r160621;
        double r160623 = r160619 + r160622;
        double r160624 = c;
        double r160625 = i;
        double r160626 = r160624 * r160625;
        double r160627 = r160623 + r160626;
        return r160627;
}

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