Average Error: 0.0 → 0.0
Time: 13.0s
Precision: 64
$\frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}$
$\frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}$
\frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}
\frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}
double f(double a, double b, double c, double d, double e) {
double r840821 = a;
double r840822 = b;
double r840823 = r840821 + r840822;
double r840824 = c;
double r840825 = r840823 + r840824;
double r840826 = d;
double r840827 = r840825 + r840826;
double r840828 = e;
double r840829 = r840827 + r840828;
double r840830 = 5.0;
double r840831 = r840829 / r840830;
return r840831;
}


double f(double a, double b, double c, double d, double e) {
double r840832 = a;
double r840833 = b;
double r840834 = r840832 + r840833;
double r840835 = c;
double r840836 = r840834 + r840835;
double r840837 = d;
double r840838 = r840836 + r840837;
double r840839 = e;
double r840840 = r840838 + r840839;
double r840841 = 5.0;
double r840842 = r840840 / r840841;
return r840842;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.0

$\frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}$
2. Final simplification0.0

$\leadsto \frac{\left(\left(\left(a + b\right) + c\right) + d\right) + e}{5}$

# Reproduce

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