Average Error: 0.0 → 0.0
Time: 10.4s
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 r6281198 = 2.0;
        double r6281199 = x;
        double r6281200 = exp(r6281199);
        double r6281201 = -r6281199;
        double r6281202 = exp(r6281201);
        double r6281203 = r6281200 + r6281202;
        double r6281204 = r6281198 / r6281203;
        return r6281204;
}
↓
double f(double x) {
        double r6281205 = 2.0;
        double r6281206 = x;
        double r6281207 = exp(r6281206);
        double r6281208 = -r6281206;
        double r6281209 = exp(r6281208);
        double r6281210 = r6281207 + r6281209;
        double r6281211 = r6281205 / r6281210;
        return r6281211;
}

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