e^{\log 2 \cdot 5}{2}^{5}double code() {
return ((double) exp(((double) (((double) log(2.0)) * 5.0))));
}
double code() {
return ((double) pow(2.0, 5.0));
}
Results
Initial program 0
Simplified0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(exp (* (log 2) 5))"
:precision binary64
(exp (* (log 2.0) 5.0)))