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 simplify to get
   \[\frac{b \cdot c}{{c}^2 + {d}^2} - \frac{a}{d + \frac{{c}^2}{d}} \leadsto \frac{c \cdot b}{(d * d + \left(c \cdot c\right))_*} - \frac{a}{d + \frac{c}{\frac{d}{c}}}\]
   12.5

---

9. Applied final simplification
10. Applied simplify to get
    \[\color{red}{\frac{c \cdot b}{(d * d + \left(c \cdot c\right))_*} - \frac{a}{d + \frac{c}{\frac{d}{c}}}} \leadsto \color{blue}{\frac{b \cdot c}{(d * d + \left({c}^2\right))_*} - \frac{a}{(\left(\frac{c}{d}\right) * c + d)_*}}\]
    12.5

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}{\frac{c}{d}} + c} - \frac{a \cdot d}{(c * c + \left(d \cdot d\right))_*}\]
   5.3

---

9. Applied final simplification
10. Applied simplify to get
    \[\color{red}{\frac{b}{\frac{d}{\frac{c}{d}} + c} - \frac{a \cdot d}{(c * c + \left(d \cdot d\right))_*}} \leadsto \color{blue}{\frac{b}{(\left(\frac{d}{c}\right) * d + c)_*} - \frac{d \cdot a}{(c * c + \left(d \cdot d\right))_*}}\]
    5.3