Average Error: 0.0 → 0.0
Time: 25.1s
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 r145215 = x;
        double r145216 = y;
        double r145217 = r145215 * r145216;
        double r145218 = z;
        double r145219 = t;
        double r145220 = r145218 * r145219;
        double r145221 = r145217 + r145220;
        double r145222 = a;
        double r145223 = b;
        double r145224 = r145222 * r145223;
        double r145225 = r145221 + r145224;
        double r145226 = c;
        double r145227 = i;
        double r145228 = r145226 * r145227;
        double r145229 = r145225 + r145228;
        return r145229;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r145230 = c;
        double r145231 = i;
        double r145232 = r145230 * r145231;
        double r145233 = z;
        double r145234 = t;
        double r145235 = r145233 * r145234;
        double r145236 = x;
        double r145237 = y;
        double r145238 = r145236 * r145237;
        double r145239 = r145235 + r145238;
        double r145240 = a;
        double r145241 = b;
        double r145242 = r145240 * r145241;
        double r145243 = r145239 + r145242;
        double r145244 = r145232 + r145243;
        return r145244;
}

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