Average Error: 0.0 → 0.0
Time: 20.9s
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 r97707 = x;
        double r97708 = y;
        double r97709 = r97707 * r97708;
        double r97710 = z;
        double r97711 = t;
        double r97712 = r97710 * r97711;
        double r97713 = r97709 + r97712;
        double r97714 = a;
        double r97715 = b;
        double r97716 = r97714 * r97715;
        double r97717 = r97713 + r97716;
        double r97718 = c;
        double r97719 = i;
        double r97720 = r97718 * r97719;
        double r97721 = r97717 + r97720;
        return r97721;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r97722 = x;
        double r97723 = y;
        double r97724 = r97722 * r97723;
        double r97725 = z;
        double r97726 = t;
        double r97727 = r97725 * r97726;
        double r97728 = r97724 + r97727;
        double r97729 = a;
        double r97730 = b;
        double r97731 = r97729 * r97730;
        double r97732 = r97728 + r97731;
        double r97733 = c;
        double r97734 = i;
        double r97735 = r97733 * r97734;
        double r97736 = r97732 + r97735;
        return r97736;
}

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 2019199 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3, C"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))