\[x \cdot \left(1 - y \cdot z\right)\]

↓

\[\begin{array}{l} \mathbf{if}\;y \cdot z = -\infty \lor \neg \left(y \cdot z \le 1.2079824086365364 \cdot 10^{227}\right):\\ \;\;\;\;x \cdot 1 + \left(x \cdot \left(-y\right)\right) \cdot z\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(1 - y \cdot z\right) + x \cdot \mathsf{fma}\left(-z, y, z \cdot y\right)\\ \end{array}\]

x \cdot \left(1 - y \cdot z\right)

↓

\begin{array}{l}
\mathbf{if}\;y \cdot z = -\infty \lor \neg \left(y \cdot z \le 1.2079824086365364 \cdot 10^{227}\right):\\
\;\;\;\;x \cdot 1 + \left(x \cdot \left(-y\right)\right) \cdot z\\

\mathbf{else}:\\
\;\;\;\;x \cdot \left(1 - y \cdot z\right) + x \cdot \mathsf{fma}\left(-z, y, z \cdot y\right)\\

\end{array}

double f(double x, double y, double z) {
        double r208103 = x;
        double r208104 = 1.0;
        double r208105 = y;
        double r208106 = z;
        double r208107 = r208105 * r208106;
        double r208108 = r208104 - r208107;
        double r208109 = r208103 * r208108;
        return r208109;
}

↓

double f(double x, double y, double z) {
        double r208110 = y;
        double r208111 = z;
        double r208112 = r208110 * r208111;
        double r208113 = -inf.0;
        bool r208114 = r208112 <= r208113;
        double r208115 = 1.2079824086365364e+227;
        bool r208116 = r208112 <= r208115;
        double r208117 = !r208116;
        bool r208118 = r208114 || r208117;
        double r208119 = x;
        double r208120 = 1.0;
        double r208121 = r208119 * r208120;
        double r208122 = -r208110;
        double r208123 = r208119 * r208122;
        double r208124 = r208123 * r208111;
        double r208125 = r208121 + r208124;
        double r208126 = r208120 - r208112;
        double r208127 = r208119 * r208126;
        double r208128 = -r208111;
        double r208129 = r208111 * r208110;
        double r208130 = fma(r208128, r208110, r208129);
        double r208131 = r208119 * r208130;
        double r208132 = r208127 + r208131;
        double r208133 = r208118 ? r208125 : r208132;
        return r208133;
}

Derivation

Split input into 2 regimes
if (* y z) < -inf.0 or 1.2079824086365364e+227 < (* y z)
1. Initial program 42.8
  \[x \cdot \left(1 - y \cdot z\right)\]
2. Using strategy rm
3. Applied sub-neg42.8
  \[\leadsto x \cdot \color{blue}{\left(1 + \left(-y \cdot z\right)\right)}\]
4. Applied distribute-lft-in42.8
  \[\leadsto \color{blue}{x \cdot 1 + x \cdot \left(-y \cdot z\right)}\]
5. Using strategy rm
6. Applied distribute-lft-neg-in42.8
  \[\leadsto x \cdot 1 + x \cdot \color{blue}{\left(\left(-y\right) \cdot z\right)}\]
7. Applied associate-*r*0.4
  \[\leadsto x \cdot 1 + \color{blue}{\left(x \cdot \left(-y\right)\right) \cdot z}\]
if -inf.0 < (* y z) < 1.2079824086365364e+227
1. Initial program 0.1
  \[x \cdot \left(1 - y \cdot z\right)\]
2. Using strategy rm
3. Applied add-cube-cbrt0.1
  \[\leadsto x \cdot \left(\color{blue}{\left(\sqrt[3]{1} \cdot \sqrt[3]{1}\right) \cdot \sqrt[3]{1}} - y \cdot z\right)\]
4. Applied prod-diff0.1
  \[\leadsto x \cdot \color{blue}{\left(\mathsf{fma}\left(\sqrt[3]{1} \cdot \sqrt[3]{1}, \sqrt[3]{1}, -z \cdot y\right) + \mathsf{fma}\left(-z, y, z \cdot y\right)\right)}\]
5. Applied distribute-lft-in0.1
  \[\leadsto \color{blue}{x \cdot \mathsf{fma}\left(\sqrt[3]{1} \cdot \sqrt[3]{1}, \sqrt[3]{1}, -z \cdot y\right) + x \cdot \mathsf{fma}\left(-z, y, z \cdot y\right)}\]
6. Simplified0.1
  \[\leadsto \color{blue}{x \cdot \left(1 - y \cdot z\right)} + x \cdot \mathsf{fma}\left(-z, y, z \cdot y\right)\]
Recombined 2 regimes into one program.
Final simplification0.1
\[\leadsto \begin{array}{l} \mathbf{if}\;y \cdot z = -\infty \lor \neg \left(y \cdot z \le 1.2079824086365364 \cdot 10^{227}\right):\\ \;\;\;\;x \cdot 1 + \left(x \cdot \left(-y\right)\right) \cdot z\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(1 - y \cdot z\right) + x \cdot \mathsf{fma}\left(-z, y, z \cdot y\right)\\ \end{array}\]

Error

Derivation

`if (* y z) < -inf.0 or 1.2079824086365364e+227 < (* y z)`

`if -inf.0 < (* y z) < 1.2079824086365364e+227`

Reproduce