Average Error: 0.0 → 0.0
Time: 655.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 r53926 = 2.0;
        double r53927 = x;
        double r53928 = exp(r53927);
        double r53929 = -r53927;
        double r53930 = exp(r53929);
        double r53931 = r53928 + r53930;
        double r53932 = r53926 / r53931;
        return r53932;
}
↓
double f(double x) {
        double r53933 = 2.0;
        double r53934 = x;
        double r53935 = exp(r53934);
        double r53936 = -r53934;
        double r53937 = exp(r53936);
        double r53938 = r53935 + r53937;
        double r53939 = r53933 / r53938;
        return r53939;
}

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