\[\frac{x}{{x}^2 + 1}\]
Test:
x / (x^2 + 1)
Bits:
128 bits
Bits error versus x
Time: 1.8 s
Input Error: 7.1
Output Error: 7.1
Log: ⚲
Profile: 🕒
\(\frac{x}{(x * x + 1)_*}\)
  1. Started with
    \[\frac{x}{{x}^2 + 1}\]
    7.1
  2. Using strategy rm
    7.1
  3. Applied square-mult to get
    \[\frac{x}{\color{red}{{x}^2} + 1} \leadsto \frac{x}{\color{blue}{x \cdot x} + 1}\]
    7.1
  4. Applied fma-def to get
    \[\frac{x}{\color{red}{x \cdot x + 1}} \leadsto \frac{x}{\color{blue}{(x * x + 1)_*}}\]
    7.1

Original test:


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