3.78.78 \(\int \frac {48 x^3+3 x^5+(-144 x^2-9 x^4) \log (x)+(144 x+9 x^3) \log ^2(x)+(-48-3 x^2) \log ^3(x)+e^{\frac {2 (3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x))}{x^2-2 x \log (x)+\log ^2(x)}} (12 x^2+x^3+12 x^5+(-15 x^2-36 x^4) \log (x)+(3 x+36 x^3) \log ^2(x)+(-1-12 x^2) \log ^3(x))+e^{\frac {3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)}{x^2-2 x \log (x)+\log ^2(x)}} (12 x^3+4 x^4+12 x^6+(-24 x^3-36 x^5) \log (x)+(12 x^2+36 x^4) \log ^2(x)+(-4 x-12 x^3) \log ^3(x))}{-16 x^3+48 x^2 \log (x)-48 x \log ^2(x)+16 \log ^3(x)} \, dx\)

Optimal. Leaf size=32 \[ x-x \left (4+\frac {1}{16} \left (e^{3 x \left (x+\frac {x}{(x-\log (x))^2}\right )}+x\right )^2\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 51.64, 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 {48 x^3+3 x^5+\left (-144 x^2-9 x^4\right ) \log (x)+\left (144 x+9 x^3\right ) \log ^2(x)+\left (-48-3 x^2\right ) \log ^3(x)+\exp \left (\frac {2 \left (3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)\right )}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^2+x^3+12 x^5+\left (-15 x^2-36 x^4\right ) \log (x)+\left (3 x+36 x^3\right ) \log ^2(x)+\left (-1-12 x^2\right ) \log ^3(x)\right )+\exp \left (\frac {3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^3+4 x^4+12 x^6+\left (-24 x^3-36 x^5\right ) \log (x)+\left (12 x^2+36 x^4\right ) \log ^2(x)+\left (-4 x-12 x^3\right ) \log ^3(x)\right )}{-16 x^3+48 x^2 \log (x)-48 x \log ^2(x)+16 \log ^3(x)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(48*x^3 + 3*x^5 + (-144*x^2 - 9*x^4)*Log[x] + (144*x + 9*x^3)*Log[x]^2 + (-48 - 3*x^2)*Log[x]^3 + E^((2*(3
*x^2 + 3*x^4 - 6*x^3*Log[x] + 3*x^2*Log[x]^2))/(x^2 - 2*x*Log[x] + Log[x]^2))*(12*x^2 + x^3 + 12*x^5 + (-15*x^
2 - 36*x^4)*Log[x] + (3*x + 36*x^3)*Log[x]^2 + (-1 - 12*x^2)*Log[x]^3) + E^((3*x^2 + 3*x^4 - 6*x^3*Log[x] + 3*
x^2*Log[x]^2)/(x^2 - 2*x*Log[x] + Log[x]^2))*(12*x^3 + 4*x^4 + 12*x^6 + (-24*x^3 - 36*x^5)*Log[x] + (12*x^2 +
36*x^4)*Log[x]^2 + (-4*x - 12*x^3)*Log[x]^3))/(-16*x^3 + 48*x^2*Log[x] - 48*x*Log[x]^2 + 16*Log[x]^3),x]

[Out]

-3*x - x^3/16 - (3*Defer[Int][E^((6*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(2 - (12*x^3)/(x - Log[x])^2),
x])/4 - Defer[Int][E^((3*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(1 - (6*x^3)/(x - Log[x])^2), x]/4 - (3*
Defer[Int][E^((3*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(3 - (6*x^3)/(x - Log[x])^2), x])/4 - Defer[Int][
E^((6*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)/x^((12*x^3)/(x - Log[x])^2), x]/16 - (3*Defer[Int][(E^((6*x^2*
(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(2 - (12*x^3)/(x - Log[x])^2))/(x - Log[x])^3, x])/4 + (3*Defer[Int][(
E^((6*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(3 - (12*x^3)/(x - Log[x])^2))/(x - Log[x])^3, x])/4 - (3*De
fer[Int][(E^((3*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(3 - (6*x^3)/(x - Log[x])^2))/(x - Log[x])^3, x])/
4 + (3*Defer[Int][(E^((3*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(4 - (6*x^3)/(x - Log[x])^2))/(x - Log[x]
)^3, x])/4 - (3*Defer[Int][(E^((6*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(2 - (12*x^3)/(x - Log[x])^2))/(
x - Log[x])^2, x])/4 - (3*Defer[Int][(E^((3*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)*x^(3 - (6*x^3)/(x - Log[
x])^2))/(x - Log[x])^2, x])/4

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-48 x^3-3 x^5-\left (-144 x^2-9 x^4\right ) \log (x)-\left (144 x+9 x^3\right ) \log ^2(x)-\left (-48-3 x^2\right ) \log ^3(x)-\exp \left (\frac {2 \left (3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)\right )}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^2+x^3+12 x^5+\left (-15 x^2-36 x^4\right ) \log (x)+\left (3 x+36 x^3\right ) \log ^2(x)+\left (-1-12 x^2\right ) \log ^3(x)\right )-\exp \left (\frac {3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^3+4 x^4+12 x^6+\left (-24 x^3-36 x^5\right ) \log (x)+\left (12 x^2+36 x^4\right ) \log ^2(x)+\left (-4 x-12 x^3\right ) \log ^3(x)\right )}{16 (x-\log (x))^3} \, dx\\ &=\frac {1}{16} \int \frac {-48 x^3-3 x^5-\left (-144 x^2-9 x^4\right ) \log (x)-\left (144 x+9 x^3\right ) \log ^2(x)-\left (-48-3 x^2\right ) \log ^3(x)-\exp \left (\frac {2 \left (3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)\right )}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^2+x^3+12 x^5+\left (-15 x^2-36 x^4\right ) \log (x)+\left (3 x+36 x^3\right ) \log ^2(x)+\left (-1-12 x^2\right ) \log ^3(x)\right )-\exp \left (\frac {3 x^2+3 x^4-6 x^3 \log (x)+3 x^2 \log ^2(x)}{x^2-2 x \log (x)+\log ^2(x)}\right ) \left (12 x^3+4 x^4+12 x^6+\left (-24 x^3-36 x^5\right ) \log (x)+\left (12 x^2+36 x^4\right ) \log ^2(x)+\left (-4 x-12 x^3\right ) \log ^3(x)\right )}{(x-\log (x))^3} \, dx\\ &=\frac {1}{16} \int \left (-\frac {48 x^3}{(x-\log (x))^3}-\frac {3 x^5}{(x-\log (x))^3}+\frac {9 x^2 \left (16+x^2\right ) \log (x)}{(x-\log (x))^3}-\frac {9 x \left (16+x^2\right ) \log ^2(x)}{(x-\log (x))^3}+\frac {3 \left (16+x^2\right ) \log ^3(x)}{(x-\log (x))^3}-\frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}} \left (12 x^2+x^3+12 x^5-15 x^2 \log (x)-36 x^4 \log (x)+3 x \log ^2(x)+36 x^3 \log ^2(x)-\log ^3(x)-12 x^2 \log ^3(x)\right )}{(x-\log (x))^3}-\frac {4 e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}} \left (3 x^2+x^3+3 x^5-6 x^2 \log (x)-9 x^4 \log (x)+3 x \log ^2(x)+9 x^3 \log ^2(x)-\log ^3(x)-3 x^2 \log ^3(x)\right )}{(x-\log (x))^3}\right ) \, dx\\ &=-\left (\frac {1}{16} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}} \left (12 x^2+x^3+12 x^5-15 x^2 \log (x)-36 x^4 \log (x)+3 x \log ^2(x)+36 x^3 \log ^2(x)-\log ^3(x)-12 x^2 \log ^3(x)\right )}{(x-\log (x))^3} \, dx\right )-\frac {3}{16} \int \frac {x^5}{(x-\log (x))^3} \, dx+\frac {3}{16} \int \frac {\left (16+x^2\right ) \log ^3(x)}{(x-\log (x))^3} \, dx-\frac {1}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}} \left (3 x^2+x^3+3 x^5-6 x^2 \log (x)-9 x^4 \log (x)+3 x \log ^2(x)+9 x^3 \log ^2(x)-\log ^3(x)-3 x^2 \log ^3(x)\right )}{(x-\log (x))^3} \, dx+\frac {9}{16} \int \frac {x^2 \left (16+x^2\right ) \log (x)}{(x-\log (x))^3} \, dx-\frac {9}{16} \int \frac {x \left (16+x^2\right ) \log ^2(x)}{(x-\log (x))^3} \, dx-3 \int \frac {x^3}{(x-\log (x))^3} \, dx\\ &=-\left (\frac {1}{16} \int \left (12 e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}+e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}}-\frac {12 e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} (-1+x) x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}+\frac {12 e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2}\right ) \, dx\right )+\frac {3}{16} \int \left (-16-x^2+\frac {x^3 \left (16+x^2\right )}{(x-\log (x))^3}-\frac {3 x^2 \left (16+x^2\right )}{(x-\log (x))^2}+\frac {3 x \left (16+x^2\right )}{x-\log (x)}\right ) \, dx-\frac {3}{16} \int \frac {x^5}{(x-\log (x))^3} \, dx-\frac {1}{4} \int \left (e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}}+3 e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}-\frac {3 e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} (-1+x) x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}+\frac {3 e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2}\right ) \, dx+\frac {9}{16} \int \left (\frac {x^3 \left (16+x^2\right )}{(x-\log (x))^3}-\frac {x^2 \left (16+x^2\right )}{(x-\log (x))^2}\right ) \, dx-\frac {9}{16} \int \left (\frac {x^3 \left (16+x^2\right )}{(x-\log (x))^3}-\frac {2 x^2 \left (16+x^2\right )}{(x-\log (x))^2}+\frac {x \left (16+x^2\right )}{x-\log (x)}\right ) \, dx-3 \int \frac {x^3}{(x-\log (x))^3} \, dx\\ &=-3 x-\frac {x^3}{16}-\frac {1}{16} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{16} \int \frac {x^5}{(x-\log (x))^3} \, dx+\frac {3}{16} \int \frac {x^3 \left (16+x^2\right )}{(x-\log (x))^3} \, dx-\frac {1}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}} \, dx-2 \left (\frac {9}{16} \int \frac {x^2 \left (16+x^2\right )}{(x-\log (x))^2} \, dx\right )-\frac {3}{4} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}} \, dx+\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} (-1+x) x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx+\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} (-1+x) x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx-\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx-\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx+\frac {9}{8} \int \frac {x^2 \left (16+x^2\right )}{(x-\log (x))^2} \, dx-3 \int \frac {x^3}{(x-\log (x))^3} \, dx\\ &=-3 x-\frac {x^3}{16}-\frac {1}{16} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}} \, dx+\frac {3}{16} \int \left (\frac {16 x^3}{(x-\log (x))^3}+\frac {x^5}{(x-\log (x))^3}\right ) \, dx-\frac {3}{16} \int \frac {x^5}{(x-\log (x))^3} \, dx-\frac {1}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}} \, dx-2 \left (\frac {9}{16} \int \left (\frac {16 x^2}{(x-\log (x))^2}+\frac {x^4}{(x-\log (x))^2}\right ) \, dx\right )-\frac {3}{4} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}} \, dx+\frac {3}{4} \int \left (-\frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}+\frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}\right ) \, dx+\frac {3}{4} \int \left (-\frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}+\frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{4-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3}\right ) \, dx-\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx-\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx+\frac {9}{8} \int \left (\frac {16 x^2}{(x-\log (x))^2}+\frac {x^4}{(x-\log (x))^2}\right ) \, dx-3 \int \frac {x^3}{(x-\log (x))^3} \, dx\\ &=-3 x-\frac {x^3}{16}-\frac {1}{16} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}} \, dx-\frac {1}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{1-\frac {6 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{4} \int e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{4} \int e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}} \, dx-\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx+\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx-\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx+\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{4-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^3} \, dx-\frac {3}{4} \int \frac {e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{2-\frac {12 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx-\frac {3}{4} \int \frac {e^{\frac {3 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{3-\frac {6 x^3}{(x-\log (x))^2}}}{(x-\log (x))^2} \, dx+\frac {9}{8} \int \frac {x^4}{(x-\log (x))^2} \, dx-2 \left (\frac {9}{16} \int \frac {x^4}{(x-\log (x))^2} \, dx+9 \int \frac {x^2}{(x-\log (x))^2} \, dx\right )+18 \int \frac {x^2}{(x-\log (x))^2} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B]  time = 0.52, size = 70, normalized size = 2.19 \begin {gather*} -\frac {1}{16} x \left (48+2 e^{3 x^2 \left (1+\frac {1}{(x-\log (x))^2}\right )} x+x^2+e^{\frac {6 x^2 \left (1+x^2+\log ^2(x)\right )}{(x-\log (x))^2}} x^{-\frac {12 x^3}{(x-\log (x))^2}}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(48*x^3 + 3*x^5 + (-144*x^2 - 9*x^4)*Log[x] + (144*x + 9*x^3)*Log[x]^2 + (-48 - 3*x^2)*Log[x]^3 + E^
((2*(3*x^2 + 3*x^4 - 6*x^3*Log[x] + 3*x^2*Log[x]^2))/(x^2 - 2*x*Log[x] + Log[x]^2))*(12*x^2 + x^3 + 12*x^5 + (
-15*x^2 - 36*x^4)*Log[x] + (3*x + 36*x^3)*Log[x]^2 + (-1 - 12*x^2)*Log[x]^3) + E^((3*x^2 + 3*x^4 - 6*x^3*Log[x
] + 3*x^2*Log[x]^2)/(x^2 - 2*x*Log[x] + Log[x]^2))*(12*x^3 + 4*x^4 + 12*x^6 + (-24*x^3 - 36*x^5)*Log[x] + (12*
x^2 + 36*x^4)*Log[x]^2 + (-4*x - 12*x^3)*Log[x]^3))/(-16*x^3 + 48*x^2*Log[x] - 48*x*Log[x]^2 + 16*Log[x]^3),x]

[Out]

-1/16*(x*(48 + 2*E^(3*x^2*(1 + (x - Log[x])^(-2)))*x + x^2 + E^((6*x^2*(1 + x^2 + Log[x]^2))/(x - Log[x])^2)/x
^((12*x^3)/(x - Log[x])^2)))

________________________________________________________________________________________

fricas [B]  time = 1.09, size = 97, normalized size = 3.03 \begin {gather*} -\frac {1}{16} \, x^{3} - \frac {1}{8} \, x^{2} e^{\left (\frac {3 \, {\left (x^{4} - 2 \, x^{3} \log \relax (x) + x^{2} \log \relax (x)^{2} + x^{2}\right )}}{x^{2} - 2 \, x \log \relax (x) + \log \relax (x)^{2}}\right )} - \frac {1}{16} \, x e^{\left (\frac {6 \, {\left (x^{4} - 2 \, x^{3} \log \relax (x) + x^{2} \log \relax (x)^{2} + x^{2}\right )}}{x^{2} - 2 \, x \log \relax (x) + \log \relax (x)^{2}}\right )} - 3 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-12*x^2-1)*log(x)^3+(36*x^3+3*x)*log(x)^2+(-36*x^4-15*x^2)*log(x)+12*x^5+x^3+12*x^2)*exp((3*x^2*l
og(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log(x)+x^2))^2+((-12*x^3-4*x)*log(x)^3+(36*x^4+12*x^2)*log(x)^
2+(-36*x^5-24*x^3)*log(x)+12*x^6+4*x^4+12*x^3)*exp((3*x^2*log(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log
(x)+x^2))+(-3*x^2-48)*log(x)^3+(9*x^3+144*x)*log(x)^2+(-9*x^4-144*x^2)*log(x)+3*x^5+48*x^3)/(16*log(x)^3-48*x*
log(x)^2+48*x^2*log(x)-16*x^3),x, algorithm="fricas")

[Out]

-1/16*x^3 - 1/8*x^2*e^(3*(x^4 - 2*x^3*log(x) + x^2*log(x)^2 + x^2)/(x^2 - 2*x*log(x) + log(x)^2)) - 1/16*x*e^(
6*(x^4 - 2*x^3*log(x) + x^2*log(x)^2 + x^2)/(x^2 - 2*x*log(x) + log(x)^2)) - 3*x

________________________________________________________________________________________

giac [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-12*x^2-1)*log(x)^3+(36*x^3+3*x)*log(x)^2+(-36*x^4-15*x^2)*log(x)+12*x^5+x^3+12*x^2)*exp((3*x^2*l
og(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log(x)+x^2))^2+((-12*x^3-4*x)*log(x)^3+(36*x^4+12*x^2)*log(x)^
2+(-36*x^5-24*x^3)*log(x)+12*x^6+4*x^4+12*x^3)*exp((3*x^2*log(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log
(x)+x^2))+(-3*x^2-48)*log(x)^3+(9*x^3+144*x)*log(x)^2+(-9*x^4-144*x^2)*log(x)+3*x^5+48*x^3)/(16*log(x)^3-48*x*
log(x)^2+48*x^2*log(x)-16*x^3),x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Evaluation time: 3.87Unable to divide, perhaps due to rounding error%%%{62208,[2,38]%%%}+%%%{-808704,[2,37]
%%%}+%%%{48

________________________________________________________________________________________

maple [B]  time = 0.10, size = 74, normalized size = 2.31

method	result	size
risch	\(-\frac {x^{3}}{16}-3 x -\frac {x \,{\mathrm e}^{\frac {6 x^{2} \left (\ln \relax (x )^{2}-2 x \ln \relax (x )+x^{2}+1\right )}{\left (\ln \relax (x )-x \right )^{2}}}}{16}-\frac {x^{2} {\mathrm e}^{\frac {3 x^{2} \left (\ln \relax (x )^{2}-2 x \ln \relax (x )+x^{2}+1\right )}{\left (\ln \relax (x )-x \right )^{2}}}}{8}\)	\(74\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-12*x^2-1)*ln(x)^3+(36*x^3+3*x)*ln(x)^2+(-36*x^4-15*x^2)*ln(x)+12*x^5+x^3+12*x^2)*exp((3*x^2*ln(x)^2-6*
x^3*ln(x)+3*x^4+3*x^2)/(ln(x)^2-2*x*ln(x)+x^2))^2+((-12*x^3-4*x)*ln(x)^3+(36*x^4+12*x^2)*ln(x)^2+(-36*x^5-24*x
^3)*ln(x)+12*x^6+4*x^4+12*x^3)*exp((3*x^2*ln(x)^2-6*x^3*ln(x)+3*x^4+3*x^2)/(ln(x)^2-2*x*ln(x)+x^2))+(-3*x^2-48
)*ln(x)^3+(9*x^3+144*x)*ln(x)^2+(-9*x^4-144*x^2)*ln(x)+3*x^5+48*x^3)/(16*ln(x)^3-48*x*ln(x)^2+48*x^2*ln(x)-16*
x^3),x,method=_RETURNVERBOSE)

