if re < -5.2596218f+17

1. Started with
   \[\sqrt{re \cdot re + im \cdot im}\]
   26.0
2. Applied simplify to get
   \[\color{red}{\sqrt{re \cdot re + im \cdot im}} \leadsto \color{blue}{\sqrt{{re}^2 + im \cdot im}}\]
   26.0
3. Applied taylor to get
   \[\sqrt{{re}^2 + im \cdot im} \leadsto -1 \cdot re\]
   0
4. Taylor expanded around -inf to get
   \[\color{red}{-1 \cdot re} \leadsto \color{blue}{-1 \cdot re}\]
   0
5. Applied simplify to get
   \[\color{red}{-1 \cdot re} \leadsto \color{blue}{-re}\]
   0

if -5.2596218f+17 < re < 9.018499f+07

1. Started with
   \[\sqrt{re \cdot re + im \cdot im}\]
   9.0
2. Applied simplify to get
   \[\color{red}{\sqrt{re \cdot re + im \cdot im}} \leadsto \color{blue}{\sqrt{{re}^2 + im \cdot im}}\]
   9.0

if 9.018499f+07 < re

1. Started with
   \[\sqrt{re \cdot re + im \cdot im}\]
   19.1
2. Applied simplify to get
   \[\color{red}{\sqrt{re \cdot re + im \cdot im}} \leadsto \color{blue}{\sqrt{{re}^2 + im \cdot im}}\]
   19.1
3. Using strategy rm
   19.1
4. Applied add-cube-cbrt to get
   \[\sqrt{\color{red}{{re}^2 + im \cdot im}} \leadsto \sqrt{\color{blue}{{\left(\sqrt[3]{{re}^2 + im \cdot im}\right)}^3}}\]
   19.3
5. Applied taylor to get
   \[\sqrt{{\left(\sqrt[3]{{re}^2 + im \cdot im}\right)}^3} \leadsto re + \frac{1}{2} \cdot \frac{{im}^2}{re}\]
   4.6
6. Taylor expanded around 0 to get
   \[\color{red}{re + \frac{1}{2} \cdot \frac{{im}^2}{re}} \leadsto \color{blue}{re + \frac{1}{2} \cdot \frac{{im}^2}{re}}\]
   4.6
7. Applied simplify to get
   \[re + \frac{1}{2} \cdot \frac{{im}^2}{re} \leadsto re + \frac{\frac{1}{2} \cdot im}{\frac{re}{im}}\]
   0.0

---

8. Applied final simplification