Average Error: 0.0 → 0.0
Time: 5.6s
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 r134831 = x;
        double r134832 = y;
        double r134833 = r134831 * r134832;
        double r134834 = z;
        double r134835 = t;
        double r134836 = r134834 * r134835;
        double r134837 = r134833 + r134836;
        double r134838 = a;
        double r134839 = b;
        double r134840 = r134838 * r134839;
        double r134841 = r134837 + r134840;
        double r134842 = c;
        double r134843 = i;
        double r134844 = r134842 * r134843;
        double r134845 = r134841 + r134844;
        return r134845;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r134846 = x;
        double r134847 = y;
        double r134848 = r134846 * r134847;
        double r134849 = z;
        double r134850 = t;
        double r134851 = r134849 * r134850;
        double r134852 = r134848 + r134851;
        double r134853 = a;
        double r134854 = b;
        double r134855 = r134853 * r134854;
        double r134856 = r134852 + r134855;
        double r134857 = c;
        double r134858 = i;
        double r134859 = r134857 * r134858;
        double r134860 = r134856 + r134859;
        return r134860;
}

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