Average Error: 0.0 → 0.0
Time: 5.6s
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 r114732 = x;
        double r114733 = y;
        double r114734 = r114732 * r114733;
        double r114735 = z;
        double r114736 = t;
        double r114737 = r114735 * r114736;
        double r114738 = r114734 + r114737;
        double r114739 = a;
        double r114740 = b;
        double r114741 = r114739 * r114740;
        double r114742 = r114738 + r114741;
        double r114743 = c;
        double r114744 = i;
        double r114745 = r114743 * r114744;
        double r114746 = r114742 + r114745;
        return r114746;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r114747 = x;
        double r114748 = y;
        double r114749 = r114747 * r114748;
        double r114750 = z;
        double r114751 = t;
        double r114752 = r114750 * r114751;
        double r114753 = r114749 + r114752;
        double r114754 = a;
        double r114755 = b;
        double r114756 = r114754 * r114755;
        double r114757 = r114753 + r114756;
        double r114758 = c;
        double r114759 = i;
        double r114760 = r114758 * r114759;
        double r114761 = r114757 + r114760;
        return r114761;
}

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