Average Error: 1.9 → 1.9
Time: 19.2s
Precision: 64
Internal Precision: 576
\[\left\lceil{2}^{\left(\log_{10} x\right)}\right\rceil\]
\[\left\lceil\sqrt[3]{\sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}} \cdot \sqrt[3]{\sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}}\right\rceil\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 1.9

    \[\left\lceil{2}^{\left(\log_{10} x\right)}\right\rceil\]
  2. Using strategy rm
  3. Applied add-cbrt-cube1.9

    \[\leadsto \left\lceil\color{blue}{\sqrt[3]{\left({2}^{\left(\log_{10} x\right)} \cdot {2}^{\left(\log_{10} x\right)}\right) \cdot {2}^{\left(\log_{10} x\right)}}}\right\rceil\]
  4. Applied simplify1.9

    \[\leadsto \left\lceil\sqrt[3]{\color{blue}{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}}\right\rceil\]
  5. Using strategy rm
  6. Applied add-sqr-sqrt1.9

    \[\leadsto \left\lceil\sqrt[3]{\color{blue}{\sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}} \cdot \sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}}}\right\rceil\]
  7. Applied cbrt-prod1.9

    \[\leadsto \left\lceil\color{blue}{\sqrt[3]{\sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}} \cdot \sqrt[3]{\sqrt{{\left({2}^{\left(\log_{10} x\right)}\right)}^{3}}}}\right\rceil\]

Runtime

Time bar (total: 19.2s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x)
  :name "ceil(2^log10(x))"
  (ceil (pow 2 (log10 x))))