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$

# Try it out

Results

 In Out
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

$\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

$\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))))