Average Error: 0.0 → 0.0
Time: 6.7s
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 r1992992 = 2.0;
        double r1992993 = x;
        double r1992994 = exp(r1992993);
        double r1992995 = -r1992993;
        double r1992996 = exp(r1992995);
        double r1992997 = r1992994 + r1992996;
        double r1992998 = r1992992 / r1992997;
        return r1992998;
}
↓
double f(double x) {
        double r1992999 = 2.0;
        double r1993000 = x;
        double r1993001 = exp(r1993000);
        double r1993002 = -r1993000;
        double r1993003 = exp(r1993002);
        double r1993004 = r1993001 + r1993003;
        double r1993005 = r1992999 / r1993004;
        return r1993005;
}

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