Average Error: 0.4 → 0.4
Time: 24.3s
Precision: 64
• ## could not determine a ground truth for program body (more)

1. x = 1.3100436170095023e+65
$\frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}$
$\frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}$
\frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}
\frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}
double f(double x) {
double r20707467 = 1.0;
double r20707468 = x;
double r20707469 = exp(r20707468);
double r20707470 = sin(r20707469);
double r20707471 = r20707467 / r20707470;
double r20707472 = sin(r20707471);
double r20707473 = r20707467 / r20707472;
return r20707473;
}


double f(double x) {
double r20707474 = 1.0;
double r20707475 = x;
double r20707476 = exp(r20707475);
double r20707477 = sin(r20707476);
double r20707478 = r20707474 / r20707477;
double r20707479 = sin(r20707478);
double r20707480 = r20707474 / r20707479;
return r20707480;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.4

$\frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}$
2. Final simplification0.4

$\leadsto \frac{1}{\sin \left(\frac{1}{\sin \left(e^{x}\right)}\right)}$

# Reproduce

herbie shell --seed 1
(FPCore (x)
:name "1/sin(1/sin(exp(x)))"
(/ 1.0 (sin (/ 1.0 (sin (exp x))))))