Average Error: 0.0 → 0.0
Time: 1.2s
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 r58237 = 2.0;
        double r58238 = x;
        double r58239 = exp(r58238);
        double r58240 = -r58238;
        double r58241 = exp(r58240);
        double r58242 = r58239 + r58241;
        double r58243 = r58237 / r58242;
        return r58243;
}
↓
double f(double x) {
        double r58244 = 2.0;
        double r58245 = x;
        double r58246 = exp(r58245);
        double r58247 = -r58245;
        double r58248 = exp(r58247);
        double r58249 = r58246 + r58248;
        double r58250 = r58244 / r58249;
        return r58250;
}

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 2020046 +o rules:numerics
(FPCore (x)
  :name "Hyperbolic secant"
  :precision binary64
  (/ 2 (+ (exp x) (exp (- x)))))