Average Error: 31.0 → 18.3
Time: 55.2s
Precision: 64
Internal Precision: 384
\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
↓
\[\begin{array}{l} \mathbf{if}\;\frac{-1}{re} \le -9.6955060295481 \cdot 10^{-127}:\\ \;\;\;\;\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\sqrt[3]{{\left(\log \left(im \cdot im + re \cdot re\right)\right)}^{3}}}{\sqrt{\log 10}}\\ \mathbf{if}\;\frac{-1}{re} \le 6.799783414187065 \cdot 10^{-303}:\\ \;\;\;\;\log re \cdot \left(\sqrt{\frac{1}{\log 10}} \cdot \frac{\frac{1}{2} + \frac{1}{2}}{\sqrt{\log 10}}\right)\\ \mathbf{if}\;\frac{-1}{re} \le 1.6610014297005524 \cdot 10^{-79}:\\ \;\;\;\;\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \left(-2 \cdot \left(\log \left(\frac{-1}{re}\right) \cdot \sqrt{\frac{1}{\log 10}}\right)\right)\\ \mathbf{if}\;\frac{-1}{re} \le 2.192500313896302 \cdot 10^{+178}:\\ \;\;\;\;\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt[3]{{\left(\frac{\log \left(im \cdot im + re \cdot re\right)}{\sqrt{\log 10}}\right)}^{3}}\\ \mathbf{if}\;\frac{-1}{re} \le 1.1998259181979967 \cdot 10^{+249}:\\ \;\;\;\;\frac{\log \left(-re\right)}{\log 10}\\ \mathbf{else}:\\ \;\;\;\;\left(\log \left(\frac{-1}{im}\right) \cdot -2\right) \cdot \left(\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt{\frac{1}{\log 10}}\right)\\ \end{array}\]

Error

Bits error versus re

Bits error versus im

