\(\int \frac {e^{-x+\frac {e^{-x} (45 x^3+e^x (15-10 x-x^3))}{-15+x^3}} (-2025 x^2+675 x^3-45 x^6+e^x (150+20 x^3))}{225-30 x^3+x^6} \, dx\) [3910]

   Optimal result
   Rubi [F]
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [F]
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 79, antiderivative size = 29 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=e^{-1+\frac {x \left (-2+9 e^{-x} x^2\right )}{-3+\frac {x^3}{5}}} \]

[Out]

exp((9*x^2/exp(x)-2)*x/(1/5*x^3-3)-1)

Rubi [F]

\[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=\int \frac {\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx \]

[In]

Int[(E^(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))*(-2025*x^2 + 675*x^3 - 45*x^6 + E^x*(150 + 20
*x^3)))/(225 - 30*x^3 + x^6),x]

[Out]

-45*Defer[Int][E^(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3))), x] + (2*5^(2/3)*Defer[Int][E^((45*
x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) - x)^2, x])/(3*3^(1/3)) - (4*5^(1/3)*Defer[Int][E^((
45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) - x), x])/(3*3^(2/3)) + 15*15^(1/3)*Defer[Int][E^
(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) - x), x] + (2*5^(2/3)*Defer[Int][E^((45*x^
3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) + (-1)^(1/3)*x)^2, x])/(3*3^(1/3)) - (4*5^(1/3)*Defer[
Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) + (-1)^(1/3)*x), x])/(3*3^(2/3)) + 15*15
^(1/3)*Defer[Int][E^(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) + (-1)^(1/3)*x), x] -
(4*5^(1/3)*Defer[Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) - (-1)^(2/3)*x), x])/(3
*3^(2/3)) + 15*15^(1/3)*Defer[Int][E^(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3) - (-1
)^(2/3)*x), x] - (20*Defer[Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(-15 + 15^(2/3)*x), x])
/3 + (2*15^(2/3)*Defer[Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))/(15^(1/3)*(1 - (-1)^(1/3))
- (1 + (-1)^(2/3))*x)^2, x])/(1 + (-1)^(1/3))^4 + (40*Defer[Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15
 + x^3)))/(30 + 15^(2/3)*(1 - I*Sqrt[3])*x), x])/3 + (40*Defer[Int][E^((45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(
-15 + x^3)))/(30 + 15^(2/3)*(1 + I*Sqrt[3])*x), x])/3 - 2025*Defer[Int][(E^(-x + (45*x^3 + E^x*(15 - 10*x - x^
3))/(E^x*(-15 + x^3)))*x^2)/(-15 + x^3)^2, x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{\left (-15+x^3\right )^2} \, dx \\ & = \int \left (\frac {10 \exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) \left (15+2 x^3\right )}{\left (-15+x^3\right )^2}-\frac {45 \exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) x^2 \left (45-15 x+x^4\right )}{\left (-15+x^3\right )^2}\right ) \, dx \\ & = 10 \int \frac {\exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) \left (15+2 x^3\right )}{\left (-15+x^3\right )^2} \, dx-45 \int \frac {\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) x^2 \left (45-15 x+x^4\right )}{\left (-15+x^3\right )^2} \, dx \\ & = 10 \int \left (\frac {45 \exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{\left (-15+x^3\right )^2}+\frac {2 \exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{-15+x^3}\right ) \, dx-45 \int \left (\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )+\frac {45 \exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) x^2}{\left (-15+x^3\right )^2}+\frac {15 \exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{-15+x^3}\right ) \, dx \\ & = 20 \int \frac {\exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{-15+x^3} \, dx-45 \int \exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) \, dx+450 \int \frac {\exp \left (\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{\left (-15+x^3\right )^2} \, dx-675 \int \frac {\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right )}{-15+x^3} \, dx-2025 \int \frac {\exp \left (-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}\right ) x^2}{\left (-15+x^3\right )^2} \, dx \\ & = 20 \int \left (-\frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}-x\right )}-\frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )}-\frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}-(-1)^{2/3} x\right )}\right ) \, dx-45 \int e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \, dx+450 \int \left (\frac {(-1)^{2/3} e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{15 \sqrt [3]{15} \left (1+\sqrt [3]{-1}\right )^4 \left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )^2}-\frac {2 e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{135 \left (-15+15^{2/3} x\right )}+\frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{15 \sqrt [3]{15} \left (1+\sqrt [3]{-1}\right )^4 \left (\sqrt [3]{15} \left (1-\sqrt [3]{-1}\right )-\left (1+(-1)^{2/3}\right ) x\right )^2}+\frac {4 e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{135 \left (30+15^{2/3} \left (1-i \sqrt {3}\right ) x\right )}+\frac {4 e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{135 \left (30+15^{2/3} \left (1+i \sqrt {3}\right ) x\right )}-\frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{135 \left (-15+2\ 15^{2/3} x-\sqrt [3]{15} x^2\right )}\right ) \, dx-675 \int \left (-\frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}-x\right )}-\frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )}-\frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{3\ 15^{2/3} \left (\sqrt [3]{15}-(-1)^{2/3} x\right )}\right ) \, dx-2025 \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} x^2}{\left (-15+x^3\right )^2} \, dx \\ & = -\left (\frac {10}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{-15+2\ 15^{2/3} x-\sqrt [3]{15} x^2} \, dx\right )-\frac {20}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{-15+15^{2/3} x} \, dx+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1-i \sqrt {3}\right ) x} \, dx+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1+i \sqrt {3}\right ) x} \, dx-45 \int e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \, dx-2025 \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} x^2}{\left (-15+x^3\right )^2} \, dx-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx}{3\ 3^{2/3}}+\frac {\left (2\ 5^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )^2} \, dx}{3 \sqrt [3]{3}}+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx+\frac {\left (2\ 15^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15} \left (1-\sqrt [3]{-1}\right )-\left (1+(-1)^{2/3}\right ) x\right )^2} \, dx}{\left (1+\sqrt [3]{-1}\right )^4} \\ & = \frac {10}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15} \left (\sqrt [3]{15}-x\right )^2} \, dx-\frac {20}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{-15+15^{2/3} x} \, dx+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1-i \sqrt {3}\right ) x} \, dx+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1+i \sqrt {3}\right ) x} \, dx-45 \int e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \, dx-2025 \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} x^2}{\left (-15+x^3\right )^2} \, dx-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx}{3\ 3^{2/3}}+\frac {\left (2\ 5^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )^2} \, dx}{3 \sqrt [3]{3}}+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx+\frac {\left (2\ 15^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15} \left (1-\sqrt [3]{-1}\right )-\left (1+(-1)^{2/3}\right ) x\right )^2} \, dx}{\left (1+\sqrt [3]{-1}\right )^4} \\ & = -\left (\frac {20}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{-15+15^{2/3} x} \, dx\right )+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1-i \sqrt {3}\right ) x} \, dx+\frac {40}{3} \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{30+15^{2/3} \left (1+i \sqrt {3}\right ) x} \, dx-45 \int e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \, dx-2025 \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} x^2}{\left (-15+x^3\right )^2} \, dx-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx}{3\ 3^{2/3}}-\frac {\left (4 \sqrt [3]{5}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx}{3\ 3^{2/3}}+\frac {\left (2\ 5^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15}-x\right )^2} \, dx}{3 \sqrt [3]{3}}+\frac {\left (2\ 5^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15}+\sqrt [3]{-1} x\right )^2} \, dx}{3 \sqrt [3]{3}}+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}+\sqrt [3]{-1} x} \, dx+\left (15 \sqrt [3]{15}\right ) \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\sqrt [3]{15}-(-1)^{2/3} x} \, dx+\frac {\left (2\ 15^{2/3}\right ) \int \frac {e^{\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}}}{\left (\sqrt [3]{15} \left (1-\sqrt [3]{-1}\right )-\left (1+(-1)^{2/3}\right ) x\right )^2} \, dx}{\left (1+\sqrt [3]{-1}\right )^4} \\ \end{align*}

