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;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 1.0

$\frac{1}{\sqrt{0.5 \cdot 16}}$
2. Using strategy rm

$\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))))