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 r107747 = x;
        double r107748 = y;
        double r107749 = r107747 * r107748;
        double r107750 = z;
        double r107751 = t;
        double r107752 = r107750 * r107751;
        double r107753 = r107749 + r107752;
        double r107754 = a;
        double r107755 = b;
        double r107756 = r107754 * r107755;
        double r107757 = r107753 + r107756;
        double r107758 = c;
        double r107759 = i;
        double r107760 = r107758 * r107759;
        double r107761 = r107757 + r107760;
        return r107761;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r107762 = x;
        double r107763 = y;
        double r107764 = r107762 * r107763;
        double r107765 = z;
        double r107766 = t;
        double r107767 = r107765 * r107766;
        double r107768 = r107764 + r107767;
        double r107769 = a;
        double r107770 = b;
        double r107771 = r107769 * r107770;
        double r107772 = r107768 + r107771;
        double r107773 = c;
        double r107774 = i;
        double r107775 = r107773 * r107774;
        double r107776 = r107772 + r107775;
        return r107776;
}

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"
  :precision binary64
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))