\[\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: 6.6 s
Input Error: 1.4
Output Error: 1.4
Log: ⚲
Profile: 🕒
\(\begin{cases} \left|\frac{x + 4}{y} - {\left(\sqrt[3]{\frac{x}{y} \cdot z}\right)}^3\right| & \text{when } y \le 3.5822380885495023 \cdot 10^{-146} \\ \left|\frac{x + 4}{y} - x \cdot \frac{z}{y}\right| & \text{otherwise} \end{cases}\)

    if y < 3.5822380885495023e-146

    1. Started with
      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
      1.2
    2. Using strategy rm
      1.2
    3. Applied add-cube-cbrt to get
      \[\left|\frac{x + 4}{y} - \color{red}{\frac{x}{y} \cdot z}\right| \leadsto \left|\frac{x + 4}{y} - \color{blue}{{\left(\sqrt[3]{\frac{x}{y} \cdot z}\right)}^3}\right|\]
      1.5

    if 3.5822380885495023e-146 < y

    1. Started with
      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
      1.6
    2. Using strategy rm
      1.6
    3. Applied div-inv to get
      \[\left|\frac{x + 4}{y} - \color{red}{\frac{x}{y}} \cdot z\right| \leadsto \left|\frac{x + 4}{y} - \color{blue}{\left(x \cdot \frac{1}{y}\right)} \cdot z\right|\]
      1.6
    4. Applied associate-*l* to get
      \[\left|\frac{x + 4}{y} - \color{red}{\left(x \cdot \frac{1}{y}\right) \cdot z}\right| \leadsto \left|\frac{x + 4}{y} - \color{blue}{x \cdot \left(\frac{1}{y} \cdot z\right)}\right|\]
      1.3
    5. Applied simplify to get
      \[\left|\frac{x + 4}{y} - x \cdot \color{red}{\left(\frac{1}{y} \cdot z\right)}\right| \leadsto \left|\frac{x + 4}{y} - x \cdot \color{blue}{\frac{z}{y}}\right|\]
      1.3
  1. Removed slow pow expressions

Original test:


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