\[\log \left(\frac{1 - \varepsilon}{1 + \varepsilon}\right)\]
Test:
NMSE problem 3.4.3
Bits:
128 bits
Bits error versus eps
Time: 11.3 s
Input Error: 58.6
Output Error: 0.0
Log: ⚲
Profile: 🕒
\(\log_* (1 + \left(\varepsilon - (\varepsilon * \varepsilon + \varepsilon)_*\right)) - \left(\log_* (1 + \varepsilon) + \log_* (1 + \varepsilon)\right)\)
  1. Started with
    \[\log \left(\frac{1 - \varepsilon}{1 + \varepsilon}\right)\]
    58.6
  2. Using strategy rm
    58.6
  3. Applied div-sub to get
    \[\log \color{red}{\left(\frac{1 - \varepsilon}{1 + \varepsilon}\right)} \leadsto \log \color{blue}{\left(\frac{1}{1 + \varepsilon} - \frac{\varepsilon}{1 + \varepsilon}\right)}\]
    58.6
  4. Using strategy rm
    58.6
  5. Applied frac-sub to get
    \[\log \color{red}{\left(\frac{1}{1 + \varepsilon} - \frac{\varepsilon}{1 + \varepsilon}\right)} \leadsto \log \color{blue}{\left(\frac{1 \cdot \left(1 + \varepsilon\right) - \left(1 + \varepsilon\right) \cdot \varepsilon}{\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)}\right)}\]
    58.6
  6. Applied log-div to get
    \[\color{red}{\log \left(\frac{1 \cdot \left(1 + \varepsilon\right) - \left(1 + \varepsilon\right) \cdot \varepsilon}{\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)}\right)} \leadsto \color{blue}{\log \left(1 \cdot \left(1 + \varepsilon\right) - \left(1 + \varepsilon\right) \cdot \varepsilon\right) - \log \left(\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)\right)}\]
    58.6
  7. Applied simplify to get
    \[\color{red}{\log \left(1 \cdot \left(1 + \varepsilon\right) - \left(1 + \varepsilon\right) \cdot \varepsilon\right)} - \log \left(\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)\right) \leadsto \color{blue}{\log_* (1 + \left(\varepsilon - (\varepsilon * \varepsilon + \varepsilon)_*\right))} - \log \left(\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)\right)\]
    58.6
  8. Applied simplify to get
    \[\log_* (1 + \left(\varepsilon - (\varepsilon * \varepsilon + \varepsilon)_*\right)) - \color{red}{\log \left(\left(1 + \varepsilon\right) \cdot \left(1 + \varepsilon\right)\right)} \leadsto \log_* (1 + \left(\varepsilon - (\varepsilon * \varepsilon + \varepsilon)_*\right)) - \color{blue}{\left(\log_* (1 + \varepsilon) + \log_* (1 + \varepsilon)\right)}\]
    0.0

Original test:


(lambda ((eps default))
  #:name "NMSE problem 3.4.3"
  (log (/ (- 1 eps) (+ 1 eps)))
  #:target
  (* -2 (+ (+ eps (/ (pow eps 3) 3)) (/ (pow eps 5) 5))))