Integrand size = 81, antiderivative size = 31 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\log \left (e^{3 \left (-2+\frac {e^{e^x}}{2}+x\right )}+x^2-\log \left (\frac {4 x^2}{25}\right )\right ) \] Output:
ln(x^2+exp(3/2*exp(exp(x))+3*x-6)-ln(4/25*x^2))
Time = 0.59 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.19 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\log \left (e^{\frac {3 e^{e^x}}{2}+3 x}+e^6 x^2-e^6 \log \left (\frac {4 x^2}{25}\right )\right ) \] Input:
Integrate[(-4 + 4*x^2 + E^((-12 + 3*E^E^x + 6*x)/2)*(6*x + 3*E^(E^x + x)*x ))/(2*E^((-12 + 3*E^E^x + 6*x)/2)*x + 2*x^3 - 2*x*Log[(4*x^2)/25]),x]
Output:
Log[E^((3*E^E^x)/2 + 3*x) + E^6*x^2 - E^6*Log[(4*x^2)/25]]
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {4 x^2+e^{\frac {1}{2} \left (6 x+3 e^{e^x}-12\right )} \left (3 e^{x+e^x} x+6 x\right )-4}{2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )+2 e^{\frac {1}{2} \left (6 x+3 e^{e^x}-12\right )} x} \, dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (-\frac {e^6 \left (3 e^{x+e^x} x^3+6 x^3-4 x^2-3 e^{x+e^x} x \log \left (\frac {4 x^2}{25}\right )-6 x \log \left (\frac {4 x^2}{25}\right )+4\right )}{2 x \left (e^6 x^2-e^6 \log \left (\frac {4 x^2}{25}\right )+e^{3 x+\frac {3 e^{e^x}}{2}}\right )}+\frac {3 e^{x+e^x}}{2}+3\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -2 e^6 \int \frac {1}{x \left (e^6 x^2+e^{3 x+\frac {3 e^{e^x}}{2}}-e^6 \log \left (\frac {4 x^2}{25}\right )\right )}dx+2 e^6 \int \frac {x}{e^6 x^2+e^{3 x+\frac {3 e^{e^x}}{2}}-e^6 \log \left (\frac {4 x^2}{25}\right )}dx-3 e^6 \int \frac {x^2}{e^6 x^2+e^{3 x+\frac {3 e^{e^x}}{2}}-e^6 \log \left (\frac {4 x^2}{25}\right )}dx-\frac {3}{2} e^6 \int \frac {e^{x+e^x} x^2}{e^6 x^2+e^{3 x+\frac {3 e^{e^x}}{2}}-e^6 \log \left (\frac {4 x^2}{25}\right )}dx+\frac {3}{2} e^6 \int \frac {e^{x+e^x} \log \left (\frac {4 x^2}{25}\right )}{e^6 x^2+e^{3 x+\frac {3 e^{e^x}}{2}}-e^6 \log \left (\frac {4 x^2}{25}\right )}dx-3 e^6 \int \frac {\log \left (\frac {4 x^2}{25}\right )}{-e^6 x^2-e^{3 x+\frac {3 e^{e^x}}{2}}+e^6 \log \left (\frac {4 x^2}{25}\right )}dx+3 x+\frac {3 e^{e^x}}{2}\) |
Input:
Int[(-4 + 4*x^2 + E^((-12 + 3*E^E^x + 6*x)/2)*(6*x + 3*E^(E^x + x)*x))/(2* E^((-12 + 3*E^E^x + 6*x)/2)*x + 2*x^3 - 2*x*Log[(4*x^2)/25]),x]
Output:
$Aborted
Time = 1.66 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.81
method | result | size |
parallelrisch | \(\ln \left (x^{2}+{\mathrm e}^{\frac {3 \,{\mathrm e}^{{\mathrm e}^{x}}}{2}+3 x -6}-\ln \left (\frac {4 x^{2}}{25}\right )\right )\) | \(25\) |
risch | \(6+\ln \left (\frac {i \pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )}{2}-i \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+\frac {i \pi \operatorname {csgn}\left (i x^{2}\right )^{3}}{2}+x^{2}+2 \ln \left (5\right )-2 \ln \left (2\right )-2 \ln \left (x \right )+{\mathrm e}^{\frac {3 \,{\mathrm e}^{{\mathrm e}^{x}}}{2}+3 x -6}\right )\) | \(80\) |
Input:
int(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x^2-4)/(2*x *exp(3/2*exp(exp(x))+3*x-6)-2*x*ln(4/25*x^2)+2*x^3),x,method=_RETURNVERBOS E)
Output:
ln(x^2+exp(3/2*exp(exp(x))+3*x-6)-ln(4/25*x^2))
Time = 0.09 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.06 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\log \left (x^{2} + e^{\left (\frac {3}{2} \, {\left (2 \, {\left (x - 2\right )} e^{x} + e^{\left (x + e^{x}\right )}\right )} e^{\left (-x\right )}\right )} - \log \left (\frac {4}{25} \, x^{2}\right )\right ) \] Input:
integrate(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x^2-4 )/(2*x*exp(3/2*exp(exp(x))+3*x-6)-2*x*log(4/25*x^2)+2*x^3),x, algorithm="f ricas")
Output:
log(x^2 + e^(3/2*(2*(x - 2)*e^x + e^(x + e^x))*e^(-x)) - log(4/25*x^2))
Time = 0.28 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.87 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\log {\left (x^{2} + e^{3 x + \frac {3 e^{e^{x}}}{2} - 6} - \log {\left (\frac {4 x^{2}}{25} \right )} \right )} \] Input:
integrate(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x**2- 4)/(2*x*exp(3/2*exp(exp(x))+3*x-6)-2*x*ln(4/25*x**2)+2*x**3),x)
Output:
log(x**2 + exp(3*x + 3*exp(exp(x))/2 - 6) - log(4*x**2/25))
Time = 0.16 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.42 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=3 \, x + \log \left ({\left (x^{2} e^{6} + 2 \, {\left (\log \left (5\right ) - \log \left (2\right )\right )} e^{6} - 2 \, e^{6} \log \left (x\right ) + e^{\left (3 \, x + \frac {3}{2} \, e^{\left (e^{x}\right )}\right )}\right )} e^{\left (-3 \, x\right )}\right ) \] Input:
integrate(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x^2-4 )/(2*x*exp(3/2*exp(exp(x))+3*x-6)-2*x*log(4/25*x^2)+2*x^3),x, algorithm="m axima")
Output:
3*x + log((x^2*e^6 + 2*(log(5) - log(2))*e^6 - 2*e^6*log(x) + e^(3*x + 3/2 *e^(e^x)))*e^(-3*x))
\[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\int { \frac {4 \, x^{2} + 3 \, {\left (x e^{\left (x + e^{x}\right )} + 2 \, x\right )} e^{\left (3 \, x + \frac {3}{2} \, e^{\left (e^{x}\right )} - 6\right )} - 4}{2 \, {\left (x^{3} + x e^{\left (3 \, x + \frac {3}{2} \, e^{\left (e^{x}\right )} - 6\right )} - x \log \left (\frac {4}{25} \, x^{2}\right )\right )}} \,d x } \] Input:
integrate(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x^2-4 )/(2*x*exp(3/2*exp(exp(x))+3*x-6)-2*x*log(4/25*x^2)+2*x^3),x, algorithm="g iac")
Output:
integrate(1/2*(4*x^2 + 3*(x*e^(x + e^x) + 2*x)*e^(3*x + 3/2*e^(e^x) - 6) - 4)/(x^3 + x*e^(3*x + 3/2*e^(e^x) - 6) - x*log(4/25*x^2)), x)
Time = 3.90 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\ln \left (x^2-\ln \left (\frac {4\,x^2}{25}\right )+{\mathrm {e}}^{3\,x}\,{\mathrm {e}}^{-6}\,{\left ({\mathrm {e}}^{{\mathrm {e}}^{{\mathrm {e}}^x}}\right )}^{3/2}\right ) \] Input:
int((exp(3*x + (3*exp(exp(x)))/2 - 6)*(6*x + 3*x*exp(exp(x))*exp(x)) + 4*x ^2 - 4)/(2*x*exp(3*x + (3*exp(exp(x)))/2 - 6) - 2*x*log((4*x^2)/25) + 2*x^ 3),x)
Output:
log(x^2 - log((4*x^2)/25) + exp(3*x)*exp(-6)*exp(exp(exp(x)))^(3/2))
Time = 0.19 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.06 \[ \int \frac {-4+4 x^2+e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} \left (6 x+3 e^{e^x+x} x\right )}{2 e^{\frac {1}{2} \left (-12+3 e^{e^x}+6 x\right )} x+2 x^3-2 x \log \left (\frac {4 x^2}{25}\right )} \, dx=\mathrm {log}\left (e^{\frac {3 e^{e^{x}}}{2}+3 x}-\mathrm {log}\left (\frac {4 x^{2}}{25}\right ) e^{6}+e^{6} x^{2}\right ) \] Input:
int(((3*x*exp(x)*exp(exp(x))+6*x)*exp(3/2*exp(exp(x))+3*x-6)+4*x^2-4)/(2*x *exp(3/2*exp(exp(x))+3*x-6)-2*x*log(4/25*x^2)+2*x^3),x)
Output:
log(e**((3*e**(e**x) + 6*x)/2) - log((4*x**2)/25)*e**6 + e**6*x**2)