Average Error: 61.8 → 61.8
Time: 1.6s
Precision: 64
Internal Precision: 576
\[1 - \sqrt{1 - 10^{-40}}\]
\[1 - \sqrt{1 - 10^{-40}}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 61.8

      \[1 - \sqrt{1 - 10^{-40}}\]
    2. Final simplification61.8

      \[\leadsto 1 - \sqrt{1 - 10^{-40}}\]

    Runtime

    Time bar (total: 1.6s)Debug log

    herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
    (FPCore ()
      :name "1-sqrt(1-0.0000000000000000000000000000000000000001)"
      (- 1 (sqrt (- 1 1e-40))))