4.2 Problem number 1075

\[ \int (1-x)^{9/2} (1+x)^{3/2} \, dx \]

Optimal antiderivative \[ \frac {3 \left (1-x \right )^{\frac {3}{2}} x \left (1+x \right )^{\frac {3}{2}}}{8}+\frac {3 \left (1-x \right )^{\frac {5}{2}} \left (1+x \right )^{\frac {5}{2}}}{10}+\frac {3 \left (1-x \right )^{\frac {7}{2}} \left (1+x \right )^{\frac {5}{2}}}{14}+\frac {\left (1-x \right )^{\frac {9}{2}} \left (1+x \right )^{\frac {5}{2}}}{7}+\frac {9 \arcsin \! \left (x \right )}{16}+\frac {9 x \sqrt {1-x}\, \sqrt {1+x}}{16} \]

command

integrate((1-x)**(9/2)*(1+x)**(3/2),x)

Sympy 1.10.1 under Python 3.10.4 output

\[ \text {Timed out} \]

Sympy 1.8 under Python 3.8.8 output

\[ \begin {cases} - \frac {9 i \operatorname {acosh}{\left (\frac {\sqrt {2} \sqrt {x + 1}}{2} \right )}}{8} + \frac {i \left (x + 1\right )^{\frac {15}{2}}}{7 \sqrt {x - 1}} - \frac {23 i \left (x + 1\right )^{\frac {13}{2}}}{14 \sqrt {x - 1}} + \frac {541 i \left (x + 1\right )^{\frac {11}{2}}}{70 \sqrt {x - 1}} - \frac {5249 i \left (x + 1\right )^{\frac {9}{2}}}{280 \sqrt {x - 1}} + \frac {6653 i \left (x + 1\right )^{\frac {7}{2}}}{280 \sqrt {x - 1}} - \frac {1027 i \left (x + 1\right )^{\frac {5}{2}}}{80 \sqrt {x - 1}} - \frac {3 i \left (x + 1\right )^{\frac {3}{2}}}{16 \sqrt {x - 1}} + \frac {9 i \sqrt {x + 1}}{8 \sqrt {x - 1}} & \text {for}\: \frac {\left |{x + 1}\right |}{2} > 1 \\\frac {9 \operatorname {asin}{\left (\frac {\sqrt {2} \sqrt {x + 1}}{2} \right )}}{8} - \frac {\left (x + 1\right )^{\frac {15}{2}}}{7 \sqrt {1 - x}} + \frac {23 \left (x + 1\right )^{\frac {13}{2}}}{14 \sqrt {1 - x}} - \frac {541 \left (x + 1\right )^{\frac {11}{2}}}{70 \sqrt {1 - x}} + \frac {5249 \left (x + 1\right )^{\frac {9}{2}}}{280 \sqrt {1 - x}} - \frac {6653 \left (x + 1\right )^{\frac {7}{2}}}{280 \sqrt {1 - x}} + \frac {1027 \left (x + 1\right )^{\frac {5}{2}}}{80 \sqrt {1 - x}} + \frac {3 \left (x + 1\right )^{\frac {3}{2}}}{16 \sqrt {1 - x}} - \frac {9 \sqrt {x + 1}}{8 \sqrt {1 - x}} & \text {otherwise} \end {cases} \]