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

Original test:


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