Average Error: 0.0 → 0.0
Time: 1.3s
Precision: 64
\[\left(a + b\right) + \left(c + d\right)\]
\[\left(a + b\right) + \left(c + d\right)\]
\left(a + b\right) + \left(c + d\right)
\left(a + b\right) + \left(c + d\right)
double f(double a, double b, double c, double d) {
        double r2213020 = a;
        double r2213021 = b;
        double r2213022 = r2213020 + r2213021;
        double r2213023 = c;
        double r2213024 = d;
        double r2213025 = r2213023 + r2213024;
        double r2213026 = r2213022 + r2213025;
        return r2213026;
}

double f(double a, double b, double c, double d) {
        double r2213027 = a;
        double r2213028 = b;
        double r2213029 = r2213027 + r2213028;
        double r2213030 = c;
        double r2213031 = d;
        double r2213032 = r2213030 + r2213031;
        double r2213033 = r2213029 + r2213032;
        return r2213033;
}

Error

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus d

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(a + b\right) + \left(c + d\right)\]
  2. Final simplification0.0

    \[\leadsto \left(a + b\right) + \left(c + d\right)\]

Reproduce

herbie shell --seed 1 
(FPCore (a b c d)
  :name "(a+b)+(c+d)"
  :precision binary64
  (+ (+ a b) (+ c d)))