if re < -3.999543611763718e+108

1. Started with
   \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
   52.5
2. Applied simplify to get
   \[\color{red}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}}\]
   52.5
3. Applied taylor to get
   \[\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10} \leadsto \frac{\log \left(-1 \cdot re\right)}{\log 10}\]
   0.6
4. Taylor expanded around -inf to get
   \[\frac{\log \color{red}{\left(-1 \cdot re\right)}}{\log 10} \leadsto \frac{\log \color{blue}{\left(-1 \cdot re\right)}}{\log 10}\]
   0.6
5. Applied simplify to get
   \[\color{red}{\frac{\log \left(-1 \cdot re\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(-re\right)}{\log 10}}\]
   0.6

if -3.999543611763718e+108 < re < 9.995586505648043e-300

1. Started with
   \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
   21.7
2. Applied simplify to get
   \[\color{red}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}}\]
   21.7
3. Using strategy rm
   21.7
4. Applied add-cbrt-cube to get
   \[\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\color{red}{\log 10}} \leadsto \frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\color{blue}{\sqrt[3]{{\left(\log 10\right)}^3}}}\]
   22.3
5. Applied add-cbrt-cube to get
   \[\frac{\color{red}{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}}{\sqrt[3]{{\left(\log 10\right)}^3}} \leadsto \frac{\color{blue}{\sqrt[3]{{\left(\log \left(\sqrt{{re}^2 + im \cdot im}\right)\right)}^3}}}{\sqrt[3]{{\left(\log 10\right)}^3}}\]
   22.2
6. Applied cbrt-undiv to get
   \[\color{red}{\frac{\sqrt[3]{{\left(\log \left(\sqrt{{re}^2 + im \cdot im}\right)\right)}^3}}{\sqrt[3]{{\left(\log 10\right)}^3}}} \leadsto \color{blue}{\sqrt[3]{\frac{{\left(\log \left(\sqrt{{re}^2 + im \cdot im}\right)\right)}^3}{{\left(\log 10\right)}^3}}}\]
   21.8
7. Applied simplify to get
   \[\sqrt[3]{\color{red}{\frac{{\left(\log \left(\sqrt{{re}^2 + im \cdot im}\right)\right)}^3}{{\left(\log 10\right)}^3}}} \leadsto \sqrt[3]{\color{blue}{{\left(\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}\right)}^3}}\]
   21.8

if 9.995586505648043e-300 < re < 1.6515950423484695e-133

1. Started with
   \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
   29.3
2. Applied simplify to get
   \[\color{red}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}}\]
   29.3
3. Applied taylor to get
   \[\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10} \leadsto \frac{\log im}{\log 10}\]
   0.6
4. Taylor expanded around 0 to get
   \[\frac{\log \color{red}{im}}{\log 10} \leadsto \frac{\log \color{blue}{im}}{\log 10}\]
   0.6

if 1.6515950423484695e-133 < re < 5.469653306184636e+123

1. Started with
   \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
   16.1
2. Applied simplify to get
   \[\color{red}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}}\]
   16.1
3. Using strategy rm
   16.1
4. Applied add-cube-cbrt to get
   \[\frac{\log \color{red}{\left(\sqrt{{re}^2 + im \cdot im}\right)}}{\log 10} \leadsto \frac{\log \color{blue}{\left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^3\right)}}{\log 10}\]
   16.1
5. Using strategy rm
   16.1
6. Applied *-un-lft-identity to get
   \[\frac{\log \left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^3\right)}{\color{red}{\log 10}} \leadsto \frac{\log \left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^3\right)}{\color{blue}{1 \cdot \log 10}}\]
   16.1
7. Applied pow3 to get
   \[\frac{\log \color{red}{\left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^3\right)}}{1 \cdot \log 10} \leadsto \frac{\log \color{blue}{\left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^{3}\right)}}{1 \cdot \log 10}\]
   16.1
8. Applied log-pow to get
   \[\frac{\color{red}{\log \left({\left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}^{3}\right)}}{1 \cdot \log 10} \leadsto \frac{\color{blue}{3 \cdot \log \left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}}{1 \cdot \log 10}\]
   16.1
9. Applied times-frac to get
   \[\color{red}{\frac{3 \cdot \log \left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}{1 \cdot \log 10}} \leadsto \color{blue}{\frac{3}{1} \cdot \frac{\log \left(\sqrt[3]{\sqrt{{re}^2 + im \cdot im}}\right)}{\log 10}}\]
   16.1

if 5.469653306184636e+123 < re

1. Started with
   \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
   54.9
2. Applied simplify to get
   \[\color{red}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}} \leadsto \color{blue}{\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10}}\]
   54.9
3. Applied taylor to get
   \[\frac{\log \left(\sqrt{{re}^2 + im \cdot im}\right)}{\log 10} \leadsto \frac{\log re}{\log 10}\]
   0.6
4. Taylor expanded around inf to get
   \[\frac{\log \color{red}{re}}{\log 10} \leadsto \frac{\log \color{blue}{re}}{\log 10}\]
   0.6