Average Error: 0.0 → 0.0
Time: 3.4s
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 r136657 = x;
        double r136658 = y;
        double r136659 = r136657 * r136658;
        double r136660 = z;
        double r136661 = t;
        double r136662 = r136660 * r136661;
        double r136663 = r136659 + r136662;
        double r136664 = a;
        double r136665 = b;
        double r136666 = r136664 * r136665;
        double r136667 = r136663 + r136666;
        double r136668 = c;
        double r136669 = i;
        double r136670 = r136668 * r136669;
        double r136671 = r136667 + r136670;
        return r136671;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r136672 = x;
        double r136673 = y;
        double r136674 = r136672 * r136673;
        double r136675 = z;
        double r136676 = t;
        double r136677 = r136675 * r136676;
        double r136678 = r136674 + r136677;
        double r136679 = a;
        double r136680 = b;
        double r136681 = r136679 * r136680;
        double r136682 = r136678 + r136681;
        double r136683 = c;
        double r136684 = i;
        double r136685 = r136683 * r136684;
        double r136686 = r136682 + r136685;
        return r136686;
}

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