Average Error: 1.0 → 0
Time: 5.6s
Precision: 64
\[\frac{1}{\sqrt{0.5 \cdot 16}}\]
\[\log \left(e^{\frac{1}{\sqrt{0.5 \cdot 16}}}\right)\]
\frac{1}{\sqrt{0.5 \cdot 16}}
\log \left(e^{\frac{1}{\sqrt{0.5 \cdot 16}}}\right)
double f() {
        double r2094918 = 1.0;
        double r2094919 = 0.5;
        double r2094920 = 16.0;
        double r2094921 = r2094919 * r2094920;
        double r2094922 = sqrt(r2094921);
        double r2094923 = r2094918 / r2094922;
        return r2094923;
}

double f() {
        double r2094924 = 1.0;
        double r2094925 = 0.5;
        double r2094926 = 16.0;
        double r2094927 = r2094925 * r2094926;
        double r2094928 = sqrt(r2094927);
        double r2094929 = r2094924 / r2094928;
        double r2094930 = exp(r2094929);
        double r2094931 = log(r2094930);
        return r2094931;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\frac{1}{\sqrt{0.5 \cdot 16}}\]
    2. Using strategy rm
    3. Applied add-log-exp0

      \[\leadsto \color{blue}{\log \left(e^{\frac{1}{\sqrt{0.5 \cdot 16}}}\right)}\]
    4. Final simplification0

      \[\leadsto \log \left(e^{\frac{1}{\sqrt{0.5 \cdot 16}}}\right)\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "1/sqrt( 0.5 * 16 )"
      :precision binary64
      (/ 1 (sqrt (* 0.5 16))))