Average Error: 0 → 0
Time: 50.8s
Precision: 64
Internal Precision: 320
$\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\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}}\right) + \frac{1}{\sqrt{8}}\right) + \frac{1}{\sqrt{9}}\right) + \frac{1}{\sqrt{10}}\right) + \frac{1}{\sqrt{11}}\right) + \frac{1}{\sqrt{12}}\right) + \frac{1}{\sqrt{13}}\right) + \frac{1}{\sqrt{14}}\right) + \frac{1}{\sqrt{15}}\right) + \frac{1}{\sqrt{16}}\right) + \frac{1}{\sqrt{17}}\right) + \frac{1}{\sqrt{18}}\right) + \frac{1}{\sqrt{19}}\right) + \frac{1}{\sqrt{20}}\right) + \frac{1}{\sqrt{21}}\right) + \frac{1}{\sqrt{22}}\right) + \frac{1}{\sqrt{23}}\right) + \frac{1}{\sqrt{24}}\right) + \frac{1}{\sqrt{25}}$
$\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\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}}\right) + \frac{1}{\sqrt{8}}\right) + \frac{1}{\sqrt{9}}\right) + \frac{1}{\sqrt{10}}\right) + \frac{1}{\sqrt{11}}\right) + \frac{1}{\sqrt{12}}\right) + \frac{1}{\sqrt{13}}\right) + \frac{1}{\sqrt{14}}\right) + \frac{1}{\sqrt{15}}\right) + \frac{1}{\sqrt{16}}\right) + \frac{1}{\sqrt{17}}\right) + \frac{1}{\sqrt{18}}\right) + \frac{1}{\sqrt{19}}\right) + \frac{1}{\sqrt{20}}\right) + \frac{1}{\sqrt{21}}\right) + \frac{1}{\sqrt{22}}\right) + \frac{1}{\sqrt{23}}\right) + \frac{1}{\sqrt{24}}\right) + \frac{1}{\sqrt{25}}$

# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0

$\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\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}}\right) + \frac{1}{\sqrt{8}}\right) + \frac{1}{\sqrt{9}}\right) + \frac{1}{\sqrt{10}}\right) + \frac{1}{\sqrt{11}}\right) + \frac{1}{\sqrt{12}}\right) + \frac{1}{\sqrt{13}}\right) + \frac{1}{\sqrt{14}}\right) + \frac{1}{\sqrt{15}}\right) + \frac{1}{\sqrt{16}}\right) + \frac{1}{\sqrt{17}}\right) + \frac{1}{\sqrt{18}}\right) + \frac{1}{\sqrt{19}}\right) + \frac{1}{\sqrt{20}}\right) + \frac{1}{\sqrt{21}}\right) + \frac{1}{\sqrt{22}}\right) + \frac{1}{\sqrt{23}}\right) + \frac{1}{\sqrt{24}}\right) + \frac{1}{\sqrt{25}}$

# Runtime

Time bar (total: 50.8s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore ()
:name "1 + 1 / sqrt(2) + 1 / sqrt(3) + 1 / sqrt(4) + 1 / sqrt(5) + 1 / sqrt(6) + 1 / sqrt(7) + 1 / sqrt(8) + 1 / sqrt(9) + 1 / sqrt(10) + 1 / sqrt(11) + 1 / sqrt(12) + 1 / sqrt(13) + 1 / sqrt(14) + 1 / sqrt(15) + 1 / sqrt(16) + 1 / sqrt(17) + 1 / sqrt(18) + 1 / sqrt(19) + 1 / sqrt(20) + 1 / sqrt(21) + 1 / sqrt(22) + 1 / sqrt(23) + 1 / sqrt(24) + 1 / sqrt(25)"
(+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ 1 (/ 1 (sqrt 2))) (/ 1 (sqrt 3))) (/ 1 (sqrt 4))) (/ 1 (sqrt 5))) (/ 1 (sqrt 6))) (/ 1 (sqrt 7))) (/ 1 (sqrt 8))) (/ 1 (sqrt 9))) (/ 1 (sqrt 10))) (/ 1 (sqrt 11))) (/ 1 (sqrt 12))) (/ 1 (sqrt 13))) (/ 1 (sqrt 14))) (/ 1 (sqrt 15))) (/ 1 (sqrt 16))) (/ 1 (sqrt 17))) (/ 1 (sqrt 18))) (/ 1 (sqrt 19))) (/ 1 (sqrt 20))) (/ 1 (sqrt 21))) (/ 1 (sqrt 22))) (/ 1 (sqrt 23))) (/ 1 (sqrt 24))) (/ 1 (sqrt 25))))