Average Error: 0.0 → 0.0
Time: 55.7s
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 r7545866 = 2.0;
        double r7545867 = x;
        double r7545868 = exp(r7545867);
        double r7545869 = -r7545867;
        double r7545870 = exp(r7545869);
        double r7545871 = r7545868 + r7545870;
        double r7545872 = r7545866 / r7545871;
        return r7545872;
}
↓
double f(double x) {
        double r7545873 = 2.0;
        double r7545874 = x;
        double r7545875 = exp(r7545874);
        double r7545876 = -r7545874;
        double r7545877 = exp(r7545876);
        double r7545878 = r7545875 + r7545877;
        double r7545879 = r7545873 / r7545878;
        return r7545879;
}

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