if x < 5.3989635f0

1. Started with
   \[\frac{e^{x}}{e^{x} - 1}\]
   18.1
2. Applied taylor to get
   \[\frac{e^{x}}{e^{x} - 1} \leadsto \frac{e^{x}}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}\]
   5.4
3. Taylor expanded around 0 to get
   \[\frac{e^{x}}{\color{red}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}} \leadsto \frac{e^{x}}{\color{blue}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}}\]
   5.4
4. Using strategy rm
   5.4
5. Applied add-cube-cbrt to get
   \[\color{red}{\frac{e^{x}}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}} \leadsto \color{blue}{{\left(\sqrt[3]{\frac{e^{x}}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}}\right)}^3}\]
   5.9
6. Applied simplify to get
   \[{\color{red}{\left(\sqrt[3]{\frac{e^{x}}{\frac{1}{2} \cdot {x}^2 + \left(\frac{1}{6} \cdot {x}^{3} + x\right)}}\right)}}^3 \leadsto {\color{blue}{\left(\sqrt[3]{\frac{e^{x}}{x + {x}^2 \cdot \left(\frac{1}{2} + x \cdot \frac{1}{6}\right)}}\right)}}^3\]
   0.5

if 5.3989635f0 < x

1. Started with
   \[\frac{e^{x}}{e^{x} - 1}\]
   29.0
2. Using strategy rm
   29.0
3. Applied clear-num to get
   \[\color{red}{\frac{e^{x}}{e^{x} - 1}} \leadsto \color{blue}{\frac{1}{\frac{e^{x} - 1}{e^{x}}}}\]
   29.0
4. Applied simplify to get
   \[\frac{1}{\color{red}{\frac{e^{x} - 1}{e^{x}}}} \leadsto \frac{1}{\color{blue}{1 - e^{-x}}}\]
   0