Average Error: 0.0 → 0.0
Time: 5.0s
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 r718493 = 2.0;
        double r718494 = x;
        double r718495 = exp(r718494);
        double r718496 = -r718494;
        double r718497 = exp(r718496);
        double r718498 = r718495 + r718497;
        double r718499 = r718493 / r718498;
        return r718499;
}
↓
double f(double x) {
        double r718500 = 2.0;
        double r718501 = x;
        double r718502 = exp(r718501);
        double r718503 = -r718501;
        double r718504 = exp(r718503);
        double r718505 = r718502 + r718504;
        double r718506 = r718500 / r718505;
        return r718506;
}

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