[Out]

-1/16*x^3-3*x-1/16*x*exp(6*x^2*(ln(x)^2-2*x*ln(x)+x^2+1)/(ln(x)-x)^2)-1/8*x^2*exp(3*x^2*(ln(x)^2-2*x*ln(x)+x^2
+1)/(ln(x)-x)^2)

________________________________________________________________________________________

maxima [B]  time = 0.56, size = 114, normalized size = 3.56 \begin {gather*} -\frac {1}{16} \, {\left (2 \, x^{2} e^{\left (3 \, x^{2} + \frac {3 \, \log \relax (x)^{2}}{x^{2} - 2 \, x \log \relax (x) + \log \relax (x)^{2}} - \frac {6 \, \log \relax (x)}{x - \log \relax (x)} + 3\right )} + x e^{\left (6 \, x^{2} + \frac {6 \, \log \relax (x)^{2}}{x^{2} - 2 \, x \log \relax (x) + \log \relax (x)^{2}} + 6\right )} + \frac {x^{3} + 48 \, x}{x^{\frac {12}{x - \log \relax (x)}}}\right )} x^{\frac {12}{x - \log \relax (x)}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-12*x^2-1)*log(x)^3+(36*x^3+3*x)*log(x)^2+(-36*x^4-15*x^2)*log(x)+12*x^5+x^3+12*x^2)*exp((3*x^2*l
og(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log(x)+x^2))^2+((-12*x^3-4*x)*log(x)^3+(36*x^4+12*x^2)*log(x)^
2+(-36*x^5-24*x^3)*log(x)+12*x^6+4*x^4+12*x^3)*exp((3*x^2*log(x)^2-6*x^3*log(x)+3*x^4+3*x^2)/(log(x)^2-2*x*log
(x)+x^2))+(-3*x^2-48)*log(x)^3+(9*x^3+144*x)*log(x)^2+(-9*x^4-144*x^2)*log(x)+3*x^5+48*x^3)/(16*log(x)^3-48*x*
log(x)^2+48*x^2*log(x)-16*x^3),x, algorithm="maxima")

