Average Error: 0.0 → 0.0
Time: 1.3s
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 r26776 = 2.0;
        double r26777 = x;
        double r26778 = exp(r26777);
        double r26779 = -r26777;
        double r26780 = exp(r26779);
        double r26781 = r26778 + r26780;
        double r26782 = r26776 / r26781;
        return r26782;
}
↓
double f(double x) {
        double r26783 = 2.0;
        double r26784 = x;
        double r26785 = exp(r26784);
        double r26786 = -r26784;
        double r26787 = exp(r26786);
        double r26788 = r26785 + r26787;
        double r26789 = r26783 / r26788;
        return r26789;
}

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