if a < 139.71252f0

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
   \[(e^{\color{red}{\tan \left({a}^2\right)} - a} - 1)^* - a \leadsto (e^{\color{blue}{{\left(\sqrt[3]{\tan \left({a}^2\right)}\right)}^3} - a} - 1)^* - a\]
   0.2
5. Using strategy rm
   0.2
6. Applied add-cube-cbrt to get
   \[(e^{{\color{red}{\left(\sqrt[3]{\tan \left({a}^2\right)}\right)}}^3 - a} - 1)^* - a \leadsto (e^{{\color{blue}{\left({\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3\right)}}^3 - a} - 1)^* - a\]
   0.2
7. Using strategy rm
   0.2
8. Applied cube-mult to get
   \[(e^{\color{red}{{\left({\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3\right)}^3} - a} - 1)^* - a \leadsto (e^{\color{blue}{{\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3 \cdot \left({\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3 \cdot {\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3\right)} - a} - 1)^* - a\]
   0.2
9. Applied simplify to get
   \[(e^{{\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3 \cdot \color{red}{\left({\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3 \cdot {\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3\right)} - a} - 1)^* - a \leadsto (e^{{\left(\sqrt[3]{\sqrt[3]{\tan \left({a}^2\right)}}\right)}^3 \cdot \color{blue}{\left(\sqrt[3]{\tan \left({a}^2\right)} \cdot \sqrt[3]{\tan \left({a}^2\right)}\right)} - a} - 1)^* - a\]
   0.2

if 139.71252f0 < a

1. Started with
   \[(e^{\tan \left(a \cdot a\right) - a} - 1)^* - a\]
   17.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}\]
   17.2
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