if a < -3.1268852855834098e+84 or 5.1461142464501995e-05 < a

1. Started with
   \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]
   16.4
2. Applied simplify to get
   \[\color{red}{\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)} \leadsto \color{blue}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \left(c \cdot z - i \cdot a\right)}\]
   16.4
3. Using strategy rm
   16.4
4. Applied flip-- to get
   \[\color{red}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \left(c \cdot z - i \cdot a\right)} \leadsto \color{blue}{\frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* + b \cdot \left(c \cdot z - i \cdot a\right)}}\]
   42.2
5. Applied simplify to get
   \[\frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{\color{red}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* + b \cdot \left(c \cdot z - i \cdot a\right)}} \leadsto \frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{\color{blue}{(b * \left(c \cdot z - i \cdot a\right) + \left((\left(t \cdot c - y \cdot i\right) * j + \left(x \cdot \left(z \cdot y - a \cdot t\right)\right))_*\right))_*}}\]
   42.2
6. Applied taylor to get
   \[\frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(b * \left(c \cdot z - i \cdot a\right) + \left((\left(t \cdot c - y \cdot i\right) * j + \left(x \cdot \left(z \cdot y - a \cdot t\right)\right))_*\right))_*} \leadsto \frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(b * \left(c \cdot z - i \cdot a\right) + \left((\left(c \cdot t - y \cdot i\right) * j + \left(x \cdot \left(y \cdot z - a \cdot t\right)\right))_*\right))_*}\]
   42.2
7. Taylor expanded around 0 to get
   \[\frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(b * \left(c \cdot z - i \cdot a\right) + \color{red}{\left((\left(c \cdot t - y \cdot i\right) * j + \left(x \cdot \left(y \cdot z - a \cdot t\right)\right))_*\right)})_*} \leadsto \frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(b * \left(c \cdot z - i \cdot a\right) + \color{blue}{\left((\left(c \cdot t - y \cdot i\right) * j + \left(x \cdot \left(y \cdot z - a \cdot t\right)\right))_*\right)})_*}\]
   42.2
8. Applied simplify to get
   \[\frac{{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_*\right)}^2 - {\left(b \cdot \left(c \cdot z - i \cdot a\right)\right)}^2}{(b * \left(c \cdot z - i \cdot a\right) + \left((\left(c \cdot t - y \cdot i\right) * j + \left(x \cdot \left(y \cdot z - a \cdot t\right)\right))_*\right))_*} \leadsto \frac{(\left(c \cdot z - i \cdot a\right) * b + \left((\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_*\right))_*}{\frac{(\left(c \cdot z - i \cdot a\right) * b + \left((\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_*\right))_*}{(\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_* - b \cdot \left(c \cdot z - i \cdot a\right)}}\]
   16.8

---

9. Applied final simplification
10. Applied simplify to get
    \[\color{red}{\frac{(\left(c \cdot z - i \cdot a\right) * b + \left((\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_*\right))_*}{\frac{(\left(c \cdot z - i \cdot a\right) * b + \left((\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_*\right))_*}{(\left(t \cdot c - y \cdot i\right) * j + \left(\left(z \cdot y - a \cdot t\right) \cdot x\right))_* - b \cdot \left(c \cdot z - i \cdot a\right)}}} \leadsto \color{blue}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \left(z \cdot c - a \cdot i\right) \cdot b}\]
    16.4

if -3.1268852855834098e+84 < a < 5.1461142464501995e-05

1. Started with
   \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]
   9.3
2. Applied simplify to get
   \[\color{red}{\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)} \leadsto \color{blue}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \left(c \cdot z - i \cdot a\right)}\]
   9.3
3. Using strategy rm
   9.3
4. Applied sub-neg to get
   \[(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \color{red}{\left(c \cdot z - i \cdot a\right)} \leadsto (\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \color{blue}{\left(c \cdot z + \left(-i \cdot a\right)\right)}\]
   9.3
5. Applied distribute-lft-in to get
   \[(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \color{red}{b \cdot \left(c \cdot z + \left(-i \cdot a\right)\right)} \leadsto (\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \color{blue}{\left(b \cdot \left(c \cdot z\right) + b \cdot \left(-i \cdot a\right)\right)}\]
   9.3
6. Applied associate--r+ to get
   \[\color{red}{(\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \left(b \cdot \left(c \cdot z\right) + b \cdot \left(-i \cdot a\right)\right)} \leadsto \color{blue}{\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - b \cdot \left(c \cdot z\right)\right) - b \cdot \left(-i \cdot a\right)}\]
   9.3
7. Using strategy rm
   9.3
8. Applied associate-*r* to get
   \[\left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \color{red}{b \cdot \left(c \cdot z\right)}\right) - b \cdot \left(-i \cdot a\right) \leadsto \left((\left(c \cdot t - i \cdot y\right) * j + \left(\left(y \cdot z - t \cdot a\right) \cdot x\right))_* - \color{blue}{\left(b \cdot c\right) \cdot z}\right) - b \cdot \left(-i \cdot a\right)\]
   9.8