Mathematica [A] (verified)

Time = 5.19 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.07 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=e^{-1-\frac {10 x}{-15+x^3}+\frac {45 e^{-x} x^3}{-15+x^3}} \]

[In]

Integrate[(E^(-x + (45*x^3 + E^x*(15 - 10*x - x^3))/(E^x*(-15 + x^3)))*(-2025*x^2 + 675*x^3 - 45*x^6 + E^x*(15
0 + 20*x^3)))/(225 - 30*x^3 + x^6),x]

[Out]

E^(-1 - (10*x)/(-15 + x^3) + (45*x^3)/(E^x*(-15 + x^3)))

Maple [A] (verified)

Time = 3.28 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.14

method result size
parallelrisch \({\mathrm e}^{\frac {\left (\left (-x^{3}-10 x +15\right ) {\mathrm e}^{x}+45 x^{3}\right ) {\mathrm e}^{-x}}{x^{3}-15}}\) \(33\)
risch \({\mathrm e}^{-\frac {\left ({\mathrm e}^{x} x^{3}-45 x^{3}+10 \,{\mathrm e}^{x} x -15 \,{\mathrm e}^{x}\right ) {\mathrm e}^{-x}}{x^{3}-15}}\) \(36\)
norman \(\frac {\left ({\mathrm e}^{x} x^{3} {\mathrm e}^{\frac {\left (\left (-x^{3}-10 x +15\right ) {\mathrm e}^{x}+45 x^{3}\right ) {\mathrm e}^{-x}}{x^{3}-15}}-15 \,{\mathrm e}^{x} {\mathrm e}^{\frac {\left (\left (-x^{3}-10 x +15\right ) {\mathrm e}^{x}+45 x^{3}\right ) {\mathrm e}^{-x}}{x^{3}-15}}\right ) {\mathrm e}^{-x}}{x^{3}-15}\) \(88\)

