Average Error: 1.0 → 0
Time: 3.3s
Precision: 64
Internal Precision: 320
$108 - \frac{815 - \frac{1500}{4.25}}{4}$
$\sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}} \cdot \left(\sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}} \cdot \sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}}\right)$

# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 1.0

$108 - \frac{815 - \frac{1500}{4.25}}{4}$
2. Using strategy rm

$\leadsto \color{blue}{\left(\sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}} \cdot \sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}}\right) \cdot \sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}}}$
4. Final simplification0

$\leadsto \sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}} \cdot \left(\sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}} \cdot \sqrt[3]{108 - \frac{815 - \frac{1500}{4.25}}{4}}\right)$

# Runtime

Time bar (total: 3.3s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore ()
:name "108 - (815 - 1500 / 4.25) / 4"
(- 108 (/ (- 815 (/ 1500 4.25)) 4)))