\[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
Test:
fabs fraction 1
Bits:
128 bits
Bits error versus x
Bits error versus y
Bits error versus z
Time: 8.4 s
Input Error: 0.8
Output Error: 0.9
Log: ⚲
Profile: 🕒
\(\left|\left(x + 4\right) \cdot \frac{1}{y} - \frac{x}{y} \cdot z\right|\)
  1. Started with
    \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
    0.8
  2. Using strategy rm
    0.8
  3. Applied div-inv to get
    \[\left|\color{red}{\frac{x + 4}{y}} - \frac{x}{y} \cdot z\right| \leadsto \left|\color{blue}{\left(x + 4\right) \cdot \frac{1}{y}} - \frac{x}{y} \cdot z\right|\]
    0.9
  4. Removed slow pow expressions

Original test:


(lambda ((x default) (y default) (z default))
  #:name "fabs fraction 1"
  (fabs (- (/ (+ x 4) y) (* (/ x y) z))))