if x < -0.09829997f0

1. Started with
   \[\left(e^{x} - 2\right) + e^{-x}\]
   1.0
2. Using strategy rm
   1.0
3. Applied exp-neg to get
   \[\left(e^{x} - 2\right) + \color{red}{e^{-x}} \leadsto \left(e^{x} - 2\right) + \color{blue}{\frac{1}{e^{x}}}\]
   0.7
4. Applied flip3-- to get
   \[\color{red}{\left(e^{x} - 2\right)} + \frac{1}{e^{x}} \leadsto \color{blue}{\frac{{\left(e^{x}\right)}^{3} - {2}^{3}}{{\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)}} + \frac{1}{e^{x}}\]
   0.6
5. Applied frac-add to get
   \[\color{red}{\frac{{\left(e^{x}\right)}^{3} - {2}^{3}}{{\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)} + \frac{1}{e^{x}}} \leadsto \color{blue}{\frac{\left({\left(e^{x}\right)}^{3} - {2}^{3}\right) \cdot e^{x} + \left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot 1}{\left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot e^{x}}}\]
   0.6
6. Applied simplify to get
   \[\frac{\color{red}{\left({\left(e^{x}\right)}^{3} - {2}^{3}\right) \cdot e^{x} + \left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot 1}}{\left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot e^{x}} \leadsto \frac{\color{blue}{e^{x} \cdot \left({\left(e^{x}\right)}^3 - \left({2}^3 - e^{x}\right)\right) + 2 \cdot \left(2 + e^{x}\right)}}{\left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot e^{x}}\]
   0.7
7. Applied simplify to get
   \[\frac{e^{x} \cdot \left({\left(e^{x}\right)}^3 - \left({2}^3 - e^{x}\right)\right) + 2 \cdot \left(2 + e^{x}\right)}{\color{red}{\left({\left(e^{x}\right)}^2 + \left({2}^2 + e^{x} \cdot 2\right)\right) \cdot e^{x}}} \leadsto \frac{e^{x} \cdot \left({\left(e^{x}\right)}^3 - \left({2}^3 - e^{x}\right)\right) + 2 \cdot \left(2 + e^{x}\right)}{\color{blue}{{\left(e^{x}\right)}^3 + \left(2 \cdot e^{x}\right) \cdot \left(e^{x} + 2\right)}}\]
   0.7

if -0.09829997f0 < x

1. Started with
   \[\left(e^{x} - 2\right) + e^{-x}\]
   13.5
2. Applied taylor to get
   \[\left(e^{x} - 2\right) + e^{-x} \leadsto {x}^2 + \left(\frac{1}{12} \cdot {x}^{4} + \frac{1}{360} \cdot {x}^{6}\right)\]
   0.0
3. Taylor expanded around 0 to get
   \[\color{red}{{x}^2 + \left(\frac{1}{12} \cdot {x}^{4} + \frac{1}{360} \cdot {x}^{6}\right)} \leadsto \color{blue}{{x}^2 + \left(\frac{1}{12} \cdot {x}^{4} + \frac{1}{360} \cdot {x}^{6}\right)}\]
   0.0
4. Using strategy rm
   0.0
5. Applied add-log-exp to get
   \[{x}^2 + \left(\frac{1}{12} \cdot {x}^{4} + \color{red}{\frac{1}{360} \cdot {x}^{6}}\right) \leadsto {x}^2 + \left(\frac{1}{12} \cdot {x}^{4} + \color{blue}{\log \left(e^{\frac{1}{360} \cdot {x}^{6}}\right)}\right)\]
   0.4