Average Error: 0.0 → 0.0
Time: 6.9s
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 r152006 = x;
        double r152007 = y;
        double r152008 = r152006 * r152007;
        double r152009 = z;
        double r152010 = t;
        double r152011 = r152009 * r152010;
        double r152012 = r152008 + r152011;
        double r152013 = a;
        double r152014 = b;
        double r152015 = r152013 * r152014;
        double r152016 = r152012 + r152015;
        double r152017 = c;
        double r152018 = i;
        double r152019 = r152017 * r152018;
        double r152020 = r152016 + r152019;
        return r152020;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r152021 = x;
        double r152022 = y;
        double r152023 = r152021 * r152022;
        double r152024 = z;
        double r152025 = t;
        double r152026 = r152024 * r152025;
        double r152027 = r152023 + r152026;
        double r152028 = a;
        double r152029 = b;
        double r152030 = r152028 * r152029;
        double r152031 = r152027 + r152030;
        double r152032 = c;
        double r152033 = i;
        double r152034 = r152032 * r152033;
        double r152035 = r152031 + r152034;
        return r152035;
}

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