\[\left(a + \left(b + \left(c + d\right)\right)\right) \cdot 2\]

↓

\[2 \cdot \sqrt[3]{\left(\log \left(e^{\left(a + c\right) + \left(b + d\right)}\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)}\]

double f(double a, double b, double c, double d) {
        double r12124106 = a;
        double r12124107 = b;
        double r12124108 = c;
        double r12124109 = d;
        double r12124110 = r12124108 + r12124109;
        double r12124111 = r12124107 + r12124110;
        double r12124112 = r12124106 + r12124111;
        double r12124113 = 2.0;
        double r12124114 = r12124112 * r12124113;
        return r12124114;
}

↓

double f(double a, double b, double c, double d) {
        double r12124115 = 2.0;
        double r12124116 = a;
        double r12124117 = c;
        double r12124118 = r12124116 + r12124117;
        double r12124119 = b;
        double r12124120 = d;
        double r12124121 = r12124119 + r12124120;
        double r12124122 = r12124118 + r12124121;
        double r12124123 = exp(r12124122);
        double r12124124 = log(r12124123);
        double r12124125 = r12124119 + r12124117;
        double r12124126 = r12124125 + r12124120;
        double r12124127 = r12124126 + r12124116;
        double r12124128 = r12124124 * r12124127;
        double r12124129 = r12124128 * r12124127;
        double r12124130 = cbrt(r12124129);
        double r12124131 = r12124115 * r12124130;
        return r12124131;
}

\left(a + \left(b + \left(c + d\right)\right)\right) \cdot 2

↓

2 \cdot \sqrt[3]{\left(\log \left(e^{\left(a + c\right) + \left(b + d\right)}\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)}

Original	3.7
Target	3.8
Herbie	2.7

Derivation

Initial program 3.7
\[\left(a + \left(b + \left(c + d\right)\right)\right) \cdot 2\]
Using strategy rm
Applied associate-+r+2.7
\[\leadsto \left(a + \color{blue}{\left(\left(b + c\right) + d\right)}\right) \cdot 2\]
Using strategy rm
Applied add-cbrt-cube2.9
\[\leadsto \color{blue}{\sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)}} \cdot 2\]
Using strategy rm
Applied associate-+r+2.7
\[\leadsto \sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \color{blue}{\left(\left(a + \left(b + c\right)\right) + d\right)}\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)} \cdot 2\]
Using strategy rm
Applied add-log-exp2.7
\[\leadsto \sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \left(\left(a + \left(b + c\right)\right) + \color{blue}{\log \left(e^{d}\right)}\right)\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)} \cdot 2\]
Applied add-log-exp2.7
\[\leadsto \sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \left(\color{blue}{\log \left(e^{a + \left(b + c\right)}\right)} + \log \left(e^{d}\right)\right)\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)} \cdot 2\]
Applied sum-log2.8
\[\leadsto \sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \color{blue}{\log \left(e^{a + \left(b + c\right)} \cdot e^{d}\right)}\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)} \cdot 2\]
Simplified2.7
\[\leadsto \sqrt[3]{\left(\left(a + \left(\left(b + c\right) + d\right)\right) \cdot \log \color{blue}{\left(e^{\left(a + c\right) + \left(b + d\right)}\right)}\right) \cdot \left(a + \left(\left(b + c\right) + d\right)\right)} \cdot 2\]
Final simplification2.7
\[\leadsto 2 \cdot \sqrt[3]{\left(\log \left(e^{\left(a + c\right) + \left(b + d\right)}\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)\right) \cdot \left(\left(\left(b + c\right) + d\right) + a\right)}\]

Error

Target

Derivation

Reproduce