Average Error: 0.0 → 0.0
Time: 31.7s
Precision: 64
\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
↓
\[\left(\left(y \cdot x + t \cdot z\right) + b \cdot a\right) + c \cdot i\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
↓
\left(\left(y \cdot x + t \cdot z\right) + b \cdot a\right) + c \cdot i
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r4115274 = x;
        double r4115275 = y;
        double r4115276 = r4115274 * r4115275;
        double r4115277 = z;
        double r4115278 = t;
        double r4115279 = r4115277 * r4115278;
        double r4115280 = r4115276 + r4115279;
        double r4115281 = a;
        double r4115282 = b;
        double r4115283 = r4115281 * r4115282;
        double r4115284 = r4115280 + r4115283;
        double r4115285 = c;
        double r4115286 = i;
        double r4115287 = r4115285 * r4115286;
        double r4115288 = r4115284 + r4115287;
        return r4115288;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r4115289 = y;
        double r4115290 = x;
        double r4115291 = r4115289 * r4115290;
        double r4115292 = t;
        double r4115293 = z;
        double r4115294 = r4115292 * r4115293;
        double r4115295 = r4115291 + r4115294;
        double r4115296 = b;
        double r4115297 = a;
        double r4115298 = r4115296 * r4115297;
        double r4115299 = r4115295 + r4115298;
        double r4115300 = c;
        double r4115301 = i;
        double r4115302 = r4115300 * r4115301;
        double r4115303 = r4115299 + r4115302;
        return r4115303;
}

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(y \cdot x + t \cdot z\right) + b \cdot a\right) + c \cdot i\]

Reproduce

herbie shell --seed 2019200 
(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)))