Average Error: 0.0 → 0.0
Time: 1.6m
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 r81340 = x;
        double r81341 = y;
        double r81342 = r81340 * r81341;
        double r81343 = z;
        double r81344 = t;
        double r81345 = r81343 * r81344;
        double r81346 = r81342 + r81345;
        double r81347 = a;
        double r81348 = b;
        double r81349 = r81347 * r81348;
        double r81350 = r81346 + r81349;
        double r81351 = c;
        double r81352 = i;
        double r81353 = r81351 * r81352;
        double r81354 = r81350 + r81353;
        return r81354;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r81355 = x;
        double r81356 = y;
        double r81357 = r81355 * r81356;
        double r81358 = z;
        double r81359 = t;
        double r81360 = r81358 * r81359;
        double r81361 = r81357 + r81360;
        double r81362 = a;
        double r81363 = b;
        double r81364 = r81362 * r81363;
        double r81365 = r81361 + r81364;
        double r81366 = c;
        double r81367 = i;
        double r81368 = r81366 * r81367;
        double r81369 = r81365 + r81368;
        return r81369;
}

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