Timeout in 2.5m

Use the --timeout flag to change the timeout.

\[\frac{t \cdot \left(\left(\left(\left(\left(\left(\left(-6\right) \cdot \left(\left(\left(\left(\left(\left(-10\right) + 35 \cdot t\right) - 60 \cdot {t}^{2}\right) + 55 \cdot {t}^{3}\right) - 26 \cdot {t}^{4}\right) + 5 \cdot {t}^{5}\right)\right) \cdot x1\right) \cdot y0 + \left(\left(3 \cdot t\right) \cdot x1\right) \cdot \left(\left(30 \cdot {\left(\left(-1\right) + t\right)}^{4}\right) \cdot y1 + t \cdot \left(\left(\left(\left(20 - 75 \cdot t\right) + 84 \cdot {t}^{2}\right) - 30 \cdot {t}^{3}\right) \cdot y2 + \left(t \cdot \left(\left(5 - 16 \cdot t\right) + 10 \cdot {t}^{2}\right)\right) \cdot y3\right)\right)\right) + \left({t}^{2} \cdot x3\right) \cdot \left(\left(\left(\left(20 - 45 \cdot t\right) + 36 \cdot {t}^{2}\right) - 10 \cdot {t}^{3}\right) \cdot y0 + t \cdot \left(\left(\left(45 - 72 \cdot t\right) + 30 \cdot {t}^{2}\right) \cdot y1 + \left(2 \cdot t\right) \cdot \left(\left(\left(-3\right) \cdot \left(\left(-6\right) + 5 \cdot t\right)\right) \cdot y2 + \left(5 \cdot t\right) \cdot y3\right)\right)\right)\right) + \left(\left(3 \cdot t\right) \cdot x2\right) \cdot \left(\left(\left(\left(\left(20 - 60 \cdot t\right) + 75 \cdot {t}^{2}\right) - 44 \cdot {t}^{3}\right) + 10 \cdot {t}^{4}\right) \cdot y0 + t \cdot \left(\left(\left(\left(40 - 105 \cdot t\right) + 96 \cdot {t}^{2}\right) - 30 \cdot {t}^{3}\right) \cdot y1 + \left(2 \cdot t\right) \cdot \left(\left(15 \cdot {\left(\left(-1\right) + t\right)}^{2}\right) \cdot y2 + \left(\left(4 - 5 \cdot t\right) \cdot t\right) \cdot y3\right)\right)\right)\right) + x0 \cdot \left(\left(10 \cdot \left(\left(\left(\left(\left(\left(-6\right) + 15 \cdot t\right) - 20 \cdot {t}^{2}\right) + 15 \cdot {t}^{3}\right) - 6 \cdot {t}^{4}\right) + {t}^{5}\right)\right) \cdot y0 - t \cdot \left(\left(6 \cdot \left(\left(\left(\left(15 - 40 \cdot t\right) + 45 \cdot {t}^{2}\right) - 24 \cdot {t}^{3}\right) + 5 \cdot {t}^{4}\right)\right) \cdot y1 + t \cdot \left(\left(\left(-3\right) \cdot \left(\left(\left(\left(-20\right) + 45 \cdot t\right) - 36 \cdot {t}^{2}\right) + 10 \cdot {t}^{3}\right)\right) \cdot y2 + \left(t \cdot \left(\left(15 - 24 \cdot t\right) + 10 \cdot {t}^{2}\right)\right) \cdot y3\right)\right)\right)\right)}{20}\]
\frac{t \cdot \left(\left(\left(\left(\left(\left(\left(-6\right) \cdot \left(\left(\left(\left(\left(\left(-10\right) + 35 \cdot t\right) - 60 \cdot {t}^{2}\right) + 55 \cdot {t}^{3}\right) - 26 \cdot {t}^{4}\right) + 5 \cdot {t}^{5}\right)\right) \cdot x1\right) \cdot y0 + \left(\left(3 \cdot t\right) \cdot x1\right) \cdot \left(\left(30 \cdot {\left(\left(-1\right) + t\right)}^{4}\right) \cdot y1 + t \cdot \left(\left(\left(\left(20 - 75 \cdot t\right) + 84 \cdot {t}^{2}\right) - 30 \cdot {t}^{3}\right) \cdot y2 + \left(t \cdot \left(\left(5 - 16 \cdot t\right) + 10 \cdot {t}^{2}\right)\right) \cdot y3\right)\right)\right) + \left({t}^{2} \cdot x3\right) \cdot \left(\left(\left(\left(20 - 45 \cdot t\right) + 36 \cdot {t}^{2}\right) - 10 \cdot {t}^{3}\right) \cdot y0 + t \cdot \left(\left(\left(45 - 72 \cdot t\right) + 30 \cdot {t}^{2}\right) \cdot y1 + \left(2 \cdot t\right) \cdot \left(\left(\left(-3\right) \cdot \left(\left(-6\right) + 5 \cdot t\right)\right) \cdot y2 + \left(5 \cdot t\right) \cdot y3\right)\right)\right)\right) + \left(\left(3 \cdot t\right) \cdot x2\right) \cdot \left(\left(\left(\left(\left(20 - 60 \cdot t\right) + 75 \cdot {t}^{2}\right) - 44 \cdot {t}^{3}\right) + 10 \cdot {t}^{4}\right) \cdot y0 + t \cdot \left(\left(\left(\left(40 - 105 \cdot t\right) + 96 \cdot {t}^{2}\right) - 30 \cdot {t}^{3}\right) \cdot y1 + \left(2 \cdot t\right) \cdot \left(\left(15 \cdot {\left(\left(-1\right) + t\right)}^{2}\right) \cdot y2 + \left(\left(4 - 5 \cdot t\right) \cdot t\right) \cdot y3\right)\right)\right)\right) + x0 \cdot \left(\left(10 \cdot \left(\left(\left(\left(\left(\left(-6\right) + 15 \cdot t\right) - 20 \cdot {t}^{2}\right) + 15 \cdot {t}^{3}\right) - 6 \cdot {t}^{4}\right) + {t}^{5}\right)\right) \cdot y0 - t \cdot \left(\left(6 \cdot \left(\left(\left(\left(15 - 40 \cdot t\right) + 45 \cdot {t}^{2}\right) - 24 \cdot {t}^{3}\right) + 5 \cdot {t}^{4}\right)\right) \cdot y1 + t \cdot \left(\left(\left(-3\right) \cdot \left(\left(\left(\left(-20\right) + 45 \cdot t\right) - 36 \cdot {t}^{2}\right) + 10 \cdot {t}^{3}\right)\right) \cdot y2 + \left(t \cdot \left(\left(15 - 24 \cdot t\right) + 10 \cdot {t}^{2}\right)\right) \cdot y3\right)\right)\right)\right)}{20}
double f(double t, double x1, double y0, double y1, double y2, double y3, double x3, double x2, double x0) {
        double r571737 = t;
        double r571738 = 6.0;
        double r571739 = -r571738;
        double r571740 = 10.0;
        double r571741 = -r571740;
        double r571742 = 35.0;
        double r571743 = r571742 * r571737;
        double r571744 = r571741 + r571743;
        double r571745 = 60.0;
        double r571746 = 2.0;
        double r571747 = pow(r571737, r571746);
        double r571748 = r571745 * r571747;
        double r571749 = r571744 - r571748;
        double r571750 = 55.0;
        double r571751 = 3.0;
        double r571752 = pow(r571737, r571751);
        double r571753 = r571750 * r571752;
        double r571754 = r571749 + r571753;
        double r571755 = 26.0;
        double r571756 = 4.0;
        double r571757 = pow(r571737, r571756);
        double r571758 = r571755 * r571757;
        double r571759 = r571754 - r571758;
        double r571760 = 5.0;
        double r571761 = pow(r571737, r571760);
        double r571762 = r571760 * r571761;
        double r571763 = r571759 + r571762;
        double r571764 = r571739 * r571763;
        double r571765 = x1;
        double r571766 = r571764 * r571765;
        double r571767 = y0;
        double r571768 = r571766 * r571767;
        double r571769 = r571751 * r571737;
        double r571770 = r571769 * r571765;
        double r571771 = 30.0;
        double r571772 = 1.0;
        double r571773 = -r571772;
        double r571774 = r571773 + r571737;
        double r571775 = pow(r571774, r571756);
        double r571776 = r571771 * r571775;
        double r571777 = y1;
        double r571778 = r571776 * r571777;
        double r571779 = 20.0;
        double r571780 = 75.0;
        double r571781 = r571780 * r571737;
        double r571782 = r571779 - r571781;
        double r571783 = 84.0;
        double r571784 = r571783 * r571747;
        double r571785 = r571782 + r571784;
        double r571786 = r571771 * r571752;
        double r571787 = r571785 - r571786;
        double r571788 = y2;
        double r571789 = r571787 * r571788;
        double r571790 = 16.0;
        double r571791 = r571790 * r571737;
        double r571792 = r571760 - r571791;
        double r571793 = r571740 * r571747;
        double r571794 = r571792 + r571793;
        double r571795 = r571737 * r571794;
        double r571796 = y3;
        double r571797 = r571795 * r571796;
        double r571798 = r571789 + r571797;
        double r571799 = r571737 * r571798;
        double r571800 = r571778 + r571799;
        double r571801 = r571770 * r571800;
        double r571802 = r571768 + r571801;
        double r571803 = x3;
        double r571804 = r571747 * r571803;
        double r571805 = 45.0;
        double r571806 = r571805 * r571737;
        double r571807 = r571779 - r571806;
        double r571808 = 36.0;
        double r571809 = r571808 * r571747;
        double r571810 = r571807 + r571809;
        double r571811 = r571740 * r571752;
        double r571812 = r571810 - r571811;
        double r571813 = r571812 * r571767;
        double r571814 = 72.0;
        double r571815 = r571814 * r571737;
        double r571816 = r571805 - r571815;
        double r571817 = r571771 * r571747;
        double r571818 = r571816 + r571817;
        double r571819 = r571818 * r571777;
        double r571820 = r571746 * r571737;
        double r571821 = -r571751;
        double r571822 = r571760 * r571737;
        double r571823 = r571739 + r571822;
        double r571824 = r571821 * r571823;
        double r571825 = r571824 * r571788;
        double r571826 = r571822 * r571796;
        double r571827 = r571825 + r571826;
        double r571828 = r571820 * r571827;
        double r571829 = r571819 + r571828;
        double r571830 = r571737 * r571829;
        double r571831 = r571813 + r571830;
        double r571832 = r571804 * r571831;
        double r571833 = r571802 + r571832;
        double r571834 = x2;
        double r571835 = r571769 * r571834;
        double r571836 = r571745 * r571737;
        double r571837 = r571779 - r571836;
        double r571838 = r571780 * r571747;
        double r571839 = r571837 + r571838;
        double r571840 = 44.0;
        double r571841 = r571840 * r571752;
        double r571842 = r571839 - r571841;
        double r571843 = r571740 * r571757;
        double r571844 = r571842 + r571843;
        double r571845 = r571844 * r571767;
        double r571846 = 40.0;
        double r571847 = 105.0;
        double r571848 = r571847 * r571737;
        double r571849 = r571846 - r571848;
        double r571850 = 96.0;
        double r571851 = r571850 * r571747;
        double r571852 = r571849 + r571851;
        double r571853 = r571852 - r571786;
        double r571854 = r571853 * r571777;
        double r571855 = 15.0;
        double r571856 = pow(r571774, r571746);
        double r571857 = r571855 * r571856;
        double r571858 = r571857 * r571788;
        double r571859 = r571756 - r571822;
        double r571860 = r571859 * r571737;
        double r571861 = r571860 * r571796;
        double r571862 = r571858 + r571861;
        double r571863 = r571820 * r571862;
        double r571864 = r571854 + r571863;
        double r571865 = r571737 * r571864;
        double r571866 = r571845 + r571865;
        double r571867 = r571835 * r571866;
        double r571868 = r571833 + r571867;
        double r571869 = x0;
        double r571870 = r571855 * r571737;
        double r571871 = r571739 + r571870;
        double r571872 = r571779 * r571747;
        double r571873 = r571871 - r571872;
        double r571874 = r571855 * r571752;
        double r571875 = r571873 + r571874;
        double r571876 = r571738 * r571757;
        double r571877 = r571875 - r571876;
        double r571878 = r571877 + r571761;
        double r571879 = r571740 * r571878;
        double r571880 = r571879 * r571767;
        double r571881 = r571846 * r571737;
        double r571882 = r571855 - r571881;
        double r571883 = r571805 * r571747;
        double r571884 = r571882 + r571883;
        double r571885 = 24.0;
        double r571886 = r571885 * r571752;
        double r571887 = r571884 - r571886;
        double r571888 = r571760 * r571757;
        double r571889 = r571887 + r571888;
        double r571890 = r571738 * r571889;
        double r571891 = r571890 * r571777;
        double r571892 = -r571779;
        double r571893 = r571892 + r571806;
        double r571894 = r571893 - r571809;
        double r571895 = r571894 + r571811;
        double r571896 = r571821 * r571895;
        double r571897 = r571896 * r571788;
        double r571898 = r571885 * r571737;
        double r571899 = r571855 - r571898;
        double r571900 = r571899 + r571793;
        double r571901 = r571737 * r571900;
        double r571902 = r571901 * r571796;
        double r571903 = r571897 + r571902;
        double r571904 = r571737 * r571903;
        double r571905 = r571891 + r571904;
        double r571906 = r571737 * r571905;
        double r571907 = r571880 - r571906;
        double r571908 = r571869 * r571907;
        double r571909 = r571868 + r571908;
        double r571910 = r571737 * r571909;
        double r571911 = r571910 / r571779;
        return r571911;
}