Derivation

  1. Split input into 6 regimes

  2. if (/ -1 re) < -9.6955060295481e-127

    1. Initial program 20.2

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
    2. Using strategy rm

    3. Applied add-sqr-sqrt20.2

      \[\leadsto \frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\color{blue}{\sqrt{\log 10} \cdot \sqrt{\log 10}}}\]

    4. Applied pow1/220.2

      \[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{\frac{1}{2}}\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    5. Applied log-pow20.2

      \[\leadsto \frac{\color{blue}{\frac{1}{2} \cdot \log \left(re \cdot re + im \cdot im\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    6. Applied times-frac20.1

      \[\leadsto \color{blue}{\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log 10}}}\]
    7. Using strategy rm

    8. Applied add-cbrt-cube20.2

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\color{blue}{\sqrt[3]{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}}}{\sqrt{\log 10}}\]

    9. Applied simplify20.2

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\sqrt[3]{\color{blue}{{\left(\log \left(im \cdot im + re \cdot re\right)\right)}^{3}}}}{\sqrt{\log 10}}\]

    if -9.6955060295481e-127 < (/ -1 re) < 6.799783414187065e-303

    1. Initial program 55.6

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
    2. Using strategy rm

    3. Applied add-sqr-sqrt55.6

      \[\leadsto \frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\color{blue}{\sqrt{\log 10} \cdot \sqrt{\log 10}}}\]

    4. Applied pow1/255.6

      \[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{\frac{1}{2}}\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    5. Applied log-pow55.6

      \[\leadsto \frac{\color{blue}{\frac{1}{2} \cdot \log \left(re \cdot re + im \cdot im\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    6. Applied times-frac55.6

      \[\leadsto \color{blue}{\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log 10}}}\]
    7. Using strategy rm

    8. Applied add-cbrt-cube55.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\color{blue}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    9. Applied add-cbrt-cube55.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\color{blue}{\sqrt[3]{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}}}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}\]

    10. Applied cbrt-undiv55.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \color{blue}{\sqrt[3]{\frac{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    11. Applied simplify55.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt[3]{\color{blue}{{\left(\frac{\log \left(im \cdot im + re \cdot re\right)}{\sqrt{\log 10}}\right)}^{3}}}\]

    12. Taylor expanded around 0 9.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt[3]{\color{blue}{{\left(2 \cdot \left(\log re \cdot \sqrt{\frac{1}{\log 10}}\right)\right)}^{3}}}\]

    13. Applied simplify9.4

      \[\leadsto \color{blue}{\log re \cdot \left(\sqrt{\frac{1}{\log 10}} \cdot \frac{\frac{1}{2} + \frac{1}{2}}{\sqrt{\log 10}}\right)}\]

    if 6.799783414187065e-303 < (/ -1 re) < 1.6610014297005524e-79

    1. Initial program 48.4

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
    2. Using strategy rm

    3. Applied add-sqr-sqrt48.4

      \[\leadsto \frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\color{blue}{\sqrt{\log 10} \cdot \sqrt{\log 10}}}\]

    4. Applied pow1/248.4

      \[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{\frac{1}{2}}\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    5. Applied log-pow48.4

      \[\leadsto \frac{\color{blue}{\frac{1}{2} \cdot \log \left(re \cdot re + im \cdot im\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    6. Applied times-frac48.4

      \[\leadsto \color{blue}{\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log 10}}}\]

    7. Taylor expanded around -inf 11.3

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \color{blue}{\left(-2 \cdot \left(\log \left(\frac{-1}{re}\right) \cdot \sqrt{\frac{1}{\log 10}}\right)\right)}\]

    if 1.6610014297005524e-79 < (/ -1 re) < 2.192500313896302e+178

    1. Initial program 16.0

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
    2. Using strategy rm

    3. Applied add-sqr-sqrt16.0

      \[\leadsto \frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\color{blue}{\sqrt{\log 10} \cdot \sqrt{\log 10}}}\]

    4. Applied pow1/216.0

      \[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{\frac{1}{2}}\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    5. Applied log-pow16.0

      \[\leadsto \frac{\color{blue}{\frac{1}{2} \cdot \log \left(re \cdot re + im \cdot im\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    6. Applied times-frac15.9

      \[\leadsto \color{blue}{\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log 10}}}\]
    7. Using strategy rm

    8. Applied add-cbrt-cube15.9

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\color{blue}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    9. Applied add-cbrt-cube16.0

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\color{blue}{\sqrt[3]{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}}}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}\]

    10. Applied cbrt-undiv16.0

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \color{blue}{\sqrt[3]{\frac{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    11. Applied simplify16.0

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt[3]{\color{blue}{{\left(\frac{\log \left(im \cdot im + re \cdot re\right)}{\sqrt{\log 10}}\right)}^{3}}}\]

    if 2.192500313896302e+178 < (/ -1 re) < 1.1998259181979967e+249

    1. Initial program 29.3

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]

    2. Taylor expanded around -inf 50.9

      \[\leadsto \frac{\log \color{blue}{\left(-1 \cdot re\right)}}{\log 10}\]

    3. Applied simplify50.9

      \[\leadsto \color{blue}{\frac{\log \left(-re\right)}{\log 10}}\]

    if 1.1998259181979967e+249 < (/ -1 re)

    1. Initial program 30.7

      \[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}\]
    2. Using strategy rm

    3. Applied add-sqr-sqrt30.7

      \[\leadsto \frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\color{blue}{\sqrt{\log 10} \cdot \sqrt{\log 10}}}\]

    4. Applied pow1/230.7

      \[\leadsto \frac{\log \color{blue}{\left({\left(re \cdot re + im \cdot im\right)}^{\frac{1}{2}}\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    5. Applied log-pow30.7

      \[\leadsto \frac{\color{blue}{\frac{1}{2} \cdot \log \left(re \cdot re + im \cdot im\right)}}{\sqrt{\log 10} \cdot \sqrt{\log 10}}\]

    6. Applied times-frac30.6

      \[\leadsto \color{blue}{\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\sqrt{\log 10}}}\]
    7. Using strategy rm

    8. Applied add-cbrt-cube30.6

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\log \left(re \cdot re + im \cdot im\right)}{\color{blue}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    9. Applied add-cbrt-cube30.7

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \frac{\color{blue}{\sqrt[3]{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}}}{\sqrt[3]{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}\]

    10. Applied cbrt-undiv30.7

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \color{blue}{\sqrt[3]{\frac{\left(\log \left(re \cdot re + im \cdot im\right) \cdot \log \left(re \cdot re + im \cdot im\right)\right) \cdot \log \left(re \cdot re + im \cdot im\right)}{\left(\sqrt{\log 10} \cdot \sqrt{\log 10}\right) \cdot \sqrt{\log 10}}}}\]

    11. Applied simplify30.7

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt[3]{\color{blue}{{\left(\frac{\log \left(im \cdot im + re \cdot re\right)}{\sqrt{\log 10}}\right)}^{3}}}\]

    12. Taylor expanded around -inf 45.7

      \[\leadsto \frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \color{blue}{{\left({\left(-2 \cdot \left(\log \left(\frac{-1}{im}\right) \cdot \sqrt{\frac{1}{\log 10}}\right)\right)}^{3}\right)}^{\frac{1}{3}}}\]

    13. Applied simplify31.4

      \[\leadsto \color{blue}{\left(\log \left(\frac{-1}{im}\right) \cdot -2\right) \cdot \left(\frac{\frac{1}{2}}{\sqrt{\log 10}} \cdot \sqrt{\frac{1}{\log 10}}\right)}\]
  3. Recombined 6 regimes into one program.

Runtime

Time bar (total: 55.2s)Debug logProfile

herbie shell --seed '#(1070355188 2193211668 3977393919 3454156579 3755371326 1656365382)' 
(FPCore (re im)
  :name "math.log10 on complex, real part"
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)))