\[\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b\]

↓

\[\begin{array}{l} \mathbf{if}\;\left(y \cdot 9\right) \cdot z \le -3.69621618437866115 \cdot 10^{201}:\\ \;\;\;\;\left(x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right) + 27 \cdot \left(a \cdot b\right)\\ \mathbf{elif}\;\left(y \cdot 9\right) \cdot z \le 6.1499091408972532 \cdot 10^{248}:\\ \;\;\;\;\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + a \cdot \left(27 \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;\left(x \cdot 2 - y \cdot \left(9 \cdot \left(z \cdot t\right)\right)\right) + \left(a \cdot 27\right) \cdot b\\ \end{array}\]

\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b

↓

\begin{array}{l}
\mathbf{if}\;\left(y \cdot 9\right) \cdot z \le -3.69621618437866115 \cdot 10^{201}:\\
\;\;\;\;\left(x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right) + 27 \cdot \left(a \cdot b\right)\\

\mathbf{elif}\;\left(y \cdot 9\right) \cdot z \le 6.1499091408972532 \cdot 10^{248}:\\
\;\;\;\;\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + a \cdot \left(27 \cdot b\right)\\

\mathbf{else}:\\
\;\;\;\;\left(x \cdot 2 - y \cdot \left(9 \cdot \left(z \cdot t\right)\right)\right) + \left(a \cdot 27\right) \cdot b\\

\end{array}

double f(double x, double y, double z, double t, double a, double b) {
        double r784604 = x;
        double r784605 = 2.0;
        double r784606 = r784604 * r784605;
        double r784607 = y;
        double r784608 = 9.0;
        double r784609 = r784607 * r784608;
        double r784610 = z;
        double r784611 = r784609 * r784610;
        double r784612 = t;
        double r784613 = r784611 * r784612;
        double r784614 = r784606 - r784613;
        double r784615 = a;
        double r784616 = 27.0;
        double r784617 = r784615 * r784616;
        double r784618 = b;
        double r784619 = r784617 * r784618;
        double r784620 = r784614 + r784619;
        return r784620;
}

↓

double f(double x, double y, double z, double t, double a, double b) {
        double r784621 = y;
        double r784622 = 9.0;
        double r784623 = r784621 * r784622;
        double r784624 = z;
        double r784625 = r784623 * r784624;
        double r784626 = -3.696216184378661e+201;
        bool r784627 = r784625 <= r784626;
        double r784628 = x;
        double r784629 = 2.0;
        double r784630 = r784628 * r784629;
        double r784631 = t;
        double r784632 = r784624 * r784631;
        double r784633 = r784623 * r784632;
        double r784634 = r784630 - r784633;
        double r784635 = 27.0;
        double r784636 = a;
        double r784637 = b;
        double r784638 = r784636 * r784637;
        double r784639 = r784635 * r784638;
        double r784640 = r784634 + r784639;
        double r784641 = 6.149909140897253e+248;
        bool r784642 = r784625 <= r784641;
        double r784643 = r784625 * r784631;
        double r784644 = r784630 - r784643;
        double r784645 = r784635 * r784637;
        double r784646 = r784636 * r784645;
        double r784647 = r784644 + r784646;
        double r784648 = r784622 * r784632;
        double r784649 = r784621 * r784648;
        double r784650 = r784630 - r784649;
        double r784651 = r784636 * r784635;
        double r784652 = r784651 * r784637;
        double r784653 = r784650 + r784652;
        double r784654 = r784642 ? r784647 : r784653;
        double r784655 = r784627 ? r784640 : r784654;
        return r784655;
}

Original	3.8
Target	2.7
Herbie	0.5

Derivation

Split input into 3 regimes
if (* (* y 9.0) z) < -3.696216184378661e+201
1. Initial program 28.1
  \[\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b\]
2. Using strategy rm
3. Applied associate-*l*2.0
  \[\leadsto \left(x \cdot 2 - \color{blue}{\left(y \cdot 9\right) \cdot \left(z \cdot t\right)}\right) + \left(a \cdot 27\right) \cdot b\]
4. Taylor expanded around 0 1.9
  \[\leadsto \left(x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right) + \color{blue}{27 \cdot \left(a \cdot b\right)}\]
if -3.696216184378661e+201 < (* (* y 9.0) z) < 6.149909140897253e+248
1. Initial program 0.4
  \[\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b\]
2. Using strategy rm
3. Applied associate-*l*0.4
  \[\leadsto \left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \color{blue}{a \cdot \left(27 \cdot b\right)}\]
if 6.149909140897253e+248 < (* (* y 9.0) z)
1. Initial program 39.7
  \[\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b\]
2. Using strategy rm
3. Applied associate-*l*1.1
  \[\leadsto \left(x \cdot 2 - \color{blue}{\left(y \cdot 9\right) \cdot \left(z \cdot t\right)}\right) + \left(a \cdot 27\right) \cdot b\]
4. Using strategy rm
5. Applied associate-*l*0.5
  \[\leadsto \left(x \cdot 2 - \color{blue}{y \cdot \left(9 \cdot \left(z \cdot t\right)\right)}\right) + \left(a \cdot 27\right) \cdot b\]
Recombined 3 regimes into one program.
Final simplification0.5
\[\leadsto \begin{array}{l} \mathbf{if}\;\left(y \cdot 9\right) \cdot z \le -3.69621618437866115 \cdot 10^{201}:\\ \;\;\;\;\left(x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right) + 27 \cdot \left(a \cdot b\right)\\ \mathbf{elif}\;\left(y \cdot 9\right) \cdot z \le 6.1499091408972532 \cdot 10^{248}:\\ \;\;\;\;\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + a \cdot \left(27 \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;\left(x \cdot 2 - y \cdot \left(9 \cdot \left(z \cdot t\right)\right)\right) + \left(a \cdot 27\right) \cdot b\\ \end{array}\]

Error

Try it out

Target

Derivation

`if (* (* y 9.0) z) < -3.696216184378661e+201`

`if -3.696216184378661e+201 < (* (* y 9.0) z) < 6.149909140897253e+248`

`if 6.149909140897253e+248 < (* (* y 9.0) z)`

Reproduce

In
Out