[In]

int(((20*x^3+150)*exp(x)-45*x^6+675*x^3-2025*x^2)*exp(((-x^3-10*x+15)*exp(x)+45*x^3)/(x^3-15)/exp(x))/(x^6-30*
x^3+225)/exp(x),x,method=_RETURNVERBOSE)

[Out]

exp(((-x^3-10*x+15)*exp(x)+45*x^3)/(x^3-15)/exp(x))

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.24 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=e^{\left (x + \frac {{\left (45 \, x^{3} - {\left (x^{4} + x^{3} - 5 \, x - 15\right )} e^{x}\right )} e^{\left (-x\right )}}{x^{3} - 15}\right )} \]

[In]

integrate(((20*x^3+150)*exp(x)-45*x^6+675*x^3-2025*x^2)*exp(((-x^3-10*x+15)*exp(x)+45*x^3)/(x^3-15)/exp(x))/(x
^6-30*x^3+225)/exp(x),x, algorithm="fricas")

[Out]

e^(x + (45*x^3 - (x^4 + x^3 - 5*x - 15)*e^x)*e^(-x)/(x^3 - 15))

Sympy [A] (verification not implemented)

Time = 0.23 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.90 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=e^{\frac {\left (45 x^{3} + \left (- x^{3} - 10 x + 15\right ) e^{x}\right ) e^{- x}}{x^{3} - 15}} \]

[In]

integrate(((20*x**3+150)*exp(x)-45*x**6+675*x**3-2025*x**2)*exp(((-x**3-10*x+15)*exp(x)+45*x**3)/(x**3-15)/exp
(x))/(x**6-30*x**3+225)/exp(x),x)

[Out]

exp((45*x**3 + (-x**3 - 10*x + 15)*exp(x))*exp(-x)/(x**3 - 15))

Maxima [A] (verification not implemented)

none

Time = 0.44 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.10 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=e^{\left (-\frac {10 \, x}{x^{3} - 15} + \frac {675 \, e^{\left (-x\right )}}{x^{3} - 15} + 45 \, e^{\left (-x\right )} - 1\right )} \]

[In]

integrate(((20*x^3+150)*exp(x)-45*x^6+675*x^3-2025*x^2)*exp(((-x^3-10*x+15)*exp(x)+45*x^3)/(x^3-15)/exp(x))/(x
^6-30*x^3+225)/exp(x),x, algorithm="maxima")

[Out]

e^(-10*x/(x^3 - 15) + 675*e^(-x)/(x^3 - 15) + 45*e^(-x) - 1)

Giac [F]

\[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx=\int { -\frac {5 \, {\left (9 \, x^{6} - 135 \, x^{3} + 405 \, x^{2} - 2 \, {\left (2 \, x^{3} + 15\right )} e^{x}\right )} e^{\left (-x + \frac {{\left (45 \, x^{3} - {\left (x^{3} + 10 \, x - 15\right )} e^{x}\right )} e^{\left (-x\right )}}{x^{3} - 15}\right )}}{x^{6} - 30 \, x^{3} + 225} \,d x } \]

[In]

integrate(((20*x^3+150)*exp(x)-45*x^6+675*x^3-2025*x^2)*exp(((-x^3-10*x+15)*exp(x)+45*x^3)/(x^3-15)/exp(x))/(x
^6-30*x^3+225)/exp(x),x, algorithm="giac")

[Out]

integrate(-5*(9*x^6 - 135*x^3 + 405*x^2 - 2*(2*x^3 + 15)*e^x)*e^(-x + (45*x^3 - (x^3 + 10*x - 15)*e^x)*e^(-x)/
(x^3 - 15))/(x^6 - 30*x^3 + 225), x)

Mupad [B] (verification not implemented)

Time = 9.74 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.79 \[ \int \frac {e^{-x+\frac {e^{-x} \left (45 x^3+e^x \left (15-10 x-x^3\right )\right )}{-15+x^3}} \left (-2025 x^2+675 x^3-45 x^6+e^x \left (150+20 x^3\right )\right )}{225-30 x^3+x^6} \, dx={\mathrm {e}}^{-\frac {x^3}{x^3-15}}\,{\mathrm {e}}^{\frac {15}{x^3-15}}\,{\mathrm {e}}^{\frac {45\,x^3\,{\mathrm {e}}^{-x}}{x^3-15}}\,{\mathrm {e}}^{-\frac {10\,x}{x^3-15}} \]

[In]

int((exp(-x)*exp(-(exp(-x)*(exp(x)*(10*x + x^3 - 15) - 45*x^3))/(x^3 - 15))*(exp(x)*(20*x^3 + 150) - 2025*x^2
+ 675*x^3 - 45*x^6))/(x^6 - 30*x^3 + 225),x)

[Out]

exp(-x^3/(x^3 - 15))*exp(15/(x^3 - 15))*exp((45*x^3*exp(-x))/(x^3 - 15))*exp(-(10*x)/(x^3 - 15))