Average Error: 0.0 → 0.0
Time: 11.6s
Precision: 64
\[\frac{2}{e^{x} + e^{-x}}\]
↓
\[\frac{2}{e^{x} + e^{-x}}\]
double f(double x) {
        double r7342635 = 2.0;
        double r7342636 = x;
        double r7342637 = exp(r7342636);
        double r7342638 = -r7342636;
        double r7342639 = exp(r7342638);
        double r7342640 = r7342637 + r7342639;
        double r7342641 = r7342635 / r7342640;
        return r7342641;
}
↓
double f(double x) {
        double r7342642 = 2.0;
        double r7342643 = x;
        double r7342644 = exp(r7342643);
        double r7342645 = -r7342643;
        double r7342646 = exp(r7342645);
        double r7342647 = r7342644 + r7342646;
        double r7342648 = r7342642 / r7342647;
        return r7342648;
}


\frac{2}{e^{x} + e^{-x}}
↓
\frac{2}{e^{x} + e^{-x}}

Error

Bits error versus x

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