Optimal. Leaf size=19 \[ \frac {1}{-16 e^{-x (4-\log (2))}+3 x} \]
________________________________________________________________________________________
Rubi [F] time = 3.15, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {-3 e^{8 x-2 x \log (2)}+e^{4 x-x \log (2)} (-64+16 \log (2))}{256-96 e^{4 x-x \log (2)} x+9 e^{8 x-2 x \log (2)} x^2} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-3 e^{8 x}+2^{4+x} e^{4 x} (-4+\log (2))}{\left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx\\ &=\int \left (-\frac {1}{3 x^2}+\frac {2^{8+2 x} (-1-x (4-\log (2)))}{3 x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2}+\frac {2^{4+x} (2+x (4-\log (2)))}{3 x^2 \left (2^{4+x}-3 e^{4 x} x\right )}\right ) \, dx\\ &=\frac {1}{3 x}+\frac {1}{3} \int \frac {2^{8+2 x} (-1-x (4-\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} \int \frac {2^{4+x} (2+x (4-\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )} \, dx\\ &=\frac {1}{3 x}+\frac {1}{3} \int \frac {4^{4+x} (-1+x (-4+\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} \int \left (-\frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )}+\frac {2^{4+x} (-4+\log (2))}{x \left (-2^{4+x}+3 e^{4 x} x\right )}\right ) \, dx\\ &=\frac {1}{3 x}-\frac {1}{3} \int \frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx+\frac {1}{3} \int \left (-\frac {4^{4+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )^2}+\frac {4^{4+x} (-4+\log (2))}{x \left (-2^{4+x}+3 e^{4 x} x\right )^2}\right ) \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {2^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx\\ &=\frac {1}{3 x}-\frac {1}{3} \int \frac {4^{4+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )^2} \, dx-\frac {1}{3} \int \frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {4^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {2^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.67, size = 23, normalized size = 1.21 \begin {gather*} -\frac {e^{4 x}}{2^{4+x}-3 e^{4 x} x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.48, size = 28, normalized size = 1.47 \begin {gather*} \frac {e^{\left (-x \log \relax (2) + 4 \, x\right )}}{3 \, x e^{\left (-x \log \relax (2) + 4 \, x\right )} - 16} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.19, size = 28, normalized size = 1.47 \begin {gather*} \frac {e^{\left (-x \log \relax (2) + 4 \, x\right )}}{3 \, x e^{\left (-x \log \relax (2) + 4 \, x\right )} - 16} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.16, size = 26, normalized size = 1.37
method | result | size |
risch | \(\frac {1}{3 x}+\frac {16}{3 x \left (3 \left (\frac {1}{2}\right )^{x} x \,{\mathrm e}^{4 x}-16\right )}\) | \(26\) |
norman | \(\frac {{\mathrm e}^{-x \ln \relax (2)+3 x} {\mathrm e}^{x}}{3 x \,{\mathrm e}^{-x \ln \relax (2)+3 x} {\mathrm e}^{x}-16}\) | \(33\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.49, size = 20, normalized size = 1.05 \begin {gather*} \frac {e^{\left (4 \, x\right )}}{3 \, x e^{\left (4 \, x\right )} - 16 \cdot 2^{x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int -\frac {3\,{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{6\,x-2\,x\,\ln \relax (2)}-{\mathrm {e}}^x\,{\mathrm {e}}^{3\,x-x\,\ln \relax (2)}\,\left (16\,\ln \relax (2)-64\right )}{9\,x^2\,{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{6\,x-2\,x\,\ln \relax (2)}-96\,x\,{\mathrm {e}}^x\,{\mathrm {e}}^{3\,x-x\,\ln \relax (2)}+256} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {3 e^{8 x}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\, dx - \int \frac {64 e^{4 x} e^{x \log {\relax (2 )}}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\, dx - \int \left (- \frac {16 e^{4 x} e^{x \log {\relax (2 )}} \log {\relax (2 )}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\right )\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________