Average Error: 0 → 0
Time: 363.0ms
Precision: 64
\[\sqrt{2}\]
\[\sqrt{2}\]
\sqrt{2}
\sqrt{2}
double f() {
        double r1870699 = 2.0;
        double r1870700 = sqrt(r1870699);
        return r1870700;
}

double f() {
        double r1870701 = 2.0;
        double r1870702 = sqrt(r1870701);
        return r1870702;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\sqrt{2}\]
    2. Final simplification0

      \[\leadsto \sqrt{2}\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "sqrt(2)"
      :precision binary64
      (sqrt 2))