Optimal. Leaf size=45 \[ 5^{\frac {e^{-x}}{2-\frac {9}{100 x^2}+2 x}} x^{\frac {e^{-x}}{2-\frac {9}{100 x^2}+2 x}} \]
________________________________________________________________________________________
Rubi [F] time = 25.20, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {5^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} \left (-900 x+20000 x^3+20000 x^4+\left (-1800 x+900 x^2-40000 x^4-20000 x^5\right ) \log (5 x)\right )}{81-3600 x^2-3600 x^3+40000 x^4+80000 x^5+40000 x^6} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {5^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} \left (-900 x+20000 x^3+20000 x^4+\left (-1800 x+900 x^2-40000 x^4-20000 x^5\right ) \log (5 x)\right )}{\left (9-200 x^2-200 x^3\right )^2} \, dx\\ &=\int \left (\frac {4\ 5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3}-\frac {4\ 5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} \left (18-9 x+400 x^3+200 x^4\right ) \log (5 x)}{\left (-9+200 x^2+200 x^3\right )^2}\right ) \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} \left (18-9 x+400 x^3+200 x^4\right ) \log (5 x)}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx+\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \left (\frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx+\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x}+\frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x}\right ) \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx+\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \left (\frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x}+\frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x}\right ) \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \left (\frac {27 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x}-\frac {8 \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x}\right ) \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ &=4 \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx+4 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx}{x} \, dx-32 \int \frac {\int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x} \, dx+108 \int \frac {\int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx}{x} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx-(4 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{-9+200 x^2+200 x^3} \, dx+(32 \log (5 x)) \int \frac {5^{4+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{3+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx-(108 \log (5 x)) \int \frac {5^{2+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{1+\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}}}{\left (-9+200 x^2+200 x^3\right )^2} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [F] time = 0.91, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {5^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} e^{-x} x^{\frac {100 e^{-x} x^2}{-9+200 x^2+200 x^3}} \left (-900 x+20000 x^3+20000 x^4+\left (-1800 x+900 x^2-40000 x^4-20000 x^5\right ) \log (5 x)\right )}{81-3600 x^2-3600 x^3+40000 x^4+80000 x^5+40000 x^6} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.77, size = 27, normalized size = 0.60 \begin {gather*} \left (5 \, x\right )^{\frac {100 \, x^{2} e^{\left (-x\right )}}{200 \, x^{3} + 200 \, x^{2} - 9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 5.19, size = 27, normalized size = 0.60 \begin {gather*} \left (5 \, x\right )^{\frac {100 \, x^{2} e^{\left (-x\right )}}{200 \, x^{3} + 200 \, x^{2} - 9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 28, normalized size = 0.62
method | result | size |
risch | \(\left (5 x \right )^{\frac {100 x^{2} {\mathrm e}^{-x}}{200 x^{3}+200 x^{2}-9}}\) | \(28\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.60, size = 52, normalized size = 1.16 \begin {gather*} e^{\left (\frac {100 \, x^{2} e^{\left (-x\right )} \log \relax (5)}{200 \, x^{3} + 200 \, x^{2} - 9} + \frac {100 \, x^{2} e^{\left (-x\right )} \log \relax (x)}{200 \, x^{3} + 200 \, x^{2} - 9}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.72, size = 51, normalized size = 1.13 \begin {gather*} 5^{\frac {100\,x^2\,{\mathrm {e}}^{-x}}{200\,x^3+200\,x^2-9}}\,x^{\frac {100\,x^2\,{\mathrm {e}}^{-x}}{200\,x^3+200\,x^2-9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.99, size = 26, normalized size = 0.58 \begin {gather*} e^{\frac {100 x^{2} e^{- x} \log {\left (5 x \right )}}{200 x^{3} + 200 x^{2} - 9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________