Average Error: 0.0 → 0.0
Time: 23.9s
Precision: 64
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
↓
\[c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
↓
c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r3122407 = x;
        double r3122408 = y;
        double r3122409 = r3122407 * r3122408;
        double r3122410 = z;
        double r3122411 = t;
        double r3122412 = r3122410 * r3122411;
        double r3122413 = r3122409 + r3122412;
        double r3122414 = a;
        double r3122415 = b;
        double r3122416 = r3122414 * r3122415;
        double r3122417 = r3122413 + r3122416;
        double r3122418 = c;
        double r3122419 = i;
        double r3122420 = r3122418 * r3122419;
        double r3122421 = r3122417 + r3122420;
        return r3122421;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r3122422 = c;
        double r3122423 = i;
        double r3122424 = r3122422 * r3122423;
        double r3122425 = z;
        double r3122426 = t;
        double r3122427 = r3122425 * r3122426;
        double r3122428 = x;
        double r3122429 = y;
        double r3122430 = r3122428 * r3122429;
        double r3122431 = r3122427 + r3122430;
        double r3122432 = a;
        double r3122433 = b;
        double r3122434 = r3122432 * r3122433;
        double r3122435 = r3122431 + r3122434;
        double r3122436 = r3122424 + r3122435;
        return r3122436;
}

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 c \cdot i + \left(\left(z \cdot t + x \cdot y\right) + a \cdot b\right)\]

Reproduce

herbie shell --seed 2019134 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))