Average Error: 0.0 → 0.0
Time: 10.6s
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 r2009018 = 2.0;
        double r2009019 = x;
        double r2009020 = exp(r2009019);
        double r2009021 = -r2009019;
        double r2009022 = exp(r2009021);
        double r2009023 = r2009020 + r2009022;
        double r2009024 = r2009018 / r2009023;
        return r2009024;
}
↓
double f(double x) {
        double r2009025 = 2.0;
        double r2009026 = x;
        double r2009027 = exp(r2009026);
        double r2009028 = -r2009026;
        double r2009029 = exp(r2009028);
        double r2009030 = r2009027 + r2009029;
        double r2009031 = r2009025 / r2009030;
        return r2009031;
}

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