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 r197079 = x;
        double r197080 = y;
        double r197081 = r197079 * r197080;
        double r197082 = z;
        double r197083 = t;
        double r197084 = r197082 * r197083;
        double r197085 = r197081 + r197084;
        double r197086 = a;
        double r197087 = b;
        double r197088 = r197086 * r197087;
        double r197089 = r197085 + r197088;
        double r197090 = c;
        double r197091 = i;
        double r197092 = r197090 * r197091;
        double r197093 = r197089 + r197092;
        return r197093;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r197094 = x;
        double r197095 = y;
        double r197096 = r197094 * r197095;
        double r197097 = z;
        double r197098 = t;
        double r197099 = r197097 * r197098;
        double r197100 = r197096 + r197099;
        double r197101 = a;
        double r197102 = b;
        double r197103 = r197101 * r197102;
        double r197104 = r197100 + r197103;
        double r197105 = c;
        double r197106 = i;
        double r197107 = r197105 * r197106;
        double r197108 = r197104 + r197107;
        return r197108;
}

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