\[\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 r46888457 = d1;
        double r46888458 = r46888457 * r46888457;
        double r46888459 = r46888457 * r46888458;
        double r46888460 = r46888459 * r46888457;
        double r46888461 = r46888460 * r46888457;
        double r46888462 = r46888461 * r46888458;
        double r46888463 = r46888462 * r46888457;
        double r46888464 = r46888457 * r46888463;
        double r46888465 = r46888464 * r46888457;
        return r46888465;
}

↓

double f(double d1) {
        double r46888466 = d1;
        double r46888467 = 10.0;
        double r46888468 = pow(r46888466, r46888467);
        return r46888468;
}

\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 pow20.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}^{2}}\right) \cdot d1\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 \color{blue}{{d1}^{1}}\right) \cdot {d1}^{2}\right) \cdot d1\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 \color{blue}{{d1}^{1}}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot \color{blue}{{d1}^{1}}\right)\right) \cdot {d1}^{1}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(\color{blue}{{d1}^{1}} \cdot {d1}^{1}\right)\right) \cdot {d1}^{1}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \color{blue}{{d1}^{\left(1 + 1\right)}}\right) \cdot {d1}^{1}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow10.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\left(\color{blue}{{d1}^{1}} \cdot {d1}^{\left(1 + 1\right)}\right) \cdot {d1}^{1}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\left(\color{blue}{{d1}^{\left(1 + \left(1 + 1\right)\right)}} \cdot {d1}^{1}\right) \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\left(\left(\color{blue}{{d1}^{\left(\left(1 + \left(1 + 1\right)\right) + 1\right)}} \cdot {d1}^{1}\right) \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\left(\color{blue}{{d1}^{\left(\left(\left(1 + \left(1 + 1\right)\right) + 1\right) + 1\right)}} \cdot {d1}^{2}\right) \cdot d1\right)\right) \cdot d1\]
Applied pow-prod-up0.1
\[\leadsto \left(d1 \cdot \left(\color{blue}{{d1}^{\left(\left(\left(\left(1 + \left(1 + 1\right)\right) + 1\right) + 1\right) + 2\right)}} \cdot d1\right)\right) \cdot d1\]
Simplified0.1
\[\leadsto \left(d1 \cdot \left({d1}^{\color{blue}{7}} \cdot d1\right)\right) \cdot d1\]
Taylor expanded around -inf 0
\[\leadsto \color{blue}{{d1}^{10}}\]
Final simplification0
\[\leadsto {d1}^{10}\]

Error

Target

Derivation

Reproduce