Average Error: 25.8 → 28.1
Time: 3.4m
Precision: 64
\[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
↓
\[\begin{array}{l} \mathbf{if}\;y5 \le -1.860100739995155 \cdot 10^{-56}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{elif}\;y5 \le -3.1880559411357415 \cdot 10^{-252}:\\ \;\;\;\;\left(\left(\left(y5 \cdot y0\right) \cdot \left(-y2\right)\right) \cdot k + y3 \cdot \left(\left(y5 \cdot y0 - y1 \cdot y4\right) \cdot j\right)\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(k \cdot \left(y \cdot \left(y5 \cdot i - y4 \cdot b\right)\right) - \left(j \cdot y5\right) \cdot \left(i \cdot t\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \end{array}\]
double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
        double r18373698 = x;
        double r18373699 = y;
        double r18373700 = r18373698 * r18373699;
        double r18373701 = z;
        double r18373702 = t;
        double r18373703 = r18373701 * r18373702;
        double r18373704 = r18373700 - r18373703;
        double r18373705 = a;
        double r18373706 = b;
        double r18373707 = r18373705 * r18373706;
        double r18373708 = c;
        double r18373709 = i;
        double r18373710 = r18373708 * r18373709;
        double r18373711 = r18373707 - r18373710;
        double r18373712 = r18373704 * r18373711;
        double r18373713 = j;
        double r18373714 = r18373698 * r18373713;
        double r18373715 = k;
        double r18373716 = r18373701 * r18373715;
        double r18373717 = r18373714 - r18373716;
        double r18373718 = y0;
        double r18373719 = r18373718 * r18373706;
        double r18373720 = y1;
        double r18373721 = r18373720 * r18373709;
        double r18373722 = r18373719 - r18373721;
        double r18373723 = r18373717 * r18373722;
        double r18373724 = r18373712 - r18373723;
        double r18373725 = y2;
        double r18373726 = r18373698 * r18373725;
        double r18373727 = y3;
        double r18373728 = r18373701 * r18373727;
        double r18373729 = r18373726 - r18373728;
        double r18373730 = r18373718 * r18373708;
        double r18373731 = r18373720 * r18373705;
        double r18373732 = r18373730 - r18373731;
        double r18373733 = r18373729 * r18373732;
        double r18373734 = r18373724 + r18373733;
        double r18373735 = r18373702 * r18373713;
        double r18373736 = r18373699 * r18373715;
        double r18373737 = r18373735 - r18373736;
        double r18373738 = y4;
        double r18373739 = r18373738 * r18373706;
        double r18373740 = y5;
        double r18373741 = r18373740 * r18373709;
        double r18373742 = r18373739 - r18373741;
        double r18373743 = r18373737 * r18373742;
        double r18373744 = r18373734 + r18373743;
        double r18373745 = r18373702 * r18373725;
        double r18373746 = r18373699 * r18373727;
        double r18373747 = r18373745 - r18373746;
        double r18373748 = r18373738 * r18373708;
        double r18373749 = r18373740 * r18373705;
        double r18373750 = r18373748 - r18373749;
        double r18373751 = r18373747 * r18373750;
        double r18373752 = r18373744 - r18373751;
        double r18373753 = r18373715 * r18373725;
        double r18373754 = r18373713 * r18373727;
        double r18373755 = r18373753 - r18373754;
        double r18373756 = r18373738 * r18373720;
        double r18373757 = r18373740 * r18373718;
        double r18373758 = r18373756 - r18373757;
        double r18373759 = r18373755 * r18373758;
        double r18373760 = r18373752 + r18373759;
        return r18373760;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
        double r18373761 = y5;
        double r18373762 = -1.860100739995155e-56;
        bool r18373763 = r18373761 <= r18373762;
        double r18373764 = y1;
        double r18373765 = y4;
        double r18373766 = r18373764 * r18373765;
        double r18373767 = y0;
        double r18373768 = r18373761 * r18373767;
        double r18373769 = r18373766 - r18373768;
        double r18373770 = k;
        double r18373771 = y2;
        double r18373772 = r18373770 * r18373771;
        double r18373773 = y3;
        double r18373774 = j;
        double r18373775 = r18373773 * r18373774;
        double r18373776 = r18373772 - r18373775;
        double r18373777 = r18373769 * r18373776;
        double r18373778 = c;
        double r18373779 = r18373778 * r18373767;
        double r18373780 = a;
        double r18373781 = r18373780 * r18373764;
        double r18373782 = r18373779 - r18373781;
        double r18373783 = x;
        double r18373784 = r18373771 * r18373783;
        double r18373785 = z;
        double r18373786 = r18373785 * r18373773;
        double r18373787 = r18373784 - r18373786;
        double r18373788 = r18373782 * r18373787;
        double r18373789 = y;
        double r18373790 = r18373783 * r18373789;
        double r18373791 = t;
        double r18373792 = r18373791 * r18373785;
        double r18373793 = r18373790 - r18373792;
        double r18373794 = b;
        double r18373795 = r18373780 * r18373794;
        double r18373796 = i;
        double r18373797 = r18373796 * r18373778;
        double r18373798 = r18373795 - r18373797;
        double r18373799 = r18373793 * r18373798;
        double r18373800 = r18373788 + r18373799;
        double r18373801 = r18373774 * r18373791;
        double r18373802 = r18373789 * r18373770;
        double r18373803 = r18373801 - r18373802;
        double r18373804 = r18373765 * r18373794;
        double r18373805 = r18373761 * r18373796;
        double r18373806 = r18373804 - r18373805;
        double r18373807 = r18373803 * r18373806;
        double r18373808 = r18373800 + r18373807;
        double r18373809 = r18373765 * r18373778;
        double r18373810 = r18373761 * r18373780;
        double r18373811 = r18373809 - r18373810;
        double r18373812 = r18373771 * r18373791;
        double r18373813 = r18373789 * r18373773;
        double r18373814 = r18373812 - r18373813;
        double r18373815 = r18373811 * r18373814;
        double r18373816 = r18373808 - r18373815;
        double r18373817 = r18373777 + r18373816;
        double r18373818 = -3.1880559411357415e-252;
        bool r18373819 = r18373761 <= r18373818;
        double r18373820 = -r18373771;
        double r18373821 = r18373768 * r18373820;
        double r18373822 = r18373821 * r18373770;
        double r18373823 = r18373768 - r18373766;
        double r18373824 = r18373823 * r18373774;
        double r18373825 = r18373773 * r18373824;
        double r18373826 = r18373822 + r18373825;
        double r18373827 = r18373783 * r18373774;
        double r18373828 = r18373785 * r18373770;
        double r18373829 = r18373827 - r18373828;
        double r18373830 = r18373794 * r18373767;
        double r18373831 = r18373796 * r18373764;
        double r18373832 = r18373830 - r18373831;
        double r18373833 = r18373829 * r18373832;
        double r18373834 = r18373799 - r18373833;
        double r18373835 = r18373788 + r18373834;
        double r18373836 = r18373835 + r18373807;
        double r18373837 = r18373836 - r18373815;
        double r18373838 = r18373826 + r18373837;
        double r18373839 = r18373805 - r18373804;
        double r18373840 = r18373789 * r18373839;
        double r18373841 = r18373770 * r18373840;
        double r18373842 = r18373774 * r18373761;
        double r18373843 = r18373796 * r18373791;
        double r18373844 = r18373842 * r18373843;
        double r18373845 = r18373841 - r18373844;
        double r18373846 = r18373835 + r18373845;
        double r18373847 = r18373846 - r18373815;
        double r18373848 = r18373777 + r18373847;
        double r18373849 = r18373819 ? r18373838 : r18373848;
        double r18373850 = r18373763 ? r18373817 : r18373849;
        return r18373850;
}


\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)
↓
\begin{array}{l}
\mathbf{if}\;y5 \le -1.860100739995155 \cdot 10^{-56}:\\
\;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\

\mathbf{elif}\;y5 \le -3.1880559411357415 \cdot 10^{-252}:\\
\;\;\;\;\left(\left(\left(y5 \cdot y0\right) \cdot \left(-y2\right)\right) \cdot k + y3 \cdot \left(\left(y5 \cdot y0 - y1 \cdot y4\right) \cdot j\right)\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(k \cdot \left(y \cdot \left(y5 \cdot i - y4 \cdot b\right)\right) - \left(j \cdot y5\right) \cdot \left(i \cdot t\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\

\end{array}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Bits error versus j

Bits error versus k

Bits error versus y0

Bits error versus y1

Bits error versus y2

Bits error versus y3

Bits error versus y4

Bits error versus y5

Derivation

  1. Split input into 3 regimes

  2. if y5 < -1.860100739995155e-56

    1. Initial program 26.6

      \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    2. Taylor expanded around 0 29.5

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{0}\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    if -1.860100739995155e-56 < y5 < -3.1880559411357415e-252

    1. Initial program 25.5

      \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    2. Taylor expanded around inf 26.0

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(y3 \cdot \left(j \cdot \left(y5 \cdot y0\right)\right) - \left(y1 \cdot \left(y3 \cdot \left(y4 \cdot j\right)\right) + k \cdot \left(y2 \cdot \left(y5 \cdot y0\right)\right)\right)\right)}\]

    3. Simplified26.0

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{\left(\left(j \cdot \left(y5 \cdot y0 - y1 \cdot y4\right)\right) \cdot y3 + k \cdot \left(\left(-y2\right) \cdot \left(y5 \cdot y0\right)\right)\right)}\]

    if -3.1880559411357415e-252 < y5

    1. Initial program 25.6

      \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    2. Taylor expanded around inf 28.1

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \color{blue}{\left(i \cdot \left(y \cdot \left(y5 \cdot k\right)\right) - \left(k \cdot \left(y \cdot \left(b \cdot y4\right)\right) + t \cdot \left(i \cdot \left(j \cdot y5\right)\right)\right)\right)}\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    3. Simplified28.4

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \color{blue}{\left(\left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right) \cdot k - \left(y5 \cdot j\right) \cdot \left(t \cdot i\right)\right)}\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
  3. Recombined 3 regimes into one program.

  4. Final simplification28.1

    \[\leadsto \begin{array}{l} \mathbf{if}\;y5 \le -1.860100739995155 \cdot 10^{-56}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{elif}\;y5 \le -3.1880559411357415 \cdot 10^{-252}:\\ \;\;\;\;\left(\left(\left(y5 \cdot y0\right) \cdot \left(-y2\right)\right) \cdot k + y3 \cdot \left(\left(y5 \cdot y0 - y1 \cdot y4\right) \cdot j\right)\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right) + \left(k \cdot \left(y \cdot \left(y5 \cdot i - y4 \cdot b\right)\right) - \left(j \cdot y5\right) \cdot \left(i \cdot t\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \end{array}\]

Reproduce

herbie shell --seed 2019102 
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
  :name "Linear.Matrix:det44 from linear-1.19.1.3"
  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))