Average Error: 0.0 → 0.0
Time: 6.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 r46116 = 2.0;
        double r46117 = x;
        double r46118 = exp(r46117);
        double r46119 = -r46117;
        double r46120 = exp(r46119);
        double r46121 = r46118 + r46120;
        double r46122 = r46116 / r46121;
        return r46122;
}
↓
double f(double x) {
        double r46123 = 2.0;
        double r46124 = x;
        double r46125 = exp(r46124);
        double r46126 = -r46124;
        double r46127 = exp(r46126);
        double r46128 = r46125 + r46127;
        double r46129 = r46123 / r46128;
        return r46129;
}

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