Average Error: 0.0 → 0.0
Time: 11.6s
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 r11705482 = 2.0;
        double r11705483 = x;
        double r11705484 = exp(r11705483);
        double r11705485 = -r11705483;
        double r11705486 = exp(r11705485);
        double r11705487 = r11705484 + r11705486;
        double r11705488 = r11705482 / r11705487;
        return r11705488;
}
↓
double f(double x) {
        double r11705489 = 2.0;
        double r11705490 = x;
        double r11705491 = exp(r11705490);
        double r11705492 = -r11705490;
        double r11705493 = exp(r11705492);
        double r11705494 = r11705491 + r11705493;
        double r11705495 = r11705489 / r11705494;
        return r11705495;
}

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