Average Error: 0.0 → 0.0
Time: 23.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 r91062 = x;
        double r91063 = y;
        double r91064 = r91062 * r91063;
        double r91065 = z;
        double r91066 = t;
        double r91067 = r91065 * r91066;
        double r91068 = r91064 + r91067;
        double r91069 = a;
        double r91070 = b;
        double r91071 = r91069 * r91070;
        double r91072 = r91068 + r91071;
        double r91073 = c;
        double r91074 = i;
        double r91075 = r91073 * r91074;
        double r91076 = r91072 + r91075;
        return r91076;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r91077 = x;
        double r91078 = y;
        double r91079 = r91077 * r91078;
        double r91080 = z;
        double r91081 = t;
        double r91082 = r91080 * r91081;
        double r91083 = r91079 + r91082;
        double r91084 = a;
        double r91085 = b;
        double r91086 = r91084 * r91085;
        double r91087 = r91083 + r91086;
        double r91088 = c;
        double r91089 = i;
        double r91090 = r91088 * r91089;
        double r91091 = r91087 + r91090;
        return r91091;
}

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