\[e^{-\left(1 - x \cdot x\right)}\]
Test:
exp neg sub
Bits:
128 bits
Bits error versus x
Time: 4.4 s
Input Error: 0.0
Output Error: 0.0
Log: ⚲
Profile: 🕒
\({e}^{\left({x}^2 - \log e\right)}\)
  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 add-exp-log to get
    \[\color{red}{\frac{e^{x \cdot x}}{e}} \leadsto \color{blue}{e^{\log \left(\frac{e^{x \cdot x}}{e}\right)}}\]
    0.0
  5. Applied simplify to get
    \[e^{\color{red}{\log \left(\frac{e^{x \cdot x}}{e}\right)}} \leadsto e^{\color{blue}{{x}^2 - \log e}}\]
    0.0
  6. Using strategy rm
    0.0
  7. Applied *-un-lft-identity to get
    \[e^{\color{red}{{x}^2 - \log e}} \leadsto e^{\color{blue}{1 \cdot \left({x}^2 - \log e\right)}}\]
    0.0
  8. Applied exp-prod to get
    \[\color{red}{e^{1 \cdot \left({x}^2 - \log e\right)}} \leadsto \color{blue}{{\left(e^{1}\right)}^{\left({x}^2 - \log e\right)}}\]
    0.0
  9. Applied simplify to get
    \[{\color{red}{\left(e^{1}\right)}}^{\left({x}^2 - \log e\right)} \leadsto {\color{blue}{e}}^{\left({x}^2 - \log e\right)}\]
    0.0
  10. Removed slow pow expressions

Original test:


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