Average Error: 0.0 → 0.0
Time: 813.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 r30489 = 2.0;
        double r30490 = x;
        double r30491 = exp(r30490);
        double r30492 = -r30490;
        double r30493 = exp(r30492);
        double r30494 = r30491 + r30493;
        double r30495 = r30489 / r30494;
        return r30495;
}
↓
double f(double x) {
        double r30496 = 2.0;
        double r30497 = x;
        double r30498 = exp(r30497);
        double r30499 = -r30497;
        double r30500 = exp(r30499);
        double r30501 = r30498 + r30500;
        double r30502 = r30496 / r30501;
        return r30502;
}

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