Integrand size = 115, antiderivative size = 31 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=-\left (\left (-e^{\log ^2(x)}-x\right ) \left (-4^{25 x}+x\right ) \left (e^{\log ^2(x)}+x\right )\right ) \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(147\) vs. \(2(31)=62\).
Time = 0.29 (sec) , antiderivative size = 147, normalized size of antiderivative = 4.74, number of steps used = 13, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.043, Rules used = {14, 2227, 2207, 2225, 2326} \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=x^3-\frac {2^{50 x-1} x^2 \log (4)}{\log (2)}-\frac {2^{50 x-2} \log (4)}{625 \log ^3(2)}-\frac {x e^{\log ^2(x)} \left (2^{50 x+1} \log (x)-2 x \log (x)\right )}{\log (x)}+\frac {2^{50 x-1} x \log (4)}{25 \log ^2(2)}-\frac {e^{2 \log ^2(x)} \left (4^{25 x+1} \log (x)-4 x \log (x)\right )}{4 \log (x)}+\frac {2^{50 x-1}}{625 \log ^2(2)}-\frac {2^{50 x} x}{25 \log (2)} \]
[In]
[Out]
Rule 14
Rule 2207
Rule 2225
Rule 2227
Rule 2326
Rubi steps \begin{align*} \text {integral}& = \int \left (-x \left (2^{1+50 x}-3 x+25\ 2^{50 x} x \log (4)\right )-\frac {e^{2 \log ^2(x)} \left (-x+25\ 4^{25 x} x \log (4)+4^{1+25 x} \log (x)-4 x \log (x)\right )}{x}-2 e^{\log ^2(x)} \left (2^{50 x}-2 x+25\ 2^{50 x} x \log (4)+2^{1+50 x} \log (x)-2 x \log (x)\right )\right ) \, dx \\ & = -\left (2 \int e^{\log ^2(x)} \left (2^{50 x}-2 x+25\ 2^{50 x} x \log (4)+2^{1+50 x} \log (x)-2 x \log (x)\right ) \, dx\right )-\int x \left (2^{1+50 x}-3 x+25\ 2^{50 x} x \log (4)\right ) \, dx-\int \frac {e^{2 \log ^2(x)} \left (-x+25\ 4^{25 x} x \log (4)+4^{1+25 x} \log (x)-4 x \log (x)\right )}{x} \, dx \\ & = -\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}-\int \left (-3 x^2+2^{50 x} x (2+25 x \log (4))\right ) \, dx \\ & = x^3-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}-\int 2^{50 x} x (2+25 x \log (4)) \, dx \\ & = x^3-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}-\int \left (2^{1+50 x} x+25\ 2^{50 x} x^2 \log (4)\right ) \, dx \\ & = x^3-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}-(25 \log (4)) \int 2^{50 x} x^2 \, dx-\int 2^{1+50 x} x \, dx \\ & = x^3-\frac {2^{50 x} x}{25 \log (2)}-\frac {2^{-1+50 x} x^2 \log (4)}{\log (2)}-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}+\frac {\int 2^{1+50 x} \, dx}{50 \log (2)}+\frac {\log (4) \int 2^{50 x} x \, dx}{\log (2)} \\ & = x^3+\frac {2^{-1+50 x}}{625 \log ^2(2)}-\frac {2^{50 x} x}{25 \log (2)}+\frac {2^{-1+50 x} x \log (4)}{25 \log ^2(2)}-\frac {2^{-1+50 x} x^2 \log (4)}{\log (2)}-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)}-\frac {\log (4) \int 2^{50 x} \, dx}{50 \log ^2(2)} \\ & = x^3+\frac {2^{-1+50 x}}{625 \log ^2(2)}-\frac {2^{50 x} x}{25 \log (2)}-\frac {2^{-2+50 x} \log (4)}{625 \log ^3(2)}+\frac {2^{-1+50 x} x \log (4)}{25 \log ^2(2)}-\frac {2^{-1+50 x} x^2 \log (4)}{\log (2)}-\frac {e^{2 \log ^2(x)} \left (4^{1+25 x} \log (x)-4 x \log (x)\right )}{4 \log (x)}-\frac {e^{\log ^2(x)} x \left (2^{1+50 x} \log (x)-2 x \log (x)\right )}{\log (x)} \\ \end{align*}
Time = 0.34 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.68 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=-\left (\left (2^{50 x}-x\right ) \left (e^{\log ^2(x)}+x\right )^2\right ) \]
[In]
[Out]
Time = 0.82 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.68
method | result | size |
risch | \(x^{3}-x^{2} {\mathrm e}^{50 x \ln \left (2\right )}+\left (x -{\mathrm e}^{50 x \ln \left (2\right )}\right ) {\mathrm e}^{2 \ln \left (x \right )^{2}}+2 \left (x -{\mathrm e}^{50 x \ln \left (2\right )}\right ) x \,{\mathrm e}^{\ln \left (x \right )^{2}}\) | \(52\) |
default | \({\mathrm e}^{2 \ln \left (x \right )^{2}} x -{\mathrm e}^{50 x \ln \left (2\right )} {\mathrm e}^{2 \ln \left (x \right )^{2}}+2 \,{\mathrm e}^{\ln \left (x \right )^{2}} x^{2}-2 \,{\mathrm e}^{50 x \ln \left (2\right )} {\mathrm e}^{\ln \left (x \right )^{2}} x +x^{3}-x^{2} {\mathrm e}^{50 x \ln \left (2\right )}\) | \(64\) |
parallelrisch | \({\mathrm e}^{2 \ln \left (x \right )^{2}} x -{\mathrm e}^{50 x \ln \left (2\right )} {\mathrm e}^{2 \ln \left (x \right )^{2}}+2 \,{\mathrm e}^{\ln \left (x \right )^{2}} x^{2}-2 \,{\mathrm e}^{50 x \ln \left (2\right )} {\mathrm e}^{\ln \left (x \right )^{2}} x +x^{3}-x^{2} {\mathrm e}^{50 x \ln \left (2\right )}\) | \(64\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 52 vs. \(2 (20) = 40\).
Time = 0.25 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.68 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=-2^{50 \, x} x^{2} + x^{3} - {\left (2^{50 \, x} - x\right )} e^{\left (2 \, \log \left (x\right )^{2}\right )} - 2 \, {\left (2^{50 \, x} x - x^{2}\right )} e^{\left (\log \left (x\right )^{2}\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (27) = 54\).
Time = 93.40 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.81 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=x^{3} + 2 x^{2} e^{\log {\left (x \right )}^{2}} + x e^{2 \log {\left (x \right )}^{2}} + \left (- x^{2} - 2 x e^{\log {\left (x \right )}^{2}} - e^{2 \log {\left (x \right )}^{2}}\right ) e^{50 x \log {\left (2 \right )}} \]
[In]
[Out]
\[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=\int { \frac {3 \, x^{3} - 2 \, {\left (25 \, x^{3} \log \left (2\right ) + x^{2}\right )} 2^{50 \, x} - {\left (50 \cdot 2^{50 \, x} x \log \left (2\right ) + 4 \, {\left (2^{50 \, x} - x\right )} \log \left (x\right ) - x\right )} e^{\left (2 \, \log \left (x\right )^{2}\right )} - 2 \, {\left ({\left (50 \, x^{2} \log \left (2\right ) + x\right )} 2^{50 \, x} - 2 \, x^{2} + 2 \, {\left (2^{50 \, x} x - x^{2}\right )} \log \left (x\right )\right )} e^{\left (\log \left (x\right )^{2}\right )}}{x} \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 62 vs. \(2 (20) = 40\).
Time = 0.36 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.00 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx=-2^{50 \, x} x^{2} + x^{3} + 2 \, x^{2} e^{\left (\log \left (x\right )^{2}\right )} - 2 \, x e^{\left (50 \, x \log \left (2\right ) + \log \left (x\right )^{2}\right )} + x e^{\left (2 \, \log \left (x\right )^{2}\right )} - e^{\left (50 \, x \log \left (2\right ) + 2 \, \log \left (x\right )^{2}\right )} \]
[In]
[Out]
Time = 10.02 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.55 \[ \int \frac {3 x^3+4^{25 x} \left (-2 x^2-25 x^3 \log (4)\right )+e^{2 \log ^2(x)} \left (x-25\ 4^{25 x} x \log (4)+\left (-4^{1+25 x}+4 x\right ) \log (x)\right )+e^{\log ^2(x)} \left (4 x^2+4^{25 x} \left (-2 x-50 x^2 \log (4)\right )+\left (-4^{1+25 x} x+4 x^2\right ) \log (x)\right )}{x} \, dx={\mathrm {e}}^{2\,{\ln \left (x\right )}^2}\,\left (x-2^{50\,x}\right )-2^{50\,x}\,x^2+x^3+2\,x\,{\mathrm {e}}^{{\ln \left (x\right )}^2}\,\left (x-2^{50\,x}\right ) \]
[In]
[Out]