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;
}

# Try it out

Results

 In Out
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)))