\[\frac{x}{{x}^2 + 1}\]
Test:
x / (x^2 + 1)
Bits:
128 bits
Bits error versus x
Time: 2.6 s
Input Error: 15.2
Output Error: 15.3
Log: ⚲
Profile: 🕒
\(x \cdot \frac{1}{{x}^2 + 1}\)
  1. Started with
    \[\frac{x}{{x}^2 + 1}\]
    15.2
  2. Using strategy rm
    15.2
  3. Applied div-inv to get
    \[\color{red}{\frac{x}{{x}^2 + 1}} \leadsto \color{blue}{x \cdot \frac{1}{{x}^2 + 1}}\]
    15.3

Original test:


(lambda ((x default))
  #:name "x / (x^2 + 1)"
  (/ x (+ (sqr x) 1))
  #:target
  (/ 1 (+ x (/ 1 x))))