Average Error: 0 → 0
Time: 1.1s
Precision: binary64
\[\left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}\]
↓
\[\left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}\]
\left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}
↓
\left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}
double code() {
	return ((double) (((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (1.0 / ((double) sqrt(2.0)))))) + ((double) (1.0 / ((double) sqrt(3.0)))))) + ((double) (1.0 / ((double) sqrt(4.0)))))) + ((double) (1.0 / ((double) sqrt(5.0)))))) + ((double) (1.0 / ((double) sqrt(6.0)))))) + ((double) (1.0 / ((double) sqrt(7.0))))));
}
↓
double code() {
	return ((double) (((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (1.0 / ((double) sqrt(2.0)))))) + ((double) (1.0 / ((double) sqrt(3.0)))))) + ((double) (1.0 / ((double) sqrt(4.0)))))) + ((double) (1.0 / ((double) sqrt(5.0)))))) + ((double) (1.0 / ((double) sqrt(6.0)))))) + ((double) (1.0 / ((double) sqrt(7.0))))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}\]

    2. Final simplification0

      \[\leadsto \left(\left(\left(\left(\left(1 + \frac{1}{\sqrt{2}}\right) + \frac{1}{\sqrt{3}}\right) + \frac{1}{\sqrt{4}}\right) + \frac{1}{\sqrt{5}}\right) + \frac{1}{\sqrt{6}}\right) + \frac{1}{\sqrt{7}}\]

    Reproduce

    herbie shell --seed 2020153 
(FPCore ()
  :name "(+ (+ (+ (+ (+ (+ 1 (/ 1 (sqrt 2))) (/ 1 (sqrt 3))) (/ 1 (sqrt 4))) (/ 1 (sqrt 5))) (/ 1 (sqrt 6))) (/ 1 (sqrt 7)))"
  :precision binary64
  (+ (+ (+ (+ (+ (+ 1.0 (/ 1.0 (sqrt 2.0))) (/ 1.0 (sqrt 3.0))) (/ 1.0 (sqrt 4.0))) (/ 1.0 (sqrt 5.0))) (/ 1.0 (sqrt 6.0))) (/ 1.0 (sqrt 7.0))))