Average Error: 0.0 → 0.0
Time: 5.9m
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 r5126136 = x;
        double r5126137 = y;
        double r5126138 = r5126136 * r5126137;
        double r5126139 = z;
        double r5126140 = t;
        double r5126141 = r5126139 * r5126140;
        double r5126142 = r5126138 + r5126141;
        double r5126143 = a;
        double r5126144 = b;
        double r5126145 = r5126143 * r5126144;
        double r5126146 = r5126142 + r5126145;
        double r5126147 = c;
        double r5126148 = i;
        double r5126149 = r5126147 * r5126148;
        double r5126150 = r5126146 + r5126149;
        return r5126150;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r5126151 = c;
        double r5126152 = i;
        double r5126153 = r5126151 * r5126152;
        double r5126154 = z;
        double r5126155 = t;
        double r5126156 = r5126154 * r5126155;
        double r5126157 = x;
        double r5126158 = y;
        double r5126159 = r5126157 * r5126158;
        double r5126160 = r5126156 + r5126159;
        double r5126161 = a;
        double r5126162 = b;
        double r5126163 = r5126161 * r5126162;
        double r5126164 = r5126160 + r5126163;
        double r5126165 = r5126153 + r5126164;
        return r5126165;
}

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