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

Error

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus d

Bits error versus e

Try it out

Your Program's Arguments

Results

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