3.15.8 \(\int \frac {(\frac {x}{\log (\frac {3}{4} \log (\frac {x}{2}))})^{\frac {1}{-1+e^2}} (-1+\log (\frac {x}{2}) \log (\frac {3}{4} \log (\frac {x}{2})))}{(-x+e^2 x) \log (\frac {x}{2}) \log (\frac {3}{4} \log (\frac {x}{2}))} \, dx\) [1408]

3.15.8.1 Optimal result
3.15.8.2 Mathematica [A] (verified)
3.15.8.3 Rubi [F]
3.15.8.4 Maple [B] (verified)
3.15.8.5 Fricas [A] (verification not implemented)
3.15.8.6 Sympy [F(-1)]
3.15.8.7 Maxima [F]
3.15.8.8 Giac [A] (verification not implemented)
3.15.8.9 Mupad [B] (verification not implemented)

3.15.8.1 Optimal result

Integrand size = 76, antiderivative size = 23 \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \]

output
exp(ln(x/ln(3/4*ln(1/2*x)))/(exp(2)-1))
 
3.15.8.2 Mathematica [A] (verified)

Time = 0.35 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.00 \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \]

input
Integrate[((x/Log[(3*Log[x/2])/4])^(-1 + E^2)^(-1)*(-1 + Log[x/2]*Log[(3*L 
og[x/2])/4]))/((-x + E^2*x)*Log[x/2]*Log[(3*Log[x/2])/4]),x]
 
output
(x/Log[(3*Log[x/2])/4])^(-1 + E^2)^(-1)
 
3.15.8.3 Rubi [F]

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 (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{e^2-1}} \left (\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )-1\right )}{\left (e^2 x-x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{e^2-1}} \left (\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )-1\right )}{\left (e^2-1\right ) x \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}dx\)

\(\Big \downarrow \) 27

