Average Error: 0.0 → 0.0
Time: 9.2s
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 r126196 = x;
        double r126197 = y;
        double r126198 = r126196 * r126197;
        double r126199 = z;
        double r126200 = t;
        double r126201 = r126199 * r126200;
        double r126202 = r126198 + r126201;
        double r126203 = a;
        double r126204 = b;
        double r126205 = r126203 * r126204;
        double r126206 = r126202 + r126205;
        double r126207 = c;
        double r126208 = i;
        double r126209 = r126207 * r126208;
        double r126210 = r126206 + r126209;
        return r126210;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r126211 = x;
        double r126212 = y;
        double r126213 = r126211 * r126212;
        double r126214 = z;
        double r126215 = t;
        double r126216 = r126214 * r126215;
        double r126217 = r126213 + r126216;
        double r126218 = a;
        double r126219 = b;
        double r126220 = r126218 * r126219;
        double r126221 = r126217 + r126220;
        double r126222 = c;
        double r126223 = i;
        double r126224 = r126222 * r126223;
        double r126225 = r126221 + r126224;
        return r126225;
}

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