Average Error: 0.0 → 0.0
Time: 13.9s
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 r2548792 = x;
        double r2548793 = y;
        double r2548794 = r2548792 * r2548793;
        double r2548795 = z;
        double r2548796 = t;
        double r2548797 = r2548795 * r2548796;
        double r2548798 = r2548794 + r2548797;
        double r2548799 = a;
        double r2548800 = b;
        double r2548801 = r2548799 * r2548800;
        double r2548802 = r2548798 + r2548801;
        double r2548803 = c;
        double r2548804 = i;
        double r2548805 = r2548803 * r2548804;
        double r2548806 = r2548802 + r2548805;
        return r2548806;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2548807 = c;
        double r2548808 = i;
        double r2548809 = r2548807 * r2548808;
        double r2548810 = z;
        double r2548811 = t;
        double r2548812 = r2548810 * r2548811;
        double r2548813 = x;
        double r2548814 = y;
        double r2548815 = r2548813 * r2548814;
        double r2548816 = r2548812 + r2548815;
        double r2548817 = a;
        double r2548818 = b;
        double r2548819 = r2548817 * r2548818;
        double r2548820 = r2548816 + r2548819;
        double r2548821 = r2548809 + r2548820;
        return r2548821;
}

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