Average Error: 0.0 → 0.0
Time: 6.7s
Precision: 64
\[e^{-\left(1 - x \cdot x\right)}\]
↓
\[e^{-\left(1 - x \cdot x\right)}\]
e^{-\left(1 - x \cdot x\right)}
↓
e^{-\left(1 - x \cdot x\right)}
double f(double x) {
        double r29861 = 1.0;
        double r29862 = x;
        double r29863 = r29862 * r29862;
        double r29864 = r29861 - r29863;
        double r29865 = -r29864;
        double r29866 = exp(r29865);
        return r29866;
}
↓
double f(double x) {
        double r29867 = 1.0;
        double r29868 = x;
        double r29869 = r29868 * r29868;
        double r29870 = r29867 - r29869;
        double r29871 = -r29870;
        double r29872 = exp(r29871);
        return r29872;
}

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

    \[e^{-\left(1 - x \cdot x\right)}\]

  2. Final simplification0.0

    \[\leadsto e^{-\left(1 - x \cdot x\right)}\]

Reproduce

herbie shell --seed 2020046 +o rules:numerics
(FPCore (x)
  :name "exp neg sub"
  :precision binary64
  (exp (- (- 1 (* x x)))))