\[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]

↓

\[j \cdot \left(c \cdot t - y \cdot i\right) + \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{x} \cdot \sqrt[3]{z \cdot y - t \cdot a}\right)\right) - b \cdot \left(z \cdot c - a \cdot i\right)\right)\]

double f(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        double r10956466 = x;
        double r10956467 = y;
        double r10956468 = z;
        double r10956469 = r10956467 * r10956468;
        double r10956470 = t;
        double r10956471 = a;
        double r10956472 = r10956470 * r10956471;
        double r10956473 = r10956469 - r10956472;
        double r10956474 = r10956466 * r10956473;
        double r10956475 = b;
        double r10956476 = c;
        double r10956477 = r10956476 * r10956468;
        double r10956478 = i;
        double r10956479 = r10956478 * r10956471;
        double r10956480 = r10956477 - r10956479;
        double r10956481 = r10956475 * r10956480;
        double r10956482 = r10956474 - r10956481;
        double r10956483 = j;
        double r10956484 = r10956476 * r10956470;
        double r10956485 = r10956478 * r10956467;
        double r10956486 = r10956484 - r10956485;
        double r10956487 = r10956483 * r10956486;
        double r10956488 = r10956482 + r10956487;
        return r10956488;
}

↓

double f(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        double r10956489 = j;
        double r10956490 = c;
        double r10956491 = t;
        double r10956492 = r10956490 * r10956491;
        double r10956493 = y;
        double r10956494 = i;
        double r10956495 = r10956493 * r10956494;
        double r10956496 = r10956492 - r10956495;
        double r10956497 = r10956489 * r10956496;
        double r10956498 = z;
        double r10956499 = r10956498 * r10956493;
        double r10956500 = a;
        double r10956501 = r10956491 * r10956500;
        double r10956502 = r10956499 - r10956501;
        double r10956503 = x;
        double r10956504 = r10956502 * r10956503;
        double r10956505 = cbrt(r10956504);
        double r10956506 = cbrt(r10956503);
        double r10956507 = cbrt(r10956502);
        double r10956508 = r10956506 * r10956507;
        double r10956509 = r10956505 * r10956508;
        double r10956510 = r10956505 * r10956509;
        double r10956511 = b;
        double r10956512 = r10956498 * r10956490;
        double r10956513 = r10956500 * r10956494;
        double r10956514 = r10956512 - r10956513;
        double r10956515 = r10956511 * r10956514;
        double r10956516 = r10956510 - r10956515;
        double r10956517 = r10956497 + r10956516;
        return r10956517;
}

\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)

↓

j \cdot \left(c \cdot t - y \cdot i\right) + \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{x} \cdot \sqrt[3]{z \cdot y - t \cdot a}\right)\right) - b \cdot \left(z \cdot c - a \cdot i\right)\right)

Derivation

Initial program 11.3
\[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]
Using strategy rm
Applied add-cube-cbrt11.5
\[\leadsto \left(\color{blue}{\left(\sqrt[3]{x \cdot \left(y \cdot z - t \cdot a\right)} \cdot \sqrt[3]{x \cdot \left(y \cdot z - t \cdot a\right)}\right) \cdot \sqrt[3]{x \cdot \left(y \cdot z - t \cdot a\right)}} - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]
Using strategy rm
Applied cbrt-prod11.5
\[\leadsto \left(\left(\sqrt[3]{x \cdot \left(y \cdot z - t \cdot a\right)} \cdot \color{blue}{\left(\sqrt[3]{x} \cdot \sqrt[3]{y \cdot z - t \cdot a}\right)}\right) \cdot \sqrt[3]{x \cdot \left(y \cdot z - t \cdot a\right)} - b \cdot \left(c \cdot z - i \cdot a\right)\right) + j \cdot \left(c \cdot t - i \cdot y\right)\]
Final simplification11.5
\[\leadsto j \cdot \left(c \cdot t - y \cdot i\right) + \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{\left(z \cdot y - t \cdot a\right) \cdot x} \cdot \left(\sqrt[3]{x} \cdot \sqrt[3]{z \cdot y - t \cdot a}\right)\right) - b \cdot \left(z \cdot c - a \cdot i\right)\right)\]

Error

Derivation

Reproduce