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\]
↓
\[\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 r69117 = x;
        double r69118 = y;
        double r69119 = r69117 * r69118;
        double r69120 = z;
        double r69121 = t;
        double r69122 = r69120 * r69121;
        double r69123 = r69119 + r69122;
        double r69124 = a;
        double r69125 = b;
        double r69126 = r69124 * r69125;
        double r69127 = r69123 + r69126;
        double r69128 = c;
        double r69129 = i;
        double r69130 = r69128 * r69129;
        double r69131 = r69127 + r69130;
        return r69131;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r69132 = x;
        double r69133 = y;
        double r69134 = r69132 * r69133;
        double r69135 = z;
        double r69136 = t;
        double r69137 = r69135 * r69136;
        double r69138 = r69134 + r69137;
        double r69139 = a;
        double r69140 = b;
        double r69141 = r69139 * r69140;
        double r69142 = r69138 + r69141;
        double r69143 = c;
        double r69144 = i;
        double r69145 = r69143 * r69144;
        double r69146 = r69142 + r69145;
        return r69146;
}

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