Integrand size = 58, antiderivative size = 35 \[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \]
\[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=\int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx \]
Integrate[((x^(-1))^((10*x)/(I*Pi + Log[Log[625]])^2)*(-10 + 10*Log[1/(4*x )]))/(4^((10*x)/(I*Pi + Log[Log[625]])^2)*(I*Pi + Log[Log[625]])^2),x]
Integrate[((x^(-1))^((10*x)/(I*Pi + Log[Log[625]])^2)*(-10 + 10*Log[1/(4*x )]))/4^((10*x)/(I*Pi + Log[Log[625]])^2), x]/(I*Pi + Log[Log[625]])^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 {4^{-\frac {10 x}{(\log (\log (625))+i \pi )^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(\log (\log (625))+i \pi )^2}} \left (10 \log \left (\frac {1}{4 x}\right )-10\right )}{(\log (\log (625))+i \pi )^2} \, dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {\int -5 2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (1-\log \left (\frac {1}{4 x}\right )\right )dx}{(\log (\log (625))+i \pi )^2}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle -\frac {5 \int 2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (1-\log \left (\frac {1}{4 x}\right )\right )dx}{(\log (\log (625))+i \pi )^2}\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle -\frac {5 \int \left (2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} (1+\log (4))-2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \log \left (\frac {1}{x}\right )\right )dx}{(\log (\log (625))+i \pi )^2}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -\frac {5 \left (-\log \left (\frac {1}{x}\right ) \int 2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}}dx+(1+\log (4)) \int 2^{1-\frac {20 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}}dx-\int \frac {\int 2^{\frac {20 x}{(\pi -i \log (\log (625)))^2}+1} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}}dx}{x}dx\right )}{(\log (\log (625))+i \pi )^2}\) |
Int[((x^(-1))^((10*x)/(I*Pi + Log[Log[625]])^2)*(-10 + 10*Log[1/(4*x)]))/( 4^((10*x)/(I*Pi + Log[Log[625]])^2)*(I*Pi + Log[Log[625]])^2),x]
3.18.29.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Time = 0.36 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.57
method | result | size |
default | \({\mathrm e}^{\frac {10 x \ln \left (\frac {1}{4 x}\right )}{\ln \left (-4 \ln \left (5\right )\right )^{2}}}\) | \(20\) |
parallelrisch | \({\mathrm e}^{\frac {10 x \ln \left (\frac {1}{4 x}\right )}{\ln \left (-4 \ln \left (5\right )\right )^{2}}}\) | \(20\) |
norman | \(\frac {\left (4 \ln \left (2\right )^{2}+4 \ln \left (2\right ) \ln \left (\ln \left (5\right )\right )+4 i \ln \left (2\right ) \pi +\ln \left (\ln \left (5\right )\right )^{2}+2 i \ln \left (\ln \left (5\right )\right ) \pi -\pi ^{2}\right ) {\mathrm e}^{\frac {10 x \ln \left (\frac {1}{4 x}\right )}{\ln \left (-4 \ln \left (5\right )\right )^{2}}}}{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right ) \ln \left (-4 \ln \left (5\right )\right )}\) | \(79\) |
risch | \(\frac {4 \left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \ln \left (2\right )^{2}}{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}+\frac {4 \left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \ln \left (2\right ) \ln \left (\ln \left (5\right )\right )}{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}+\frac {\left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \ln \left (\ln \left (5\right )\right )^{2}}{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}+\frac {4 i \left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \ln \left (2\right ) \pi }{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}+\frac {2 i \left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \ln \left (\ln \left (5\right )\right ) \pi }{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}-\frac {\left (\frac {1}{4 x}\right )^{\frac {10 x}{\left (i \pi +2 \ln \left (2 \sqrt {\ln \left (5\right )}\right )\right )^{2}}} \pi ^{2}}{\left (2 \ln \left (2\right )+\ln \left (\ln \left (5\right )\right )+i \pi \right )^{2}}\) | \(273\) |
int((10*ln(1/4/x)-10)*exp(5*x*ln(1/4/x)/ln(-4*ln(5))^2)^2/ln(-4*ln(5))^2,x ,method=_RETURNVERBOSE)
Time = 0.35 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.46 \[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=\left (\frac {1}{4 \, x}\right )^{\frac {10 \, x}{\log \left (-4 \, \log \left (5\right )\right )^{2}}} \]
integrate((10*log(1/4/x)-10)*exp(5*x*log(1/4/x)/log(-4*log(5))^2)^2/log(-4 *log(5))^2,x, algorithm=\
Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 109 vs. \(2 (22) = 44\).
Time = 9.71 (sec) , antiderivative size = 109, normalized size of antiderivative = 3.11 \[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=e^{- \frac {20 x \log {\left (2 \right )}}{- \pi ^{2} + \log {\left (\log {\left (5 \right )} \right )}^{2} + 4 \log {\left (2 \right )} \log {\left (\log {\left (5 \right )} \right )} + 4 \log {\left (2 \right )}^{2} + 2 i \pi \log {\left (\log {\left (5 \right )} \right )} + 4 i \pi \log {\left (2 \right )}}} e^{\frac {10 x \log {\left (\frac {1}{x} \right )}}{- \pi ^{2} + \log {\left (\log {\left (5 \right )} \right )}^{2} + 4 \log {\left (2 \right )} \log {\left (\log {\left (5 \right )} \right )} + 4 \log {\left (2 \right )}^{2} + 2 i \pi \log {\left (\log {\left (5 \right )} \right )} + 4 i \pi \log {\left (2 \right )}}} \]
exp(-20*x*log(2)/(-pi**2 + log(log(5))**2 + 4*log(2)*log(log(5)) + 4*log(2 )**2 + 2*I*pi*log(log(5)) + 4*I*pi*log(2)))*exp(10*x*log(1/x)/(-pi**2 + lo g(log(5))**2 + 4*log(2)*log(log(5)) + 4*log(2)**2 + 2*I*pi*log(log(5)) + 4 *I*pi*log(2)))
Leaf count of result is larger than twice the leaf count of optimal. 93 vs. \(2 (16) = 32\).
Time = 0.32 (sec) , antiderivative size = 93, normalized size of antiderivative = 2.66 \[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=\frac {{\left (4 \, \log \left (2\right )^{2} + 4 \, \log \left (2\right ) \log \left (-\log \left (5\right )\right ) + \log \left (-\log \left (5\right )\right )^{2}\right )} e^{\left (-\frac {20 \, x \log \left (2\right )}{4 \, \log \left (2\right )^{2} + 4 \, \log \left (2\right ) \log \left (-\log \left (5\right )\right ) + \log \left (-\log \left (5\right )\right )^{2}} - \frac {10 \, x \log \left (x\right )}{4 \, \log \left (2\right )^{2} + 4 \, \log \left (2\right ) \log \left (-\log \left (5\right )\right ) + \log \left (-\log \left (5\right )\right )^{2}}\right )}}{\log \left (-4 \, \log \left (5\right )\right )^{2}} \]
integrate((10*log(1/4/x)-10)*exp(5*x*log(1/4/x)/log(-4*log(5))^2)^2/log(-4 *log(5))^2,x, algorithm=\
(4*log(2)^2 + 4*log(2)*log(-log(5)) + log(-log(5))^2)*e^(-20*x*log(2)/(4*l og(2)^2 + 4*log(2)*log(-log(5)) + log(-log(5))^2) - 10*x*log(x)/(4*log(2)^ 2 + 4*log(2)*log(-log(5)) + log(-log(5))^2))/log(-4*log(5))^2
\[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx=\int { \frac {10 \, \left (\frac {1}{4 \, x}\right )^{\frac {10 \, x}{\log \left (-4 \, \log \left (5\right )\right )^{2}}} {\left (\log \left (\frac {1}{4 \, x}\right ) - 1\right )}}{\log \left (-4 \, \log \left (5\right )\right )^{2}} \,d x } \]
integrate((10*log(1/4/x)-10)*exp(5*x*log(1/4/x)/log(-4*log(5))^2)^2/log(-4 *log(5))^2,x, algorithm=\
Time = 14.48 (sec) , antiderivative size = 93, normalized size of antiderivative = 2.66 \[ \int \frac {4^{-\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (\frac {1}{x}\right )^{\frac {10 x}{(i \pi +\log (\log (625)))^2}} \left (-10+10 \log \left (\frac {1}{4 x}\right )\right )}{(i \pi +\log (\log (625)))^2} \, dx={\mathrm {e}}^{-\frac {20\,x\,\ln \left (2\right )}{{\ln \left (\ln \left (5\right )\right )}^2+4\,\ln \left (2\right )\,\ln \left (\ln \left (5\right )\right )-\pi ^2+4\,{\ln \left (2\right )}^2+\pi \,\ln \left (2\right )\,4{}\mathrm {i}+\pi \,\ln \left (\ln \left (5\right )\right )\,2{}\mathrm {i}}}\,{\mathrm {e}}^{\frac {10\,x\,\ln \left (\frac {1}{x}\right )}{{\ln \left (\ln \left (5\right )\right )}^2+4\,\ln \left (2\right )\,\ln \left (\ln \left (5\right )\right )-\pi ^2+4\,{\ln \left (2\right )}^2+\pi \,\ln \left (2\right )\,4{}\mathrm {i}+\pi \,\ln \left (\ln \left (5\right )\right )\,2{}\mathrm {i}}} \]