Optimal. Leaf size=20 \[ -\frac {1}{2 \left (a x+b \log ^2\left (c x^n\right )\right )^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 20, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 39, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.051, Rules used = {2641, 2624}
\begin {gather*} -\frac {1}{2 \left (a x+b \log ^2\left (c x^n\right )\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2624
Rule 2641
Rubi steps
\begin {align*} \int \frac {a x^3+2 b n x^2 \log \left (c x^n\right )}{\left (a x^2+b x \log ^2\left (c x^n\right )\right )^3} \, dx &=\int \frac {x^2 \left (a x+2 b n \log \left (c x^n\right )\right )}{\left (a x^2+b x \log ^2\left (c x^n\right )\right )^3} \, dx\\ &=\int \frac {a x+2 b n \log \left (c x^n\right )}{x \left (a x+b \log ^2\left (c x^n\right )\right )^3} \, dx\\ &=-\frac {1}{2 \left (a x+b \log ^2\left (c x^n\right )\right )^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 20, normalized size = 1.00 \begin {gather*} -\frac {1}{2 \left (a x+b \log ^2\left (c x^n\right )\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.07, size = 451, normalized size = 22.55
method | result | size |
risch | \(-\frac {8}{\left (-b \,\pi ^{2} \mathrm {csgn}\left (i c \right )^{2} \mathrm {csgn}\left (i x^{n}\right )^{2} \mathrm {csgn}\left (i c \,x^{n}\right )^{2}+2 b \,\pi ^{2} \mathrm {csgn}\left (i c \right )^{2} \mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{3}-b \,\pi ^{2} \mathrm {csgn}\left (i c \right )^{2} \mathrm {csgn}\left (i c \,x^{n}\right )^{4}+2 b \,\pi ^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i x^{n}\right )^{2} \mathrm {csgn}\left (i c \,x^{n}\right )^{3}-4 b \,\pi ^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{4}+2 b \,\pi ^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{5}-b \,\pi ^{2} \mathrm {csgn}\left (i x^{n}\right )^{2} \mathrm {csgn}\left (i c \,x^{n}\right )^{4}+2 b \,\pi ^{2} \mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{5}-b \,\pi ^{2} \mathrm {csgn}\left (i c \,x^{n}\right )^{6}-4 i b \ln \left (x^{n}\right ) \pi \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )+4 i b \ln \left (c \right ) \pi \,\mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{2}-4 i b \ln \left (c \right ) \pi \mathrm {csgn}\left (i c \,x^{n}\right )^{3}-4 i b \ln \left (x^{n}\right ) \pi \mathrm {csgn}\left (i c \,x^{n}\right )^{3}-4 i b \ln \left (c \right ) \pi \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )+4 i b \ln \left (c \right ) \pi \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{2}+4 i b \ln \left (x^{n}\right ) \pi \,\mathrm {csgn}\left (i x^{n}\right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{2}+4 i b \ln \left (x^{n}\right ) \pi \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \,x^{n}\right )^{2}+4 b \ln \left (c \right )^{2}+8 b \ln \left (c \right ) \ln \left (x^{n}\right )+4 b \ln \left (x^{n}\right )^{2}+4 a x \right )^{2}}\) | \(451\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 95 vs.
\(2 (18) = 36\).
time = 0.38, size = 95, normalized size = 4.75 \begin {gather*} -\frac {1}{2 \, {\left (b^{2} \log \left (c\right )^{4} + 4 \, b^{2} \log \left (c\right ) \log \left (x^{n}\right )^{3} + b^{2} \log \left (x^{n}\right )^{4} + 2 \, a b x \log \left (c\right )^{2} + a^{2} x^{2} + 2 \, {\left (3 \, b^{2} \log \left (c\right )^{2} + a b x\right )} \log \left (x^{n}\right )^{2} + 4 \, {\left (b^{2} \log \left (c\right )^{3} + a b x \log \left (c\right )\right )} \log \left (x^{n}\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 101 vs.
\(2 (18) = 36\).
time = 0.36, size = 101, normalized size = 5.05 \begin {gather*} -\frac {1}{2 \, {\left (b^{2} n^{4} \log \left (x\right )^{4} + 4 \, b^{2} n^{3} \log \left (c\right ) \log \left (x\right )^{3} + b^{2} \log \left (c\right )^{4} + 2 \, a b x \log \left (c\right )^{2} + a^{2} x^{2} + 2 \, {\left (3 \, b^{2} n^{2} \log \left (c\right )^{2} + a b n^{2} x\right )} \log \left (x\right )^{2} + 4 \, {\left (b^{2} n \log \left (c\right )^{3} + a b n x \log \left (c\right )\right )} \log \left (x\right )\right )}} \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 {a x + 2 b n \log {\left (c x^{n} \right )}}{x \left (a x + b \log {\left (c x^{n} \right )}^{2}\right )^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 306 vs.
\(2 (18) = 36\).
time = 3.51, size = 306, normalized size = 15.30 \begin {gather*} -\frac {4 \, a b n^{2} x + a^{2} x^{2}}{2 \, {\left (4 \, a b^{3} n^{6} x \log \left (x\right )^{4} + 16 \, a b^{3} n^{5} x \log \left (c\right ) \log \left (x\right )^{3} + a^{2} b^{2} n^{4} x^{2} \log \left (x\right )^{4} + 24 \, a b^{3} n^{4} x \log \left (c\right )^{2} \log \left (x\right )^{2} + 4 \, a^{2} b^{2} n^{3} x^{2} \log \left (c\right ) \log \left (x\right )^{3} + 16 \, a b^{3} n^{3} x \log \left (c\right )^{3} \log \left (x\right ) + 8 \, a^{2} b^{2} n^{4} x^{2} \log \left (x\right )^{2} + 6 \, a^{2} b^{2} n^{2} x^{2} \log \left (c\right )^{2} \log \left (x\right )^{2} + 4 \, a b^{3} n^{2} x \log \left (c\right )^{4} + 16 \, a^{2} b^{2} n^{3} x^{2} \log \left (c\right ) \log \left (x\right ) + 4 \, a^{2} b^{2} n x^{2} \log \left (c\right )^{3} \log \left (x\right ) + 2 \, a^{3} b n^{2} x^{3} \log \left (x\right )^{2} + 8 \, a^{2} b^{2} n^{2} x^{2} \log \left (c\right )^{2} + a^{2} b^{2} x^{2} \log \left (c\right )^{4} + 4 \, a^{3} b n x^{3} \log \left (c\right ) \log \left (x\right ) + 4 \, a^{3} b n^{2} x^{3} + 2 \, a^{3} b x^{3} \log \left (c\right )^{2} + a^{4} x^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.27, size = 39, normalized size = 1.95 \begin {gather*} -\frac {1}{2\,a^2\,x^2+4\,a\,b\,x\,{\ln \left (c\,x^n\right )}^2+2\,b^2\,{\ln \left (c\,x^n\right )}^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________