[Out]

-1/16*(2*x^2*e^(3*x^2 + 3*log(x)^2/(x^2 - 2*x*log(x) + log(x)^2) - 6*log(x)/(x - log(x)) + 3) + x*e^(6*x^2 + 6
*log(x)^2/(x^2 - 2*x*log(x) + log(x)^2) + 6) + (x^3 + 48*x)/x^(12/(x - log(x))))*x^(12/(x - log(x)))

________________________________________________________________________________________

mupad [B]  time = 6.49, size = 197, normalized size = 6.16 \begin {gather*} -3\,x-\frac {x^3}{16}-\frac {x^2\,{\mathrm {e}}^{\frac {3\,x^2}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}+\frac {3\,x^4}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}+\frac {3\,x^2\,{\ln \relax (x)}^2}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}}}{8\,x^{\frac {6\,x^3}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}}}-\frac {x\,{\mathrm {e}}^{\frac {6\,x^2}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}+\frac {6\,x^4}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}+\frac {6\,x^2\,{\ln \relax (x)}^2}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}}}{16\,x^{\frac {12\,x^3}{x^2-2\,x\,\ln \relax (x)+{\ln \relax (x)}^2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(x)^2*(144*x + 9*x^3) - log(x)*(144*x^2 + 9*x^4) + exp((2*(3*x^2*log(x)^2 - 6*x^3*log(x) + 3*x^2 + 3*
x^4))/(log(x)^2 - 2*x*log(x) + x^2))*(log(x)^2*(3*x + 36*x^3) - log(x)*(15*x^2 + 36*x^4) - log(x)^3*(12*x^2 +
1) + 12*x^2 + x^3 + 12*x^5) - log(x)^3*(3*x^2 + 48) + exp((3*x^2*log(x)^2 - 6*x^3*log(x) + 3*x^2 + 3*x^4)/(log
(x)^2 - 2*x*log(x) + x^2))*(log(x)^2*(12*x^2 + 36*x^4) - log(x)*(24*x^3 + 36*x^5) - log(x)^3*(4*x + 12*x^3) +
12*x^3 + 4*x^4 + 12*x^6) + 48*x^3 + 3*x^5)/(48*x*log(x)^2 - 48*x^2*log(x) - 16*log(x)^3 + 16*x^3),x)

[Out]

- 3*x - x^3/16 - (x^2*exp((3*x^2)/(log(x)^2 - 2*x*log(x) + x^2) + (3*x^4)/(log(x)^2 - 2*x*log(x) + x^2) + (3*x
^2*log(x)^2)/(log(x)^2 - 2*x*log(x) + x^2)))/(8*x^((6*x^3)/(log(x)^2 - 2*x*log(x) + x^2))) - (x*exp((6*x^2)/(l
og(x)^2 - 2*x*log(x) + x^2) + (6*x^4)/(log(x)^2 - 2*x*log(x) + x^2) + (6*x^2*log(x)^2)/(log(x)^2 - 2*x*log(x)
+ x^2)))/(16*x^((12*x^3)/(log(x)^2 - 2*x*log(x) + x^2)))

________________________________________________________________________________________

sympy [B]  time = 70.17, size = 109, normalized size = 3.41 \begin {gather*} - \frac {x^{3}}{16} - \frac {x^{2} e^{\frac {3 x^{4} - 6 x^{3} \log {\relax (x )} + 3 x^{2} \log {\relax (x )}^{2} + 3 x^{2}}{x^{2} - 2 x \log {\relax (x )} + \log {\relax (x )}^{2}}}}{8} - \frac {x e^{\frac {2 \left (3 x^{4} - 6 x^{3} \log {\relax (x )} + 3 x^{2} \log {\relax (x )}^{2} + 3 x^{2}\right )}{x^{2} - 2 x \log {\relax (x )} + \log {\relax (x )}^{2}}}}{16} - 3 x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-12*x**2-1)*ln(x)**3+(36*x**3+3*x)*ln(x)**2+(-36*x**4-15*x**2)*ln(x)+12*x**5+x**3+12*x**2)*exp((3
*x**2*ln(x)**2-6*x**3*ln(x)+3*x**4+3*x**2)/(ln(x)**2-2*x*ln(x)+x**2))**2+((-12*x**3-4*x)*ln(x)**3+(36*x**4+12*
x**2)*ln(x)**2+(-36*x**5-24*x**3)*ln(x)+12*x**6+4*x**4+12*x**3)*exp((3*x**2*ln(x)**2-6*x**3*ln(x)+3*x**4+3*x**
2)/(ln(x)**2-2*x*ln(x)+x**2))+(-3*x**2-48)*ln(x)**3+(9*x**3+144*x)*ln(x)**2+(-9*x**4-144*x**2)*ln(x)+3*x**5+48
*x**3)/(16*ln(x)**3-48*x*ln(x)**2+48*x**2*ln(x)-16*x**3),x)

[Out]

-x**3/16 - x**2*exp((3*x**4 - 6*x**3*log(x) + 3*x**2*log(x)**2 + 3*x**2)/(x**2 - 2*x*log(x) + log(x)**2))/8 -
x*exp(2*(3*x**4 - 6*x**3*log(x) + 3*x**2*log(x)**2 + 3*x**2)/(x**2 - 2*x*log(x) + log(x)**2))/16 - 3*x

________________________________________________________________________________________