Average Error: 0.0 → 0.0
Time: 33.2s
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 r75023 = 2.0;
        double r75024 = x;
        double r75025 = exp(r75024);
        double r75026 = -r75024;
        double r75027 = exp(r75026);
        double r75028 = r75025 + r75027;
        double r75029 = r75023 / r75028;
        return r75029;
}
↓
double f(double x) {
        double r75030 = 2.0;
        double r75031 = x;
        double r75032 = exp(r75031);
        double r75033 = -r75031;
        double r75034 = exp(r75033);
        double r75035 = r75032 + r75034;
        double r75036 = r75030 / r75035;
        return r75036;
}

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