\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
\[\sqrt[3]{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}} \cdot \left(\sqrt[3]{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}} \cdot \sqrt[3]{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\right)\]
Alternative 2
Error
44.3
Cost
78144
\[\frac{\sqrt{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}}{\sqrt[3]{\log base} \cdot \sqrt[3]{\log base}} \cdot \frac{\sqrt{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}}{\sqrt[3]{\log base}}\]
Alternative 3
Error
32.4
Cost
65600
\[\left(\sqrt[3]{\log \left(\sqrt{re \cdot re + im \cdot im}\right)} \cdot \sqrt[3]{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}\right) \cdot \frac{\sqrt[3]{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}}{\log base}\]
Alternative 4
Error
32.5
Cost
52416
\[\sqrt[3]{\frac{1}{\log base}} \cdot \left(\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \left(\sqrt[3]{\frac{1}{\log base}} \cdot \sqrt[3]{\frac{1}{\log base}}\right)\right)\]
Alternative 5
Error
48.0
Cost
52416
\[\sqrt{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}} \cdot \sqrt{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
Alternative 6
Error
32.4
Cost
52160
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\sqrt[3]{\log base} \cdot \sqrt[3]{\log base}} \cdot \frac{1}{\sqrt[3]{\log base}}\]
Alternative 7
Error
32.3
Cost
52032
\[\frac{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\sqrt[3]{\log base} \cdot \sqrt[3]{\log base}}}{\sqrt[3]{\log base}}\]
\[\sqrt{\log \left(\sqrt{re \cdot re + im \cdot im}\right)} \cdot \frac{\sqrt{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}}{\log base}\]
Alternative 10
Error
32.3
Cost
45760
\[\frac{0.5}{\sqrt[3]{\log base} \cdot \sqrt[3]{\log base}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt[3]{\log base}}\]
Alternative 11
Error
48.0
Cost
39872
\[\sqrt{0.5 \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\log base}} \cdot \sqrt{0.5 \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\log base}}\]
Alternative 12
Error
48.0
Cost
39744
\[\frac{0.5}{\sqrt{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}} \cdot \sqrt{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}}}\]
Alternative 13
Error
31.9
Cost
39552
\[\frac{\log base \cdot \log \left(\sqrt{re \cdot re + im \cdot im}\right) + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base}\]
Alternative 14
Error
32.0
Cost
33344
\[\frac{0.5}{\frac{\log base}{\log \left(\sqrt[3]{re \cdot re + im \cdot im}\right) + \log \left(\sqrt[3]{re \cdot re + im \cdot im}\right) \cdot 2}}\]
Alternative 15
Error
44.1
Cost
33216
\[\frac{0.5}{\frac{\log base}{\sqrt{\log \left(re \cdot re + im \cdot im\right)} \cdot \sqrt{\log \left(re \cdot re + im \cdot im\right)}}}\]
Alternative 16
Error
47.9
Cost
32832
\[\frac{0.5}{\sqrt{\log base}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log base}}\]
Alternative 17
Error
47.9
Cost
32832
\[\frac{0.5}{\frac{\sqrt{\log base}}{\frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log base}}}}\]
Alternative 18
Error
32.1
Cost
32768
\[\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \sqrt[3]{{\left(\frac{1}{\log base}\right)}^{3}}\]
Alternative 19
Error
48.0
Cost
32640
\[\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot e^{-\log \log base}\]
Alternative 20
Error
32.1
Cost
32640
\[\sqrt[3]{{\left(\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}\right)}^{3}}\]
Alternative 21
Error
32.2
Cost
32576
\[\log \left(e^{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\right)\]
Alternative 22
Error
47.9
Cost
32576
\[e^{\log \left(\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}\right)}\]
Alternative 23
Error
32.1
Cost
26432
\[\frac{\sqrt{0.5}}{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right) \cdot \sqrt{0.5}}}\]
Alternative 24
Error
32.1
Cost
26432
\[\sqrt{0.5} \cdot \frac{\sqrt{0.5}}{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}}\]
Alternative 25
Error
32.1
Cost
26368
\[\sqrt[3]{{\left(0.5 \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\log base}\right)}^{3}}\]
Alternative 26
Error
32.1
Cost
26368
\[\frac{0.5}{\frac{\log base}{\sqrt[3]{{\log \left(re \cdot re + im \cdot im\right)}^{3}}}}\]
Alternative 27
Error
32.1
Cost
26368
\[\frac{0.5}{\sqrt[3]{{\left(\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}\right)}^{3}}}\]
Alternative 28
Error
32.1
Cost
26304
\[\frac{0.5}{\log \left(e^{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}}\right)}\]
Alternative 29
Error
47.9
Cost
26304
\[e^{\log \left(0.5 \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\log base}\right)}\]
Alternative 30
Error
44.3
Cost
26304
\[\frac{0.5}{\frac{\log base}{e^{\log \log \left(re \cdot re + im \cdot im\right)}}}\]
Alternative 31
Error
32.2
Cost
26240
\[\log \left({\left(\sqrt{re \cdot re + im \cdot im}\right)}^{\left(\frac{1}{\log base}\right)}\right)\]
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
Simplified55.8
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
if -1.1582045779288604e124 < re < -6.3903249546970339e-245
Initial program 20.5
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
Simplified20.4
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
Using strategy rm
Applied pow1/2_binary64_48420.4
\[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{0.5}\right)}}{\log base}\]
Applied log-pow_binary64_49320.4
\[\leadsto \frac{\color{blue}{0.5 \cdot \log \left(re \cdot re + im \cdot im\right)}}{\log base}\]
Applied associate-/l*_binary64_34920.5
\[\leadsto \color{blue}{\frac{0.5}{\frac{\log base}{\log \left(re \cdot re + im \cdot im\right)}}}\]
Using strategy rm
Applied add-cube-cbrt_binary64_43920.5
\[\leadsto \frac{0.5}{\frac{\log base}{\log \color{blue}{\left(\left(\sqrt[3]{re \cdot re + im \cdot im} \cdot \sqrt[3]{re \cdot re + im \cdot im}\right) \cdot \sqrt[3]{re \cdot re + im \cdot im}\right)}}}\]
Applied log-prod_binary64_49020.5
\[\leadsto \frac{0.5}{\frac{\log base}{\color{blue}{\log \left(\sqrt[3]{re \cdot re + im \cdot im} \cdot \sqrt[3]{re \cdot re + im \cdot im}\right) + \log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}}\]
Simplified20.5
\[\leadsto \frac{0.5}{\frac{\log base}{\color{blue}{2 \cdot \log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)} + \log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}\]
Using strategy rm
Applied distribute-lft1-in_binary64_35920.5
\[\leadsto \frac{0.5}{\frac{\log base}{\color{blue}{\left(2 + 1\right) \cdot \log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}}\]
Applied associate-/r*_binary64_34820.5
\[\leadsto \frac{0.5}{\color{blue}{\frac{\frac{\log base}{2 + 1}}{\log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}}\]
Simplified20.5
\[\leadsto \frac{0.5}{\frac{\color{blue}{\frac{\log base}{3}}}{\log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}\]
Simplified20.5
\[\leadsto \color{blue}{\frac{0.5}{\frac{\frac{\log base}{3}}{\log \left(\sqrt[3]{re \cdot re + im \cdot im}\right)}}}\]
if -6.3903249546970339e-245 < re < -1.3320567237358959e-273
Initial program 30.5
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
Simplified30.4
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
if -1.3320567237358959e-273 < re < 8.0636154232378959e74
Initial program 23.0
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
Simplified22.9
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
Simplified22.9
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]
if 8.0636154232378959e74 < re
Initial program 48.2
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]
Simplified48.1
\[\leadsto \color{blue}{\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log base}}\]