Average Error: 0.0 → 0.0
Time: 8.3s
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 r153838 = x;
        double r153839 = y;
        double r153840 = r153838 * r153839;
        double r153841 = z;
        double r153842 = t;
        double r153843 = r153841 * r153842;
        double r153844 = r153840 + r153843;
        double r153845 = a;
        double r153846 = b;
        double r153847 = r153845 * r153846;
        double r153848 = r153844 + r153847;
        double r153849 = c;
        double r153850 = i;
        double r153851 = r153849 * r153850;
        double r153852 = r153848 + r153851;
        return r153852;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r153853 = x;
        double r153854 = y;
        double r153855 = r153853 * r153854;
        double r153856 = z;
        double r153857 = t;
        double r153858 = r153856 * r153857;
        double r153859 = r153855 + r153858;
        double r153860 = a;
        double r153861 = b;
        double r153862 = r153860 * r153861;
        double r153863 = r153859 + r153862;
        double r153864 = c;
        double r153865 = i;
        double r153866 = r153864 * r153865;
        double r153867 = r153863 + r153866;
        return r153867;
}

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