\[e^{-\left(1 - x \cdot x\right)}\]
Test:
exp neg sub
Bits:
128 bits
Bits error versus x
Time: 2.8 s
Input Error: 0.0
Output Error: 0.0
Log: ⚲
Profile: 🕒
\((e^{\log_* (1 + \frac{e^{{x}^2}}{e})} - 1)^*\)
  1. Started with
    \[e^{-\left(1 - x \cdot x\right)}\]
    0.0
  2. Applied simplify to get
    \[\color{red}{e^{-\left(1 - x \cdot x\right)}} \leadsto \color{blue}{\frac{e^{x \cdot x}}{e}}\]
    0.0
  3. Using strategy rm
    0.0
  4. Applied expm1-log1p-u to get
    \[\color{red}{\frac{e^{x \cdot x}}{e}} \leadsto \color{blue}{(e^{\log_* (1 + \frac{e^{x \cdot x}}{e})} - 1)^*}\]
    0.0
  5. Applied simplify to get
    \[(e^{\color{red}{\log_* (1 + \frac{e^{x \cdot x}}{e})}} - 1)^* \leadsto (e^{\color{blue}{\log_* (1 + \frac{e^{{x}^2}}{e})}} - 1)^*\]
    0.0

Original test:


(lambda ((x default))
  #:name "exp neg sub"
  (exp (- (- 1 (* x x)))))