Average Error: 0.0 → 0.0
Time: 424.0ms
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 r56052 = 2.0;
        double r56053 = x;
        double r56054 = exp(r56053);
        double r56055 = -r56053;
        double r56056 = exp(r56055);
        double r56057 = r56054 + r56056;
        double r56058 = r56052 / r56057;
        return r56058;
}
↓
double f(double x) {
        double r56059 = 2.0;
        double r56060 = x;
        double r56061 = exp(r56060);
        double r56062 = -r56060;
        double r56063 = exp(r56062);
        double r56064 = r56061 + r56063;
        double r56065 = r56059 / r56064;
        return r56065;
}

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