Average Error: 0.0 → 0.0
Time: 6.2s
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 r113644 = x;
        double r113645 = y;
        double r113646 = r113644 * r113645;
        double r113647 = z;
        double r113648 = t;
        double r113649 = r113647 * r113648;
        double r113650 = r113646 + r113649;
        double r113651 = a;
        double r113652 = b;
        double r113653 = r113651 * r113652;
        double r113654 = r113650 + r113653;
        double r113655 = c;
        double r113656 = i;
        double r113657 = r113655 * r113656;
        double r113658 = r113654 + r113657;
        return r113658;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r113659 = x;
        double r113660 = y;
        double r113661 = r113659 * r113660;
        double r113662 = z;
        double r113663 = t;
        double r113664 = r113662 * r113663;
        double r113665 = r113661 + r113664;
        double r113666 = a;
        double r113667 = b;
        double r113668 = r113666 * r113667;
        double r113669 = r113665 + r113668;
        double r113670 = c;
        double r113671 = i;
        double r113672 = r113670 * r113671;
        double r113673 = r113669 + r113672;
        return r113673;
}

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