\(\displaystyle -\frac {\int -\frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (1-\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{x \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}dx}{1-e^2}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {\int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (1-\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{x \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}dx}{1-e^2}\)

\(\Big \downarrow \) 7270

\(\displaystyle \frac {x^{\frac {1}{1-e^2}} \left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{e^2-1}} \sqrt [e^2-1]{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \int \frac {x^{-1+\frac {1}{-1+e^2}} \log ^{-1+\frac {1}{1-e^2}}\left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right ) \left (1-\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\log \left (\frac {x}{2}\right )}dx}{1-e^2}\)

\(\Big \downarrow \) 7293

\(\displaystyle \frac {x^{\frac {1}{1-e^2}} \left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{e^2-1}} \sqrt [e^2-1]{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \int \left (\frac {x^{-1+\frac {1}{-1+e^2}} \log ^{-1+\frac {1}{1-e^2}}\left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}{\log \left (\frac {x}{2}\right )}-x^{-1+\frac {1}{-1+e^2}} \sqrt [1-e^2]{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )dx}{1-e^2}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {x^{\frac {1}{1-e^2}} \left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{e^2-1}} \sqrt [e^2-1]{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \left (\int \frac {x^{-1+\frac {1}{-1+e^2}} \log ^{-1+\frac {1}{1-e^2}}\left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}{\log \left (\frac {x}{2}\right )}dx-\int x^{-1+\frac {1}{-1+e^2}} \sqrt [1-e^2]{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}dx\right )}{1-e^2}\)

input
Int[((x/Log[(3*Log[x/2])/4])^(-1 + E^2)^(-1)*(-1 + Log[x/2]*Log[(3*Log[x/2 
])/4]))/((-x + E^2*x)*Log[x/2]*Log[(3*Log[x/2])/4]),x]
 
output
$Aborted
 

3.15.8.3.1 Defintions of rubi rules used

rule 6
Int[(u_.)*((v_.) + (a_.)*(Fx_) + (b_.)*(Fx_))^(p_.), x_Symbol] :> Int[u*(v 
+ (a + b)*Fx)^p, x] /; FreeQ[{a, b}, x] &&  !FreeQ[Fx, x]
 

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 7270
Int[(u_.)*((a_.)*(v_)^(m_.)*(w_)^(n_.))^(p_), x_Symbol] :> Simp[a^IntPart[p 
]*((a*v^m*w^n)^FracPart[p]/(v^(m*FracPart[p])*w^(n*FracPart[p])))   Int[u*v 
^(m*p)*w^(n*p), x], x] /; FreeQ[{a, m, n, p}, x] &&  !IntegerQ[p] &&  !Free 
Q[v, x] &&  !FreeQ[w, x]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.15.8.4 Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(53\) vs. \(2(20)=40\).

Time = 9.56 (sec) , antiderivative size = 54, normalized size of antiderivative = 2.35

method result size
parallelrisch \(\frac {{\mathrm e}^{\frac {\ln \left (\frac {x}{\ln \left (\frac {3 \ln \left (\frac {x}{2}\right )}{4}\right )}\right )}{{\mathrm e}^{2}-1}} {\mathrm e}^{2}-{\mathrm e}^{\frac {\ln \left (\frac {x}{\ln \left (\frac {3 \ln \left (\frac {x}{2}\right )}{4}\right )}\right )}{{\mathrm e}^{2}-1}}}{{\mathrm e}^{2}-1}\) \(54\)

input
int((ln(1/2*x)*ln(3/4*ln(1/2*x))-1)*exp(ln(x/ln(3/4*ln(1/2*x)))/(exp(2)-1) 
)/(exp(2)*x-x)/ln(1/2*x)/ln(3/4*ln(1/2*x)),x,method=_RETURNVERBOSE)
 
output
(exp(ln(x/ln(3/4*ln(1/2*x)))/(exp(2)-1))*exp(2)-exp(ln(x/ln(3/4*ln(1/2*x)) 
)/(exp(2)-1)))/(exp(2)-1)
 
3.15.8.5 Fricas [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.78 \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\left (\frac {x}{\log \left (\frac {3}{4} \, \log \left (\frac {1}{2} \, x\right )\right )}\right )^{\left (\frac {1}{e^{2} - 1}\right )} \]

input
integrate((log(1/2*x)*log(3/4*log(1/2*x))-1)*exp(log(x/log(3/4*log(1/2*x)) 
)/(exp(2)-1))/(exp(2)*x-x)/log(1/2*x)/log(3/4*log(1/2*x)),x, algorithm=\
 
output
(x/log(3/4*log(1/2*x)))^(1/(e^2 - 1))
 
3.15.8.6 Sympy [F(-1)]

Timed out. \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\text {Timed out} \]

input
integrate((ln(1/2*x)*ln(3/4*ln(1/2*x))-1)*exp(ln(x/ln(3/4*ln(1/2*x)))/(exp 
(2)-1))/(exp(2)*x-x)/ln(1/2*x)/ln(3/4*ln(1/2*x)),x)
 
output
Timed out
 
3.15.8.7 Maxima [F]

\[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\int { \frac {{\left (\log \left (\frac {1}{2} \, x\right ) \log \left (\frac {3}{4} \, \log \left (\frac {1}{2} \, x\right )\right ) - 1\right )} \left (\frac {x}{\log \left (\frac {3}{4} \, \log \left (\frac {1}{2} \, x\right )\right )}\right )^{\left (\frac {1}{e^{2} - 1}\right )}}{{\left (x e^{2} - x\right )} \log \left (\frac {1}{2} \, x\right ) \log \left (\frac {3}{4} \, \log \left (\frac {1}{2} \, x\right )\right )} \,d x } \]

input
integrate((log(1/2*x)*log(3/4*log(1/2*x))-1)*exp(log(x/log(3/4*log(1/2*x)) 
)/(exp(2)-1))/(exp(2)*x-x)/log(1/2*x)/log(3/4*log(1/2*x)),x, algorithm=\
 
output
integrate((log(1/2*x)*log(3/4*log(1/2*x)) - 1)*(x/log(3/4*log(1/2*x)))^(1/ 
(e^2 - 1))/((x*e^2 - x)*log(1/2*x)*log(3/4*log(1/2*x))), x)
 
3.15.8.8 Giac [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.78 \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx=\left (\frac {x}{\log \left (\frac {3}{4} \, \log \left (\frac {1}{2} \, x\right )\right )}\right )^{\left (\frac {1}{e^{2} - 1}\right )} \]

input
integrate((log(1/2*x)*log(3/4*log(1/2*x))-1)*exp(log(x/log(3/4*log(1/2*x)) 
)/(exp(2)-1))/(exp(2)*x-x)/log(1/2*x)/log(3/4*log(1/2*x)),x, algorithm=\
 
output
(x/log(3/4*log(1/2*x)))^(1/(e^2 - 1))
 
3.15.8.9 Mupad [B] (verification not implemented)

Time = 11.19 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.78 \[ \int \frac {\left (\frac {x}{\log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )}\right )^{\frac {1}{-1+e^2}} \left (-1+\log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )\right )}{\left (-x+e^2 x\right ) \log \left (\frac {x}{2}\right ) \log \left (\frac {3}{4} \log \left (\frac {x}{2}\right )\right )} \, dx={\left (\frac {x}{\ln \left (\frac {3\,\ln \left (\frac {x}{2}\right )}{4}\right )}\right )}^{\frac {1}{{\mathrm {e}}^2-1}} \]

input
int(-((log((3*log(x/2))/4)*log(x/2) - 1)*(x/log((3*log(x/2))/4))^(1/(exp(2 
) - 1)))/(log((3*log(x/2))/4)*log(x/2)*(x - x*exp(2))),x)
 
output
(x/log((3*log(x/2))/4))^(1/(exp(2) - 1))