Optimal. Leaf size=16 \[ 2+\log \left (16 \left (2+\frac {1}{e^4}\right )+\frac {51 x}{25}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 12, normalized size of antiderivative = 0.75, number of steps used = 3, number of rules used = 3, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {12, 33, 31} \begin {gather*} \log \left (e^4 (51 x+800)+400\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 33
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\left (51 e^4\right ) \int \frac {1}{400+e^4 (800+51 x)} \, dx\\ &=e^4 \operatorname {Subst}\left (\int \frac {1}{400+e^4 x} \, dx,x,800+51 x\right )\\ &=\log \left (400+e^4 (800+51 x)\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 12, normalized size = 0.75 \begin {gather*} \log \left (400+e^4 (800+51 x)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.61, size = 11, normalized size = 0.69 \begin {gather*} \log \left ({\left (51 \, x + 800\right )} e^{4} + 400\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.16, size = 12, normalized size = 0.75 \begin {gather*} \log \left ({\left | {\left (51 \, x + 800\right )} e^{4} + 400 \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.36, size = 13, normalized size = 0.81
method | result | size |
default | \(\ln \left (51 x \,{\mathrm e}^{4}+800 \,{\mathrm e}^{4}+400\right )\) | \(13\) |
norman | \(\ln \left (51 x \,{\mathrm e}^{4}+800 \,{\mathrm e}^{4}+400\right )\) | \(13\) |
risch | \(\ln \left (51 x \,{\mathrm e}^{4}+800 \,{\mathrm e}^{4}+400\right )\) | \(13\) |
meijerg | \(\frac {400 \left (2 \,{\mathrm e}^{4}+1\right ) \ln \left (1+\frac {51 x \,{\mathrm e}^{4}}{400 \left (2 \,{\mathrm e}^{4}+1\right )}\right )}{800 \,{\mathrm e}^{4}+400}\) | \(33\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.34, size = 11, normalized size = 0.69 \begin {gather*} \log \left ({\left (51 \, x + 800\right )} e^{4} + 400\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.48, size = 10, normalized size = 0.62 \begin {gather*} \ln \left (51\,x+400\,{\mathrm {e}}^{-4}+800\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.07, size = 14, normalized size = 0.88 \begin {gather*} \log {\left (51 x e^{4} + 400 + 800 e^{4} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________