if a < 17.12856537901564

1. Started with
   \[(e^{\tan \left(a \cdot a\right) - a} - 1)^* - a\]
   0.2
2. Applied simplify to get
   \[\color{red}{(e^{\tan \left(a \cdot a\right) - a} - 1)^* - a} \leadsto \color{blue}{(e^{\tan \left({a}^2\right) - a} - 1)^* - a}\]
   0.2
3. Using strategy rm
   0.2
4. Applied add-cube-cbrt to get
   \[\color{red}{(e^{\tan \left({a}^2\right) - a} - 1)^*} - a \leadsto \color{blue}{{\left(\sqrt[3]{(e^{\tan \left({a}^2\right) - a} - 1)^*}\right)}^3} - a\]
   1.2
5. Applied taylor to get
   \[{\left(\sqrt[3]{(e^{\tan \left({a}^2\right) - a} - 1)^*}\right)}^3 - a \leadsto {\left(\sqrt[3]{(e^{\left({a}^2 + \left(\frac{1}{3} \cdot {a}^{6} + \frac{2}{15} \cdot {a}^{10}\right)\right) - a} - 1)^*}\right)}^3 - a\]
   1.0
6. Taylor expanded around 0 to get
   \[{\left(\sqrt[3]{(e^{\color{red}{\left({a}^2 + \left(\frac{1}{3} \cdot {a}^{6} + \frac{2}{15} \cdot {a}^{10}\right)\right)} - a} - 1)^*}\right)}^3 - a \leadsto {\left(\sqrt[3]{(e^{\color{blue}{\left({a}^2 + \left(\frac{1}{3} \cdot {a}^{6} + \frac{2}{15} \cdot {a}^{10}\right)\right)} - a} - 1)^*}\right)}^3 - a\]
   1.0
7. Applied simplify to get
   \[\color{red}{{\left(\sqrt[3]{(e^{\left({a}^2 + \left(\frac{1}{3} \cdot {a}^{6} + \frac{2}{15} \cdot {a}^{10}\right)\right) - a} - 1)^*}\right)}^3 - a} \leadsto \color{blue}{(e^{\left({a}^{10} \cdot \frac{2}{15} - \left(a - {a}^2\right)\right) + {a}^{6} \cdot \frac{1}{3}} - 1)^* - a}\]
   0.0

if 17.12856537901564 < a

1. Started with
   \[(e^{\tan \left(a \cdot a\right) - a} - 1)^* - a\]
   31.6
2. Applied simplify to get
   \[\color{red}{(e^{\tan \left(a \cdot a\right) - a} - 1)^* - a} \leadsto \color{blue}{(e^{\tan \left({a}^2\right) - a} - 1)^* - a}\]
   31.6
3. Applied taylor to get
   \[(e^{\tan \left({a}^2\right) - a} - 1)^* - a \leadsto (e^{\frac{\sin \left(\frac{1}{{a}^2}\right)}{\cos \left(\frac{1}{{a}^2}\right)} - a} - 1)^* - a\]
   0
4. Taylor expanded around inf to get
   \[(e^{\color{red}{\frac{\sin \left(\frac{1}{{a}^2}\right)}{\cos \left(\frac{1}{{a}^2}\right)}} - a} - 1)^* - a \leadsto (e^{\color{blue}{\frac{\sin \left(\frac{1}{{a}^2}\right)}{\cos \left(\frac{1}{{a}^2}\right)}} - a} - 1)^* - a\]
   0