Average Error: 0.0 → 0.0
Time: 15.5s
Precision: 64
\[\frac{2}{e^{x} + e^{-x}}\]
↓
\[\frac{2}{e^{x} + e^{-x}}\]
\frac{2}{e^{x} + e^{-x}}
↓
\frac{2}{e^{x} + e^{-x}}
double f(double x) {
        double r2607982 = 2.0;
        double r2607983 = x;
        double r2607984 = exp(r2607983);
        double r2607985 = -r2607983;
        double r2607986 = exp(r2607985);
        double r2607987 = r2607984 + r2607986;
        double r2607988 = r2607982 / r2607987;
        return r2607988;
}
↓
double f(double x) {
        double r2607989 = 2.0;
        double r2607990 = x;
        double r2607991 = exp(r2607990);
        double r2607992 = -r2607990;
        double r2607993 = exp(r2607992);
        double r2607994 = r2607991 + r2607993;
        double r2607995 = r2607989 / r2607994;
        return r2607995;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{2}{e^{x} + e^{-x}}\]

  2. Final simplification0.0

    \[\leadsto \frac{2}{e^{x} + e^{-x}}\]

Reproduce

herbie shell --seed 2019168 
(FPCore (x)
  :name "Hyperbolic secant"
  (/ 2.0 (+ (exp x) (exp (- x)))))