Average Error: 0.0 → 0.0
Time: 20.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 r7384309 = x;
        double r7384310 = y;
        double r7384311 = r7384309 * r7384310;
        double r7384312 = z;
        double r7384313 = t;
        double r7384314 = r7384312 * r7384313;
        double r7384315 = r7384311 + r7384314;
        double r7384316 = a;
        double r7384317 = b;
        double r7384318 = r7384316 * r7384317;
        double r7384319 = r7384315 + r7384318;
        double r7384320 = c;
        double r7384321 = i;
        double r7384322 = r7384320 * r7384321;
        double r7384323 = r7384319 + r7384322;
        return r7384323;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r7384324 = x;
        double r7384325 = y;
        double r7384326 = r7384324 * r7384325;
        double r7384327 = z;
        double r7384328 = t;
        double r7384329 = r7384327 * r7384328;
        double r7384330 = r7384326 + r7384329;
        double r7384331 = a;
        double r7384332 = b;
        double r7384333 = r7384331 * r7384332;
        double r7384334 = r7384330 + r7384333;
        double r7384335 = c;
        double r7384336 = i;
        double r7384337 = r7384335 * r7384336;
        double r7384338 = r7384334 + r7384337;
        return r7384338;
}

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 2019174 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3, C"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))