if x < -0.012142818f0

1. Started with
   \[\frac{e^{x} - 1}{x}\]
   0.1
2. Using strategy rm
   0.1
3. Applied div-sub to get
   \[\color{red}{\frac{e^{x} - 1}{x}} \leadsto \color{blue}{\frac{e^{x}}{x} - \frac{1}{x}}\]
   0.1

if -0.012142818f0 < x

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

---

7. Applied final simplification
8. Applied simplify to get
   \[\color{red}{\frac{\left(\left(x \cdot x\right) \cdot \frac{1}{2} + x\right) + \frac{1}{6} \cdot {x}^3}{x}} \leadsto \color{blue}{\frac{\left(x \cdot \frac{1}{6} + \frac{1}{2}\right) \cdot {x}^2 + x}{x}}\]
   2.0