Integrand size = 68, antiderivative size = 32 \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\frac {e^{x \left (2+\frac {\log (2 x)+\frac {\log (-4+2 x)}{\log (2)}}{x}\right )}}{1+x} \]
\[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx \]
Integrate[(E^((2*x*Log[2] + Log[2]*Log[2*x] + Log[-4 + 2*x])/Log[2])*(x + x^2 + (-2 - 3*x - 2*x^2 + 2*x^3)*Log[2]))/((-2*x - 3*x^2 + x^4)*Log[2]),x]
Integrate[(E^((2*x*Log[2] + Log[2]*Log[2*x] + Log[-4 + 2*x])/Log[2])*(x + x^2 + (-2 - 3*x - 2*x^2 + 2*x^3)*Log[2]))/(-2*x - 3*x^2 + x^4), x]/Log[2]
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 {\left (x^2+\left (2 x^3-2 x^2-3 x-2\right ) \log (2)+x\right ) \exp \left (\frac {2 x \log (2)+\log (2) \log (2 x)+\log (2 x-4)}{\log (2)}\right )}{\left (x^4-3 x^2-2 x\right ) \log (2)} \, dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {\int -\frac {2 e^{2 x} x (2 x-4)^{\frac {1}{\log (2)}} \left (x^2+x-\left (-2 x^3+2 x^2+3 x+2\right ) \log (2)\right )}{-x^4+3 x^2+2 x}dx}{\log (2)}\) |
\(\Big \downarrow \) 9 |
\(\displaystyle \frac {\int -\frac {2 e^{2 x} (2 x-4)^{\frac {1}{\log (2)}} \left (x^2+x-\left (-2 x^3+2 x^2+3 x+2\right ) \log (2)\right )}{-x^3+3 x+2}dx}{\log (2)}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle -\frac {2 \int \frac {e^{2 x} (2 x-4)^{\frac {1}{\log (2)}} \left (x^2+x-\left (-2 x^3+2 x^2+3 x+2\right ) \log (2)\right )}{-x^3+3 x+2}dx}{\log (2)}\) |
\(\Big \downarrow \) 2019 |
\(\displaystyle -\frac {2 \int \frac {e^{2 x} (2 x-4)^{-1+\frac {1}{\log (2)}} \left (x^2+x-\left (-2 x^3+2 x^2+3 x+2\right ) \log (2)\right )}{-\frac {x^2}{2}-x-\frac {1}{2}}dx}{\log (2)}\) |
\(\Big \downarrow \) 2007 |
\(\displaystyle -\frac {2 \int \frac {e^{2 x} (2 x-4)^{-1+\frac {1}{\log (2)}} \left (x^2+x-\left (-2 x^3+2 x^2+3 x+2\right ) \log (2)\right )}{\left (\frac {i x}{\sqrt {2}}+\frac {i}{\sqrt {2}}\right )^2}dx}{\log (2)}\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle -\frac {2 \int \frac {e^{2 x} (2 x-4)^{-1+\frac {1}{\log (2)}} \left (2 \log (2) x^3+(1-\log (4)) x^2+(1-\log (8)) x-\log (4)\right )}{\left (\frac {i x}{\sqrt {2}}+\frac {i}{\sqrt {2}}\right )^2}dx}{\log (2)}\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle -\frac {2 \int \left (-e^{2 x} \log (4) (2 x-4)^{\frac {1}{\log (2)}}-\frac {2 e^{2 x} (-1+\log (128)) (2 x-4)^{-1+\frac {1}{\log (2)}}}{x+1}+\frac {e^{2 x} \log (64) (2 x-4)^{-1+\frac {1}{\log (2)}}}{(x+1)^2}+e^{2 x} (-2+\log (16)) (2 x-4)^{-1+\frac {1}{\log (2)}}\right )dx}{\log (2)}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -\frac {2 \left (\log (64) \int \frac {e^{2 x} (2 x-4)^{-1+\frac {1}{\log (2)}}}{(x+1)^2}dx+2 (1-\log (128)) \int \frac {e^{2 x} (2 x-4)^{-1+\frac {1}{\log (2)}}}{x+1}dx+\frac {1}{2} e^4 (2-\log (16)) (4-2 x)^{-\frac {1}{\log (2)}} (2 x-4)^{\frac {1}{\log (2)}} \Gamma \left (\frac {1}{\log (2)},4-2 x\right )-\frac {1}{2} e^4 \log (4) (4-2 x)^{-\frac {1}{\log (2)}} (2 x-4)^{\frac {1}{\log (2)}} \Gamma \left (1+\frac {1}{\log (2)},4-2 x\right )\right )}{\log (2)}\) |
Int[(E^((2*x*Log[2] + Log[2]*Log[2*x] + Log[-4 + 2*x])/Log[2])*(x + x^2 + (-2 - 3*x - 2*x^2 + 2*x^3)*Log[2]))/((-2*x - 3*x^2 + x^4)*Log[2]),x]
3.17.23.3.1 Defintions of rubi rules used
Int[(u_.)*(Px_)^(p_.)*((e_.)*(x_))^(m_.), x_Symbol] :> With[{r = Expon[Px, x, Min]}, Simp[1/e^(p*r) Int[u*(e*x)^(m + p*r)*ExpandToSum[Px/x^r, x]^p, x], x] /; IGtQ[r, 0]] /; FreeQ[{e, m}, x] && PolyQ[Px, x] && IntegerQ[p] && !MonomialQ[Px, x]
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{a = Rt[Coeff[Px, x, 0], Expon[Px, x]], b = Rt[Coeff[Px, x, Expon[Px, x]], Expon[Px, x]]}, Int[u*(a + b*x)^(Ex pon[Px, x]*p), x] /; EqQ[Px, (a + b*x)^Expon[Px, x]]] /; IntegerQ[p] && Pol yQ[Px, x] && GtQ[Expon[Px, x], 1] && NeQ[Coeff[Px, x, 0], 0]
Int[(u_.)*(Px_)^(p_.)*(Qx_)^(q_.), x_Symbol] :> Int[u*PolynomialQuotient[Px , Qx, x]^p*Qx^(p + q), x] /; FreeQ[q, x] && PolyQ[Px, x] && PolyQ[Qx, x] && EqQ[PolynomialRemainder[Px, Qx, x], 0] && IntegerQ[p] && LtQ[p*q, 0]
Time = 2.45 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.72
method | result | size |
risch | \(\frac {2 x \left (2 x -4\right )^{\frac {1}{\ln \left (2\right )}} {\mathrm e}^{2 x}}{1+x}\) | \(23\) |
gosper | \(\frac {{\mathrm e}^{\frac {\ln \left (2\right ) \ln \left (2 x \right )+\ln \left (2 x -4\right )+2 x \ln \left (2\right )}{\ln \left (2\right )}}}{1+x}\) | \(32\) |
parallelrisch | \(\frac {{\mathrm e}^{\frac {\ln \left (2\right ) \ln \left (2 x \right )+\ln \left (2 x -4\right )+2 x \ln \left (2\right )}{\ln \left (2\right )}}}{1+x}\) | \(32\) |
int(((2*x^3-2*x^2-3*x-2)*ln(2)+x^2+x)*exp((ln(2)*ln(2*x)+ln(2*x-4)+2*x*ln( 2))/ln(2))/(x^4-3*x^2-2*x)/ln(2),x,method=_RETURNVERBOSE)
Time = 0.26 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.97 \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\frac {e^{\left (\frac {2 \, x \log \left (2\right ) + \log \left (2\right ) \log \left (2 \, x\right ) + \log \left (2 \, x - 4\right )}{\log \left (2\right )}\right )}}{x + 1} \]
integrate(((2*x^3-2*x^2-3*x-2)*log(2)+x^2+x)*exp((log(2)*log(2*x)+log(2*x- 4)+2*x*log(2))/log(2))/(x^4-3*x^2-2*x)/log(2),x, algorithm=\
Timed out. \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\text {Timed out} \]
integrate(((2*x**3-2*x**2-3*x-2)*ln(2)+x**2+x)*exp((ln(2)*ln(2*x)+ln(2*x-4 )+2*x*ln(2))/ln(2))/(x**4-3*x**2-2*x)/ln(2),x)
Time = 0.35 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.72 \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\frac {2 \, x e^{\left (2 \, x + \frac {\log \left (x - 2\right )}{\log \left (2\right )} + 1\right )}}{x + 1} \]
integrate(((2*x^3-2*x^2-3*x-2)*log(2)+x^2+x)*exp((log(2)*log(2*x)+log(2*x- 4)+2*x*log(2))/log(2))/(x^4-3*x^2-2*x)/log(2),x, algorithm=\
Time = 0.30 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.91 \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\frac {x e^{\left (\frac {2 \, x \log \left (2\right ) + \log \left (2\right )^{2} + \log \left (2\right ) + \log \left (x - 2\right )}{\log \left (2\right )}\right )}}{x + 1} \]
integrate(((2*x^3-2*x^2-3*x-2)*log(2)+x^2+x)*exp((log(2)*log(2*x)+log(2*x- 4)+2*x*log(2))/log(2))/(x^4-3*x^2-2*x)/log(2),x, algorithm=\
Timed out. \[ \int \frac {e^{\frac {2 x \log (2)+\log (2) \log (2 x)+\log (-4+2 x)}{\log (2)}} \left (x+x^2+\left (-2-3 x-2 x^2+2 x^3\right ) \log (2)\right )}{\left (-2 x-3 x^2+x^4\right ) \log (2)} \, dx=\int -\frac {{\mathrm {e}}^{\frac {\ln \left (2\,x-4\right )+\ln \left (2\,x\right )\,\ln \left (2\right )+2\,x\,\ln \left (2\right )}{\ln \left (2\right )}}\,\left (x-\ln \left (2\right )\,\left (-2\,x^3+2\,x^2+3\,x+2\right )+x^2\right )}{\ln \left (2\right )\,\left (-x^4+3\,x^2+2\,x\right )} \,d x \]
int(-(exp((log(2*x - 4) + log(2*x)*log(2) + 2*x*log(2))/log(2))*(x - log(2 )*(3*x + 2*x^2 - 2*x^3 + 2) + x^2))/(log(2)*(2*x + 3*x^2 - x^4)),x)