if d < -301171.3496353518 or 2.8490945020620453e+93 < d

1. Started with
   \[\frac{b \cdot c - a \cdot d}{{c}^2 + {d}^2}\]
   35.7
2. Using strategy rm
   35.7
3. Applied div-sub to get
   \[\color{red}{\frac{b \cdot c - a \cdot d}{{c}^2 + {d}^2}} \leadsto \color{blue}{\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a \cdot d}{{c}^2 + {d}^2}}\]
   35.7
4. Using strategy rm
   35.7
5. Applied associate-/l* to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \color{red}{\frac{a \cdot d}{{c}^2 + {d}^2}} \leadsto \frac{b \cdot c}{{c}^2 + {d}^2} - \color{blue}{\frac{a}{\frac{{c}^2 + {d}^2}{d}}}\]
   32.7
6. Applied taylor to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{\frac{{c}^2 + {d}^2}{d}} \leadsto \frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \frac{{c}^2}{d}}\]
   15.6
7. Taylor expanded around 0 to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{\color{red}{d + \frac{{c}^2}{d}}} \leadsto \frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{\color{blue}{d + \frac{{c}^2}{d}}}\]
   15.6
8. Applied taylor to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \frac{{c}^2}{d}} \leadsto \frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \frac{{c}^2}{d}}\]
   15.6
9. Taylor expanded around 0 to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \color{red}{\frac{{c}^2}{d}}} \leadsto \frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \color{blue}{\frac{{c}^2}{d}}}\]
   15.6
10. Applied simplify to get
    \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \frac{{c}^2}{d}} \leadsto \frac{c \cdot b}{d \cdot d + c \cdot c} - \frac{a}{d + \frac{c}{d} \cdot c}\]
    12.5

---

11. Applied final simplification
12. Applied simplify to get
    \[\color{red}{\frac{c \cdot b}{d \cdot d + c \cdot c} - \frac{a}{d + \frac{c}{d} \cdot c}} \leadsto \color{blue}{\frac{b \cdot c}{{c}^2 + d \cdot d} - \frac{a}{d + \frac{{c}^2}{d}}}\]
    15.6

if -301171.3496353518 < d < 2.8490945020620453e+93

1. Started with
   \[\frac{b \cdot c - a \cdot d}{{c}^2 + {d}^2}\]
   18.0
2. Using strategy rm
   18.0
3. Applied div-sub to get
   \[\color{red}{\frac{b \cdot c - a \cdot d}{{c}^2 + {d}^2}} \leadsto \color{blue}{\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a \cdot d}{{c}^2 + {d}^2}}\]
   18.0
4. Using strategy rm
   18.0
5. Applied associate-/l* to get
   \[\color{red}{\frac{b \cdot c}{{c}^2 + {d}^2}} - \frac{a \cdot d}{{c}^2 + {d}^2} \leadsto \color{blue}{\frac{b}{\frac{{c}^2 + {d}^2}{c}}} - \frac{a \cdot d}{{c}^2 + {d}^2}\]
   15.5
6. Applied taylor to get
   \[\frac{b}{\frac{{c}^2 + {d}^2}{c}} - \frac{a \cdot d}{{c}^2 + {d}^2} \leadsto \frac{b}{c + \frac{{d}^2}{c}} - \frac{a \cdot d}{{c}^2 + {d}^2}\]
   5.3
7. Taylor expanded around 0 to get
   \[\frac{b}{\color{red}{c + \frac{{d}^2}{c}}} - \frac{a \cdot d}{{c}^2 + {d}^2} \leadsto \frac{b}{\color{blue}{c + \frac{{d}^2}{c}}} - \frac{a \cdot d}{{c}^2 + {d}^2}\]
   5.3
8. Applied simplify to get
   \[\frac{b}{c + \frac{{d}^2}{c}} - \frac{a \cdot d}{{c}^2 + {d}^2} \leadsto \frac{b}{\frac{d \cdot d}{c} + c} - \frac{a \cdot d}{d \cdot d + c \cdot c}\]
   5.3

---

9. Applied final simplification