\[\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1\]

↓

\[{d1}^{10}\]

double f(double d1) {
        double r43419522 = d1;
        double r43419523 = r43419522 * r43419522;
        double r43419524 = r43419522 * r43419523;
        double r43419525 = r43419524 * r43419522;
        double r43419526 = r43419525 * r43419522;
        double r43419527 = r43419526 * r43419523;
        double r43419528 = r43419527 * r43419522;
        double r43419529 = r43419522 * r43419528;
        double r43419530 = r43419529 * r43419522;
        return r43419530;
}

↓

double f(double d1) {
        double r43419531 = d1;
        double r43419532 = 10.0;
        double r43419533 = pow(r43419531, r43419532);
        return r43419533;
}

\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1

↓

{d1}^{10}

Original	0.1
Target	0
Herbie	0

Derivation

Initial program 0.1
\[\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1\]
Using strategy rm
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot \color{blue}{{d1}^{1}}\right)\right) \cdot d1\]
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(\color{blue}{{d1}^{1}} \cdot d1\right)\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-plus0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \color{blue}{{d1}^{\left(1 + 1\right)}}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow20.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \color{blue}{{d1}^{2}}\right) \cdot d1\right) \cdot d1\right) \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(\color{blue}{{d1}^{1}} \cdot {d1}^{2}\right) \cdot d1\right) \cdot d1\right) \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\color{blue}{{d1}^{\left(1 + 2\right)}} \cdot d1\right) \cdot d1\right) \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-plus0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\color{blue}{{d1}^{\left(\left(1 + 2\right) + 1\right)}} \cdot d1\right) \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-plus0.1
\[\leadsto \left(d1 \cdot \left(\left(\color{blue}{{d1}^{\left(\left(\left(1 + 2\right) + 1\right) + 1\right)}} \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\color{blue}{{d1}^{\left(\left(\left(\left(1 + 2\right) + 1\right) + 1\right) + \left(1 + 1\right)\right)}} \cdot {d1}^{1}\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \color{blue}{{d1}^{\left(\left(\left(\left(\left(1 + 2\right) + 1\right) + 1\right) + \left(1 + 1\right)\right) + 1\right)}}\right) \cdot d1\]
Simplified0.1
\[\leadsto \left(d1 \cdot {d1}^{\color{blue}{8}}\right) \cdot d1\]
Taylor expanded around inf 0
\[\leadsto \color{blue}{{d1}^{10}}\]
Final simplification0
\[\leadsto {d1}^{10}\]

Error

Target

Derivation

Reproduce