Average Error: 0.0 → 0.0
Time: 29.1s
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 r2339952 = 2.0;
        double r2339953 = x;
        double r2339954 = exp(r2339953);
        double r2339955 = -r2339953;
        double r2339956 = exp(r2339955);
        double r2339957 = r2339954 + r2339956;
        double r2339958 = r2339952 / r2339957;
        return r2339958;
}
↓
double f(double x) {
        double r2339959 = 2.0;
        double r2339960 = x;
        double r2339961 = exp(r2339960);
        double r2339962 = -r2339960;
        double r2339963 = exp(r2339962);
        double r2339964 = r2339961 + r2339963;
        double r2339965 = r2339959 / r2339964;
        return r2339965;
}

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