Average Error: 0.0 → 0.0
Time: 14.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 r52311 = x;
        double r52312 = y;
        double r52313 = r52311 * r52312;
        double r52314 = z;
        double r52315 = t;
        double r52316 = r52314 * r52315;
        double r52317 = r52313 + r52316;
        double r52318 = a;
        double r52319 = b;
        double r52320 = r52318 * r52319;
        double r52321 = r52317 + r52320;
        double r52322 = c;
        double r52323 = i;
        double r52324 = r52322 * r52323;
        double r52325 = r52321 + r52324;
        return r52325;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r52326 = x;
        double r52327 = y;
        double r52328 = r52326 * r52327;
        double r52329 = z;
        double r52330 = t;
        double r52331 = r52329 * r52330;
        double r52332 = r52328 + r52331;
        double r52333 = a;
        double r52334 = b;
        double r52335 = r52333 * r52334;
        double r52336 = r52332 + r52335;
        double r52337 = c;
        double r52338 = i;
        double r52339 = r52337 * r52338;
        double r52340 = r52336 + r52339;
        return r52340;
}

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