\[e^{-\left(1 - x \cdot x\right)}\]
Test:
exp neg sub
Bits:
128 bits
Bits error versus x
Time: 6.9 s
Input Error: 0.0
Output Error: 0.1
Log: ⚲
Profile: 🕒
\(\sqrt[3]{\frac{e^{{x}^2}}{e} \cdot \frac{{\left(e^{x}\right)}^{\left(x + x\right)}}{{e}^2}}\)
  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-cbrt-cube to get
    \[\color{red}{\frac{e^{x \cdot x}}{e}} \leadsto \color{blue}{\sqrt[3]{{\left(\frac{e^{x \cdot x}}{e}\right)}^3}}\]
    0.1
  5. Applied simplify to get
    \[\sqrt[3]{\color{red}{{\left(\frac{e^{x \cdot x}}{e}\right)}^3}} \leadsto \sqrt[3]{\color{blue}{{\left(\frac{e^{{x}^2}}{e}\right)}^3}}\]
    0.1
  6. Using strategy rm
    0.1
  7. Applied cube-mult to get
    \[\sqrt[3]{\color{red}{{\left(\frac{e^{{x}^2}}{e}\right)}^3}} \leadsto \sqrt[3]{\color{blue}{\frac{e^{{x}^2}}{e} \cdot \left(\frac{e^{{x}^2}}{e} \cdot \frac{e^{{x}^2}}{e}\right)}}\]
    0.1
  8. Applied simplify to get
    \[\sqrt[3]{\frac{e^{{x}^2}}{e} \cdot \color{red}{\left(\frac{e^{{x}^2}}{e} \cdot \frac{e^{{x}^2}}{e}\right)}} \leadsto \sqrt[3]{\frac{e^{{x}^2}}{e} \cdot \color{blue}{\frac{{\left(e^{x}\right)}^{\left(x + x\right)}}{e \cdot e}}}\]
    0.1
  9. Applied simplify to get
    \[\sqrt[3]{\frac{e^{{x}^2}}{e} \cdot \frac{{\left(e^{x}\right)}^{\left(x + x\right)}}{\color{red}{e \cdot e}}} \leadsto \sqrt[3]{\frac{e^{{x}^2}}{e} \cdot \frac{{\left(e^{x}\right)}^{\left(x + x\right)}}{\color{blue}{{e}^2}}}\]
    0.1

Original test:


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