\sin \left(e^{10}\right)\sin \left(e^{10}\right)double code() {
return ((double) sin(((double) exp(10.0))));
}
double code() {
return ((double) sin(((double) exp(10.0))));
}
Results
Initial program 13.1
Final simplification13.1
herbie shell --seed 2020152
(FPCore ()
:name "(sin (exp 10))"
:precision binary64
(sin (exp 10.0)))