Average Error: 0.0 → 0.0
Time: 17.8s
Precision: 64
\[\frac{2}{e^{x} + e^{-x}}\]
↓
\[\frac{2}{e^{x} + e^{-x}}\]
double f(double x) {
        double r4563066 = 2.0;
        double r4563067 = x;
        double r4563068 = exp(r4563067);
        double r4563069 = -r4563067;
        double r4563070 = exp(r4563069);
        double r4563071 = r4563068 + r4563070;
        double r4563072 = r4563066 / r4563071;
        return r4563072;
}
↓
double f(double x) {
        double r4563073 = 2.0;
        double r4563074 = x;
        double r4563075 = exp(r4563074);
        double r4563076 = -r4563074;
        double r4563077 = exp(r4563076);
        double r4563078 = r4563075 + r4563077;
        double r4563079 = r4563073 / r4563078;
        return r4563079;
}


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