Average Error: 0.1 → 0.1
Time: 11.0s
Precision: 64
\[\frac{1}{\sin x}\]
\[\frac{1}{\sin x}\]
\frac{1}{\sin x}
\frac{1}{\sin x}
double f(double x) {
        double r18016556 = 1.0;
        double r18016557 = x;
        double r18016558 = sin(r18016557);
        double r18016559 = r18016556 / r18016558;
        return r18016559;
}

double f(double x) {
        double r18016560 = 1.0;
        double r18016561 = x;
        double r18016562 = sin(r18016561);
        double r18016563 = r18016560 / r18016562;
        return r18016563;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{1}{\sin x}\]
  2. Final simplification0.1

    \[\leadsto \frac{1}{\sin x}\]

Reproduce

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