\[\left(\left(\left(x + y\right) + z\right) - z \cdot \log t\right) + \left(a - 0.5\right) \cdot b\]

↓

\[\left(\left(\left(\left(z + \left(y + x\right)\right) - \left(z + z\right) \cdot \log \left({t}^{\frac{1}{6}}\right)\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right) - z \cdot \log \left(\sqrt{t}\right)\right) + b \cdot \left(a - 0.5\right)\]

\left(\left(\left(x + y\right) + z\right) - z \cdot \log t\right) + \left(a - 0.5\right) \cdot b

↓

\left(\left(\left(\left(z + \left(y + x\right)\right) - \left(z + z\right) \cdot \log \left({t}^{\frac{1}{6}}\right)\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right) - z \cdot \log \left(\sqrt{t}\right)\right) + b \cdot \left(a - 0.5\right)

double f(double x, double y, double z, double t, double a, double b) {
        double r20602150 = x;
        double r20602151 = y;
        double r20602152 = r20602150 + r20602151;
        double r20602153 = z;
        double r20602154 = r20602152 + r20602153;
        double r20602155 = t;
        double r20602156 = log(r20602155);
        double r20602157 = r20602153 * r20602156;
        double r20602158 = r20602154 - r20602157;
        double r20602159 = a;
        double r20602160 = 0.5;
        double r20602161 = r20602159 - r20602160;
        double r20602162 = b;
        double r20602163 = r20602161 * r20602162;
        double r20602164 = r20602158 + r20602163;
        return r20602164;
}

↓

double f(double x, double y, double z, double t, double a, double b) {
        double r20602165 = z;
        double r20602166 = y;
        double r20602167 = x;
        double r20602168 = r20602166 + r20602167;
        double r20602169 = r20602165 + r20602168;
        double r20602170 = r20602165 + r20602165;
        double r20602171 = t;
        double r20602172 = 0.16666666666666666;
        double r20602173 = pow(r20602171, r20602172);
        double r20602174 = log(r20602173);
        double r20602175 = r20602170 * r20602174;
        double r20602176 = r20602169 - r20602175;
        double r20602177 = sqrt(r20602171);
        double r20602178 = cbrt(r20602177);
        double r20602179 = log(r20602178);
        double r20602180 = r20602179 * r20602165;
        double r20602181 = r20602176 - r20602180;
        double r20602182 = log(r20602177);
        double r20602183 = r20602165 * r20602182;
        double r20602184 = r20602181 - r20602183;
        double r20602185 = b;
        double r20602186 = a;
        double r20602187 = 0.5;
        double r20602188 = r20602186 - r20602187;
        double r20602189 = r20602185 * r20602188;
        double r20602190 = r20602184 + r20602189;
        return r20602190;
}

Original	0.1
Target	0.3
Herbie	0.1

Derivation

Initial program 0.1
\[\left(\left(\left(x + y\right) + z\right) - z \cdot \log t\right) + \left(a - 0.5\right) \cdot b\]
Using strategy rm
Applied add-sqr-sqrt0.1
\[\leadsto \left(\left(\left(x + y\right) + z\right) - z \cdot \log \color{blue}{\left(\sqrt{t} \cdot \sqrt{t}\right)}\right) + \left(a - 0.5\right) \cdot b\]
Applied log-prod0.1
\[\leadsto \left(\left(\left(x + y\right) + z\right) - z \cdot \color{blue}{\left(\log \left(\sqrt{t}\right) + \log \left(\sqrt{t}\right)\right)}\right) + \left(a - 0.5\right) \cdot b\]
Applied distribute-lft-in0.1
\[\leadsto \left(\left(\left(x + y\right) + z\right) - \color{blue}{\left(z \cdot \log \left(\sqrt{t}\right) + z \cdot \log \left(\sqrt{t}\right)\right)}\right) + \left(a - 0.5\right) \cdot b\]
Applied associate--r+0.1
\[\leadsto \color{blue}{\left(\left(\left(\left(x + y\right) + z\right) - z \cdot \log \left(\sqrt{t}\right)\right) - z \cdot \log \left(\sqrt{t}\right)\right)} + \left(a - 0.5\right) \cdot b\]
Using strategy rm
Applied add-cube-cbrt0.1
\[\leadsto \left(\left(\left(\left(x + y\right) + z\right) - z \cdot \log \color{blue}{\left(\left(\sqrt[3]{\sqrt{t}} \cdot \sqrt[3]{\sqrt{t}}\right) \cdot \sqrt[3]{\sqrt{t}}\right)}\right) - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Applied log-prod0.1
\[\leadsto \left(\left(\left(\left(x + y\right) + z\right) - z \cdot \color{blue}{\left(\log \left(\sqrt[3]{\sqrt{t}} \cdot \sqrt[3]{\sqrt{t}}\right) + \log \left(\sqrt[3]{\sqrt{t}}\right)\right)}\right) - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Applied distribute-rgt-in0.1
\[\leadsto \left(\left(\left(\left(x + y\right) + z\right) - \color{blue}{\left(\log \left(\sqrt[3]{\sqrt{t}} \cdot \sqrt[3]{\sqrt{t}}\right) \cdot z + \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right)}\right) - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Applied associate--r+0.1
\[\leadsto \left(\color{blue}{\left(\left(\left(\left(x + y\right) + z\right) - \log \left(\sqrt[3]{\sqrt{t}} \cdot \sqrt[3]{\sqrt{t}}\right) \cdot z\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right)} - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Simplified0.1
\[\leadsto \left(\left(\color{blue}{\left(\left(\left(x + y\right) + z\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot \left(z + z\right)\right)} - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right) - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Taylor expanded around 0 0.1
\[\leadsto \left(\left(\left(\left(\left(x + y\right) + z\right) - \log \color{blue}{\left({t}^{\frac{1}{6}}\right)} \cdot \left(z + z\right)\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right) - z \cdot \log \left(\sqrt{t}\right)\right) + \left(a - 0.5\right) \cdot b\]
Final simplification0.1
\[\leadsto \left(\left(\left(\left(z + \left(y + x\right)\right) - \left(z + z\right) \cdot \log \left({t}^{\frac{1}{6}}\right)\right) - \log \left(\sqrt[3]{\sqrt{t}}\right) \cdot z\right) - z \cdot \log \left(\sqrt{t}\right)\right) + b \cdot \left(a - 0.5\right)\]

Error

Try it out

Target

Derivation

Reproduce

In
Out