if x < -0.05989967f0

1. Started with
   \[\frac{e^{x}}{e^{x} - 1}\]
   0.0
2. Using strategy rm
   0.0
3. Applied add-cbrt-cube to get
   \[\frac{e^{x}}{\color{red}{e^{x} - 1}} \leadsto \frac{e^{x}}{\color{blue}{\sqrt[3]{{\left(e^{x} - 1\right)}^3}}}\]
   0.0
4. Applied add-cbrt-cube to get
   \[\frac{\color{red}{e^{x}}}{\sqrt[3]{{\left(e^{x} - 1\right)}^3}} \leadsto \frac{\color{blue}{\sqrt[3]{{\left(e^{x}\right)}^3}}}{\sqrt[3]{{\left(e^{x} - 1\right)}^3}}\]
   0.4
5. Applied cbrt-undiv to get
   \[\color{red}{\frac{\sqrt[3]{{\left(e^{x}\right)}^3}}{\sqrt[3]{{\left(e^{x} - 1\right)}^3}}} \leadsto \color{blue}{\sqrt[3]{\frac{{\left(e^{x}\right)}^3}{{\left(e^{x} - 1\right)}^3}}}\]
   0.4
6. Applied simplify to get
   \[\sqrt[3]{\color{red}{\frac{{\left(e^{x}\right)}^3}{{\left(e^{x} - 1\right)}^3}}} \leadsto \sqrt[3]{\color{blue}{{\left(\frac{e^{x}}{e^{x} - 1}\right)}^3}}\]
   0.4

if -0.05989967f0 < x < 0.2502016f0

1. Started with
   \[\frac{e^{x}}{e^{x} - 1}\]
   26.9
2. Applied taylor to get
   \[\frac{e^{x}}{e^{x} - 1} \leadsto \frac{1}{2} + \left(\frac{1}{x} + \frac{1}{12} \cdot x\right)\]
   0.0
3. Taylor expanded around 0 to get
   \[\color{red}{\frac{1}{2} + \left(\frac{1}{x} + \frac{1}{12} \cdot x\right)} \leadsto \color{blue}{\frac{1}{2} + \left(\frac{1}{x} + \frac{1}{12} \cdot x\right)}\]
   0.0

if 0.2502016f0 < x

1. Started with
   \[\frac{e^{x}}{e^{x} - 1}\]
   28.1
2. Using strategy rm
   28.1
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}}}}\]
   28.1
4. Applied simplify to get
   \[\frac{1}{\color{red}{\frac{e^{x} - 1}{e^{x}}}} \leadsto \frac{1}{\color{blue}{1 - e^{-x}}}\]
   0.0