\[\frac{1}{\sqrt{x}} - \frac{1}{\sqrt{x + 1}}\]
Test:
NMSE example 3.6
Bits:
128 bits
Bits error versus x
Time: 14.6 s
Input Error: 19.4
Output Error: 0.6
Log: ⚲
Profile: 🕒
\({\left(\sqrt{\frac{\frac{1}{x}}{\frac{1 + x}{\sqrt{1 + x}} + \frac{1 + x}{\sqrt{x}}}}\right)}^2\)
  1. Started with
    \[\frac{1}{\sqrt{x}} - \frac{1}{\sqrt{x + 1}}\]
    19.4
  2. Using strategy rm
    19.4
  3. Applied flip-- to get
    \[\color{red}{\frac{1}{\sqrt{x}} - \frac{1}{\sqrt{x + 1}}} \leadsto \color{blue}{\frac{{\left(\frac{1}{\sqrt{x}}\right)}^2 - {\left(\frac{1}{\sqrt{x + 1}}\right)}^2}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}}}\]
    19.4
  4. Applied simplify to get
    \[\frac{\color{red}{{\left(\frac{1}{\sqrt{x}}\right)}^2 - {\left(\frac{1}{\sqrt{x + 1}}\right)}^2}}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}} \leadsto \frac{\color{blue}{\frac{1}{x} - \frac{1}{1 + x}}}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}}\]
    19.4
  5. Using strategy rm
    19.4
  6. Applied frac-sub to get
    \[\frac{\color{red}{\frac{1}{x} - \frac{1}{1 + x}}}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}} \leadsto \frac{\color{blue}{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{x \cdot \left(1 + x\right)}}}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}}\]
    18.8
  7. Applied associate-/l/ to get
    \[\color{red}{\frac{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{x \cdot \left(1 + x\right)}}{\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}}} \leadsto \color{blue}{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{\left(\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}\right) \cdot \left(x \cdot \left(1 + x\right)\right)}}\]
    18.7
  8. Using strategy rm
    18.7
  9. Applied add-sqr-sqrt to get
    \[\color{red}{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{\left(\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}\right) \cdot \left(x \cdot \left(1 + x\right)\right)}} \leadsto \color{blue}{{\left(\sqrt{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{\left(\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}\right) \cdot \left(x \cdot \left(1 + x\right)\right)}}\right)}^2}\]
    18.9
  10. Applied simplify to get
    \[{\color{red}{\left(\sqrt{\frac{1 \cdot \left(1 + x\right) - x \cdot 1}{\left(\frac{1}{\sqrt{x}} + \frac{1}{\sqrt{x + 1}}\right) \cdot \left(x \cdot \left(1 + x\right)\right)}}\right)}}^2 \leadsto {\color{blue}{\left(\sqrt{\frac{\frac{1}{x}}{\frac{1 + x}{\sqrt{1 + x}} + \frac{1 + x}{\sqrt{x}}}}\right)}}^2\]
    0.6

Original test:


(lambda ((x default))
  #:name "NMSE example 3.6"
  (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
  #:target
  (/ 1 (+ (* (+ x 1) (sqrt x)) (* x (sqrt (+ x 1))))))