Average Error: 0.0 → 0.0
Time: 7.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 r2592144 = 2.0;
        double r2592145 = x;
        double r2592146 = exp(r2592145);
        double r2592147 = -r2592145;
        double r2592148 = exp(r2592147);
        double r2592149 = r2592146 + r2592148;
        double r2592150 = r2592144 / r2592149;
        return r2592150;
}
↓
double f(double x) {
        double r2592151 = 2.0;
        double r2592152 = x;
        double r2592153 = exp(r2592152);
        double r2592154 = -r2592152;
        double r2592155 = exp(r2592154);
        double r2592156 = r2592153 + r2592155;
        double r2592157 = r2592151 / r2592156;
        return r2592157;
}

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 2019171 
(FPCore (x)
  :name "Hyperbolic secant"
  (/ 2.0 (+ (exp x) (exp (- x)))))