Average Error: 0.0 → 0.0
Time: 5.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 r126229 = x;
        double r126230 = y;
        double r126231 = r126229 * r126230;
        double r126232 = z;
        double r126233 = t;
        double r126234 = r126232 * r126233;
        double r126235 = r126231 + r126234;
        double r126236 = a;
        double r126237 = b;
        double r126238 = r126236 * r126237;
        double r126239 = r126235 + r126238;
        double r126240 = c;
        double r126241 = i;
        double r126242 = r126240 * r126241;
        double r126243 = r126239 + r126242;
        return r126243;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r126244 = x;
        double r126245 = y;
        double r126246 = r126244 * r126245;
        double r126247 = z;
        double r126248 = t;
        double r126249 = r126247 * r126248;
        double r126250 = r126246 + r126249;
        double r126251 = a;
        double r126252 = b;
        double r126253 = r126251 * r126252;
        double r126254 = r126250 + r126253;
        double r126255 = c;
        double r126256 = i;
        double r126257 = r126255 * r126256;
        double r126258 = r126254 + r126257;
        return r126258;
}

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