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 r136600 = x;
        double r136601 = y;
        double r136602 = r136600 * r136601;
        double r136603 = z;
        double r136604 = t;
        double r136605 = r136603 * r136604;
        double r136606 = r136602 + r136605;
        double r136607 = a;
        double r136608 = b;
        double r136609 = r136607 * r136608;
        double r136610 = r136606 + r136609;
        double r136611 = c;
        double r136612 = i;
        double r136613 = r136611 * r136612;
        double r136614 = r136610 + r136613;
        return r136614;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r136615 = x;
        double r136616 = y;
        double r136617 = r136615 * r136616;
        double r136618 = z;
        double r136619 = t;
        double r136620 = r136618 * r136619;
        double r136621 = r136617 + r136620;
        double r136622 = a;
        double r136623 = b;
        double r136624 = r136622 * r136623;
        double r136625 = r136621 + r136624;
        double r136626 = c;
        double r136627 = i;
        double r136628 = r136626 * r136627;
        double r136629 = r136625 + r136628;
        return r136629;
}

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