Average Error: 0.0 → 0.0
Time: 12.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 r112067 = x;
        double r112068 = y;
        double r112069 = r112067 * r112068;
        double r112070 = z;
        double r112071 = t;
        double r112072 = r112070 * r112071;
        double r112073 = r112069 + r112072;
        double r112074 = a;
        double r112075 = b;
        double r112076 = r112074 * r112075;
        double r112077 = r112073 + r112076;
        double r112078 = c;
        double r112079 = i;
        double r112080 = r112078 * r112079;
        double r112081 = r112077 + r112080;
        return r112081;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r112082 = x;
        double r112083 = y;
        double r112084 = r112082 * r112083;
        double r112085 = z;
        double r112086 = t;
        double r112087 = r112085 * r112086;
        double r112088 = r112084 + r112087;
        double r112089 = a;
        double r112090 = b;
        double r112091 = r112089 * r112090;
        double r112092 = r112088 + r112091;
        double r112093 = c;
        double r112094 = i;
        double r112095 = r112093 * r112094;
        double r112096 = r112092 + r112095;
        return r112096;
}

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