Average Error: 0.0 → 0.0
Time: 4.6m
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)\]
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r34501669 = x;
        double r34501670 = y;
        double r34501671 = r34501669 * r34501670;
        double r34501672 = z;
        double r34501673 = t;
        double r34501674 = r34501672 * r34501673;
        double r34501675 = r34501671 + r34501674;
        double r34501676 = a;
        double r34501677 = b;
        double r34501678 = r34501676 * r34501677;
        double r34501679 = r34501675 + r34501678;
        double r34501680 = c;
        double r34501681 = i;
        double r34501682 = r34501680 * r34501681;
        double r34501683 = r34501679 + r34501682;
        return r34501683;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r34501684 = c;
        double r34501685 = i;
        double r34501686 = r34501684 * r34501685;
        double r34501687 = z;
        double r34501688 = t;
        double r34501689 = r34501687 * r34501688;
        double r34501690 = x;
        double r34501691 = y;
        double r34501692 = r34501690 * r34501691;
        double r34501693 = r34501689 + r34501692;
        double r34501694 = a;
        double r34501695 = b;
        double r34501696 = r34501694 * r34501695;
        double r34501697 = r34501693 + r34501696;
        double r34501698 = r34501686 + r34501697;
        return r34501698;
}


\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)

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

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