Reproduce

herbie shell --seed 1 
(FPCore (t x1 y0 y1 y2 y3 x3 x2 x0)
  :name "(t * (-6 * (-10 + 35 * t - 60 * pow(t, 2) + 55 * pow(t, 3) - 26 * pow(t, 4) + 5 * pow(t, 5)) * (x1) * (y0) + 3 * t * (x1) * (30 * pow(-1 + t, 4) * (y1) + t * ((20 - 75 * t + 84 * pow(t, 2) - 30 * pow(t, 3)) * (y2) + t * (5 - 16 * t + 10 * pow(t, 2)) * (y3))) + pow(t, 2) * (x3) * ((20 - 45 * t + 36 * pow(t, 2) - 10 * pow(t, 3)) * (y0) + t * ((45 - 72 * t + 30 * pow(t, 2)) * (y1) + 2 * t * (-3 * (-6 + 5 * t) * (y2) + 5 * t * (y3)))) + 3 * t * (x2) * ((20 - 60 * t + 75 * pow(t, 2) - 44 * pow(t, 3) + 10 * pow(t, 4)) * (y0) + t * ((40 - 105 * t + 96 * pow(t, 2) - 30 * pow(t, 3)) * (y1) + 2 * t * (15 * pow(-1 + t, 2) * (y2) + (4 - 5 * t) * t * (y3)))) + (x0) * (10 * (-6 + 15 * t - 20 * pow(t, 2) + 15 * pow(t, 3) - 6 * pow(t, 4) + pow(t, 5)) * (y0) - t * (6 * (15 - 40 * t + 45 * pow(t, 2) - 24 * pow(t, 3) + 5 * pow(t, 4)) * (y1) + t * (-3 * (-20 + 45 * t - 36 * pow(t, 2) + 10 * pow(t, 3)) * (y2) + t * (15 - 24 * t + 10 * pow(t, 2)) * (y3)))))) / 20"
  :precision binary32
  (/ (* t (+ (+ (+ (+ (* (* (* (- 6) (+ (- (+ (- (+ (- 10) (* 35 t)) (* 60 (pow t 2))) (* 55 (pow t 3))) (* 26 (pow t 4))) (* 5 (pow t 5)))) x1) y0) (* (* (* 3 t) x1) (+ (* (* 30 (pow (+ (- 1) t) 4)) y1) (* t (+ (* (- (+ (- 20 (* 75 t)) (* 84 (pow t 2))) (* 30 (pow t 3))) y2) (* (* t (+ (- 5 (* 16 t)) (* 10 (pow t 2)))) y3)))))) (* (* (pow t 2) x3) (+ (* (- (+ (- 20 (* 45 t)) (* 36 (pow t 2))) (* 10 (pow t 3))) y0) (* t (+ (* (+ (- 45 (* 72 t)) (* 30 (pow t 2))) y1) (* (* 2 t) (+ (* (* (- 3) (+ (- 6) (* 5 t))) y2) (* (* 5 t) y3)))))))) (* (* (* 3 t) x2) (+ (* (+ (- (+ (- 20 (* 60 t)) (* 75 (pow t 2))) (* 44 (pow t 3))) (* 10 (pow t 4))) y0) (* t (+ (* (- (+ (- 40 (* 105 t)) (* 96 (pow t 2))) (* 30 (pow t 3))) y1) (* (* 2 t) (+ (* (* 15 (pow (+ (- 1) t) 2)) y2) (* (* (- 4 (* 5 t)) t) y3)))))))) (* x0 (- (* (* 10 (+ (- (+ (- (+ (- 6) (* 15 t)) (* 20 (pow t 2))) (* 15 (pow t 3))) (* 6 (pow t 4))) (pow t 5))) y0) (* t (+ (* (* 6 (+ (- (+ (- 15 (* 40 t)) (* 45 (pow t 2))) (* 24 (pow t 3))) (* 5 (pow t 4)))) y1) (* t (+ (* (* (- 3) (+ (- (+ (- 20) (* 45 t)) (* 36 (pow t 2))) (* 10 (pow t 3)))) y2) (* (* t (+ (- 15 (* 24 t)) (* 10 (pow t 2)))) y3))))))))) 20))