\[\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 -9.76625135317133923 \cdot 10^{70} \lor \neg \left(\left(y \cdot 9\right) \cdot z \le 1.55744044963651113 \cdot 10^{72}\right):\\ \;\;\;\;\mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(2, x, 27 \cdot \left(a \cdot b\right) - \left(9 \cdot t\right) \cdot \left(z \cdot y\right)\right)\\ \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 -9.76625135317133923 \cdot 10^{70} \lor \neg \left(\left(y \cdot 9\right) \cdot z \le 1.55744044963651113 \cdot 10^{72}\right):\\
\;\;\;\;\mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right)\\

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

\end{array}

double f(double x, double y, double z, double t, double a, double b) {
        double r781024 = x;
        double r781025 = 2.0;
        double r781026 = r781024 * r781025;
        double r781027 = y;
        double r781028 = 9.0;
        double r781029 = r781027 * r781028;
        double r781030 = z;
        double r781031 = r781029 * r781030;
        double r781032 = t;
        double r781033 = r781031 * r781032;
        double r781034 = r781026 - r781033;
        double r781035 = a;
        double r781036 = 27.0;
        double r781037 = r781035 * r781036;
        double r781038 = b;
        double r781039 = r781037 * r781038;
        double r781040 = r781034 + r781039;
        return r781040;
}

↓

double f(double x, double y, double z, double t, double a, double b) {
        double r781041 = y;
        double r781042 = 9.0;
        double r781043 = r781041 * r781042;
        double r781044 = z;
        double r781045 = r781043 * r781044;
        double r781046 = -9.766251353171339e+70;
        bool r781047 = r781045 <= r781046;
        double r781048 = 1.5574404496365111e+72;
        bool r781049 = r781045 <= r781048;
        double r781050 = !r781049;
        bool r781051 = r781047 || r781050;
        double r781052 = a;
        double r781053 = 27.0;
        double r781054 = b;
        double r781055 = r781053 * r781054;
        double r781056 = x;
        double r781057 = 2.0;
        double r781058 = r781056 * r781057;
        double r781059 = t;
        double r781060 = r781044 * r781059;
        double r781061 = r781043 * r781060;
        double r781062 = r781058 - r781061;
        double r781063 = fma(r781052, r781055, r781062);
        double r781064 = r781052 * r781054;
        double r781065 = r781053 * r781064;
        double r781066 = r781042 * r781059;
        double r781067 = r781044 * r781041;
        double r781068 = r781066 * r781067;
        double r781069 = r781065 - r781068;
        double r781070 = fma(r781057, r781056, r781069);
        double r781071 = r781051 ? r781063 : r781070;
        return r781071;
}

Original	3.6
Target	2.5
Herbie	1.2

Derivation

Split input into 2 regimes
if (* (* y 9.0) z) < -9.766251353171339e+70 or 1.5574404496365111e+72 < (* (* y 9.0) z)
1. Initial program 11.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. Simplified11.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right)}\]
3. Using strategy rm
4. Applied associate-*l*3.1
  \[\leadsto \mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \color{blue}{\left(y \cdot 9\right) \cdot \left(z \cdot t\right)}\right)\]
if -9.766251353171339e+70 < (* (* y 9.0) z) < 1.5574404496365111e+72
1. Initial program 0.5
  \[\left(x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right) + \left(a \cdot 27\right) \cdot b\]
2. Simplified0.5
  \[\leadsto \color{blue}{\mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \left(\left(y \cdot 9\right) \cdot z\right) \cdot t\right)}\]
3. Taylor expanded around inf 0.4
  \[\leadsto \color{blue}{\left(2 \cdot x + 27 \cdot \left(a \cdot b\right)\right) - 9 \cdot \left(t \cdot \left(z \cdot y\right)\right)}\]
4. Simplified0.4
  \[\leadsto \color{blue}{\mathsf{fma}\left(2, x, 27 \cdot \left(a \cdot b\right) - 9 \cdot \left(t \cdot \left(z \cdot y\right)\right)\right)}\]
5. Using strategy rm
6. Applied associate-*r*0.4
  \[\leadsto \mathsf{fma}\left(2, x, 27 \cdot \left(a \cdot b\right) - \color{blue}{\left(9 \cdot t\right) \cdot \left(z \cdot y\right)}\right)\]
Recombined 2 regimes into one program.
Final simplification1.2
\[\leadsto \begin{array}{l} \mathbf{if}\;\left(y \cdot 9\right) \cdot z \le -9.76625135317133923 \cdot 10^{70} \lor \neg \left(\left(y \cdot 9\right) \cdot z \le 1.55744044963651113 \cdot 10^{72}\right):\\ \;\;\;\;\mathsf{fma}\left(a, 27 \cdot b, x \cdot 2 - \left(y \cdot 9\right) \cdot \left(z \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\mathsf{fma}\left(2, x, 27 \cdot \left(a \cdot b\right) - \left(9 \cdot t\right) \cdot \left(z \cdot y\right)\right)\\ \end{array}\]

Error

Target

Derivation

`if (* (* y 9.0) z) < -9.766251353171339e+70 or 1.5574404496365111e+72 < (* (* y 9.0) z)`

`if -9.766251353171339e+70 < (* (* y 9.0) z) < 1.5574404496365111e+72`

Reproduce