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 r570614 = t;
        double r570615 = 6.0;
        double r570616 = -r570615;
        double r570617 = 10.0;
        double r570618 = -r570617;
        double r570619 = 35.0;
        double r570620 = r570619 * r570614;
        double r570621 = r570618 + r570620;
        double r570622 = 60.0;
        double r570623 = 2.0;
        double r570624 = pow(r570614, r570623);
        double r570625 = r570622 * r570624;
        double r570626 = r570621 - r570625;
        double r570627 = 55.0;
        double r570628 = 3.0;
        double r570629 = pow(r570614, r570628);
        double r570630 = r570627 * r570629;
        double r570631 = r570626 + r570630;
        double r570632 = 26.0;
        double r570633 = 4.0;
        double r570634 = pow(r570614, r570633);
        double r570635 = r570632 * r570634;
        double r570636 = r570631 - r570635;
        double r570637 = 5.0;
        double r570638 = pow(r570614, r570637);
        double r570639 = r570637 * r570638;
        double r570640 = r570636 + r570639;
        double r570641 = r570616 * r570640;
        double r570642 = x1;
        double r570643 = r570641 * r570642;
        double r570644 = y0;
        double r570645 = r570643 * r570644;
        double r570646 = r570628 * r570614;
        double r570647 = r570646 * r570642;
        double r570648 = 30.0;
        double r570649 = 1.0;
        double r570650 = -r570649;
        double r570651 = r570650 + r570614;
        double r570652 = pow(r570651, r570633);
        double r570653 = r570648 * r570652;
        double r570654 = y1;
        double r570655 = r570653 * r570654;
        double r570656 = 20.0;
        double r570657 = 75.0;
        double r570658 = r570657 * r570614;
        double r570659 = r570656 - r570658;
        double r570660 = 84.0;
        double r570661 = r570660 * r570624;
        double r570662 = r570659 + r570661;
        double r570663 = r570648 * r570629;
        double r570664 = r570662 - r570663;
        double r570665 = y2;
        double r570666 = r570664 * r570665;
        double r570667 = 16.0;
        double r570668 = r570667 * r570614;
        double r570669 = r570637 - r570668;
        double r570670 = r570617 * r570624;
        double r570671 = r570669 + r570670;
        double r570672 = r570614 * r570671;
        double r570673 = y3;
        double r570674 = r570672 * r570673;
        double r570675 = r570666 + r570674;
        double r570676 = r570614 * r570675;
        double r570677 = r570655 + r570676;
        double r570678 = r570647 * r570677;
        double r570679 = r570645 + r570678;
        double r570680 = x3;
        double r570681 = r570624 * r570680;
        double r570682 = 45.0;
        double r570683 = r570682 * r570614;
        double r570684 = r570656 - r570683;
        double r570685 = 36.0;
        double r570686 = r570685 * r570624;
        double r570687 = r570684 + r570686;
        double r570688 = r570617 * r570629;
        double r570689 = r570687 - r570688;
        double r570690 = r570689 * r570644;
        double r570691 = 72.0;
        double r570692 = r570691 * r570614;
        double r570693 = r570682 - r570692;
        double r570694 = r570648 * r570624;
        double r570695 = r570693 + r570694;
        double r570696 = r570695 * r570654;
        double r570697 = r570623 * r570614;
        double r570698 = -r570628;
        double r570699 = r570637 * r570614;
        double r570700 = r570616 + r570699;
        double r570701 = r570698 * r570700;
        double r570702 = r570701 * r570665;
        double r570703 = r570699 * r570673;
        double r570704 = r570702 + r570703;
        double r570705 = r570697 * r570704;
        double r570706 = r570696 + r570705;
        double r570707 = r570614 * r570706;
        double r570708 = r570690 + r570707;
        double r570709 = r570681 * r570708;
        double r570710 = r570679 + r570709;
        double r570711 = x2;
        double r570712 = r570646 * r570711;
        double r570713 = r570622 * r570614;
        double r570714 = r570656 - r570713;
        double r570715 = r570657 * r570624;
        double r570716 = r570714 + r570715;
        double r570717 = 44.0;
        double r570718 = r570717 * r570629;
        double r570719 = r570716 - r570718;
        double r570720 = r570617 * r570634;
        double r570721 = r570719 + r570720;
        double r570722 = r570721 * r570644;
        double r570723 = 40.0;
        double r570724 = 105.0;
        double r570725 = r570724 * r570614;
        double r570726 = r570723 - r570725;
        double r570727 = 96.0;
        double r570728 = r570727 * r570624;
        double r570729 = r570726 + r570728;
        double r570730 = r570729 - r570663;
        double r570731 = r570730 * r570654;
        double r570732 = 15.0;
        double r570733 = pow(r570651, r570623);
        double r570734 = r570732 * r570733;
        double r570735 = r570734 * r570665;
        double r570736 = r570633 - r570699;
        double r570737 = r570736 * r570614;
        double r570738 = r570737 * r570673;
        double r570739 = r570735 + r570738;
        double r570740 = r570697 * r570739;
        double r570741 = r570731 + r570740;
        double r570742 = r570614 * r570741;
        double r570743 = r570722 + r570742;
        double r570744 = r570712 * r570743;
        double r570745 = r570710 + r570744;
        double r570746 = x0;
        double r570747 = r570732 * r570614;
        double r570748 = r570616 + r570747;
        double r570749 = r570656 * r570624;
        double r570750 = r570748 - r570749;
        double r570751 = r570732 * r570629;
        double r570752 = r570750 + r570751;
        double r570753 = r570615 * r570634;
        double r570754 = r570752 - r570753;
        double r570755 = r570754 + r570638;
        double r570756 = r570617 * r570755;
        double r570757 = r570756 * r570644;
        double r570758 = r570723 * r570614;
        double r570759 = r570732 - r570758;
        double r570760 = r570682 * r570624;
        double r570761 = r570759 + r570760;
        double r570762 = 24.0;
        double r570763 = r570762 * r570629;
        double r570764 = r570761 - r570763;
        double r570765 = r570637 * r570634;
        double r570766 = r570764 + r570765;
        double r570767 = r570615 * r570766;
        double r570768 = r570767 * r570654;
        double r570769 = -r570656;
        double r570770 = r570769 + r570683;
        double r570771 = r570770 - r570686;
        double r570772 = r570771 + r570688;
        double r570773 = r570698 * r570772;
        double r570774 = r570773 * r570665;
        double r570775 = r570762 * r570614;
        double r570776 = r570732 - r570775;
        double r570777 = r570776 + r570670;
        double r570778 = r570614 * r570777;
        double r570779 = r570778 * r570673;
        double r570780 = r570774 + r570779;
        double r570781 = r570614 * r570780;
        double r570782 = r570768 + r570781;
        double r570783 = r570614 * r570782;
        double r570784 = r570757 - r570783;
        double r570785 = r570746 * r570784;
        double r570786 = r570745 + r570785;
        double r570787 = r570614 * r570786;
        double r570788 = r570787 / r570656;
        return r570788;
}

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 binary64
  (/ (* 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))