Average Error: 0.0 → 0.0
Time: 629.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 r70092 = 2.0;
        double r70093 = x;
        double r70094 = exp(r70093);
        double r70095 = -r70093;
        double r70096 = exp(r70095);
        double r70097 = r70094 + r70096;
        double r70098 = r70092 / r70097;
        return r70098;
}
↓
double f(double x) {
        double r70099 = 2.0;
        double r70100 = x;
        double r70101 = exp(r70100);
        double r70102 = -r70100;
        double r70103 = exp(r70102);
        double r70104 = r70101 + r70103;
        double r70105 = r70099 / r70104;
        return r70105;
}

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