Average Error: 0.0 → 0.0
Time: 16.5s
Precision: 64
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
↓
\[c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
↓
c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2809052 = x;
        double r2809053 = y;
        double r2809054 = r2809052 * r2809053;
        double r2809055 = z;
        double r2809056 = t;
        double r2809057 = r2809055 * r2809056;
        double r2809058 = r2809054 + r2809057;
        double r2809059 = a;
        double r2809060 = b;
        double r2809061 = r2809059 * r2809060;
        double r2809062 = r2809058 + r2809061;
        double r2809063 = c;
        double r2809064 = i;
        double r2809065 = r2809063 * r2809064;
        double r2809066 = r2809062 + r2809065;
        return r2809066;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2809067 = c;
        double r2809068 = i;
        double r2809069 = r2809067 * r2809068;
        double r2809070 = z;
        double r2809071 = t;
        double r2809072 = r2809070 * r2809071;
        double r2809073 = x;
        double r2809074 = y;
        double r2809075 = r2809073 * r2809074;
        double r2809076 = r2809072 + r2809075;
        double r2809077 = a;
        double r2809078 = b;
        double r2809079 = r2809077 * r2809078;
        double r2809080 = r2809076 + r2809079;
        double r2809081 = r2809069 + r2809080;
        return r2809081;
}

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 c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]

Reproduce

herbie shell --seed 2019138 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))