Optimal. Leaf size=346 \[ \frac {(b c-a d)^4 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e e^{\frac {e}{c+d x}} (c+d x)}{d^5}+\frac {b^2 (b c-a d)^2 e^2 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {b^2 (b c-a d)^2 e e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {2 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^3}{d^5}-\frac {(b c-a d)^4 e \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}+\frac {2 b (b c-a d)^3 e^2 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^2 (b c-a d)^2 e^3 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^4 e^5 \Gamma \left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {4 b^3 (b c-a d) e^4 \Gamma \left (-4,-\frac {e}{c+d x}\right )}{d^5} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.25, antiderivative size = 346, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 5, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.263, Rules used = {2258, 2237,
2241, 2245, 2250} \begin {gather*} -\frac {4 b^3 e^4 (b c-a d) \text {Gamma}\left (-4,-\frac {e}{c+d x}\right )}{d^5}-\frac {b^4 e^5 \text {Gamma}\left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {b^2 e^3 (b c-a d)^2 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}+\frac {b^2 e^2 (c+d x) (b c-a d)^2 e^{\frac {e}{c+d x}}}{d^5}+\frac {b^2 e (c+d x)^2 (b c-a d)^2 e^{\frac {e}{c+d x}}}{d^5}+\frac {2 b^2 (c+d x)^3 (b c-a d)^2 e^{\frac {e}{c+d x}}}{d^5}+\frac {2 b e^2 (b c-a d)^3 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {e (b c-a d)^4 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {2 b e (c+d x) (b c-a d)^3 e^{\frac {e}{c+d x}}}{d^5}-\frac {2 b (c+d x)^2 (b c-a d)^3 e^{\frac {e}{c+d x}}}{d^5}+\frac {(c+d x) (b c-a d)^4 e^{\frac {e}{c+d x}}}{d^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2237
Rule 2241
Rule 2245
Rule 2250
Rule 2258
Rubi steps
\begin {align*} \int e^{\frac {e}{c+d x}} (a+b x)^4 \, dx &=\int \left (\frac {(-b c+a d)^4 e^{\frac {e}{c+d x}}}{d^4}-\frac {4 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)}{d^4}+\frac {6 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^2}{d^4}-\frac {4 b^3 (b c-a d) e^{\frac {e}{c+d x}} (c+d x)^3}{d^4}+\frac {b^4 e^{\frac {e}{c+d x}} (c+d x)^4}{d^4}\right ) \, dx\\ &=\frac {b^4 \int e^{\frac {e}{c+d x}} (c+d x)^4 \, dx}{d^4}-\frac {\left (4 b^3 (b c-a d)\right ) \int e^{\frac {e}{c+d x}} (c+d x)^3 \, dx}{d^4}+\frac {\left (6 b^2 (b c-a d)^2\right ) \int e^{\frac {e}{c+d x}} (c+d x)^2 \, dx}{d^4}-\frac {\left (4 b (b c-a d)^3\right ) \int e^{\frac {e}{c+d x}} (c+d x) \, dx}{d^4}+\frac {(b c-a d)^4 \int e^{\frac {e}{c+d x}} \, dx}{d^4}\\ &=\frac {(b c-a d)^4 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {2 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^3}{d^5}-\frac {b^4 e^5 \Gamma \left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {4 b^3 (b c-a d) e^4 \Gamma \left (-4,-\frac {e}{c+d x}\right )}{d^5}+\frac {\left (2 b^2 (b c-a d)^2 e\right ) \int e^{\frac {e}{c+d x}} (c+d x) \, dx}{d^4}-\frac {\left (2 b (b c-a d)^3 e\right ) \int e^{\frac {e}{c+d x}} \, dx}{d^4}+\frac {\left ((b c-a d)^4 e\right ) \int \frac {e^{\frac {e}{c+d x}}}{c+d x} \, dx}{d^4}\\ &=\frac {(b c-a d)^4 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {b^2 (b c-a d)^2 e e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {2 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^3}{d^5}-\frac {(b c-a d)^4 e \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^4 e^5 \Gamma \left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {4 b^3 (b c-a d) e^4 \Gamma \left (-4,-\frac {e}{c+d x}\right )}{d^5}+\frac {\left (b^2 (b c-a d)^2 e^2\right ) \int e^{\frac {e}{c+d x}} \, dx}{d^4}-\frac {\left (2 b (b c-a d)^3 e^2\right ) \int \frac {e^{\frac {e}{c+d x}}}{c+d x} \, dx}{d^4}\\ &=\frac {(b c-a d)^4 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e e^{\frac {e}{c+d x}} (c+d x)}{d^5}+\frac {b^2 (b c-a d)^2 e^2 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {b^2 (b c-a d)^2 e e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {2 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^3}{d^5}-\frac {(b c-a d)^4 e \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}+\frac {2 b (b c-a d)^3 e^2 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^4 e^5 \Gamma \left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {4 b^3 (b c-a d) e^4 \Gamma \left (-4,-\frac {e}{c+d x}\right )}{d^5}+\frac {\left (b^2 (b c-a d)^2 e^3\right ) \int \frac {e^{\frac {e}{c+d x}}}{c+d x} \, dx}{d^4}\\ &=\frac {(b c-a d)^4 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e e^{\frac {e}{c+d x}} (c+d x)}{d^5}+\frac {b^2 (b c-a d)^2 e^2 e^{\frac {e}{c+d x}} (c+d x)}{d^5}-\frac {2 b (b c-a d)^3 e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {b^2 (b c-a d)^2 e e^{\frac {e}{c+d x}} (c+d x)^2}{d^5}+\frac {2 b^2 (b c-a d)^2 e^{\frac {e}{c+d x}} (c+d x)^3}{d^5}-\frac {(b c-a d)^4 e \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}+\frac {2 b (b c-a d)^3 e^2 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^2 (b c-a d)^2 e^3 \text {Ei}\left (\frac {e}{c+d x}\right )}{d^5}-\frac {b^4 e^5 \Gamma \left (-5,-\frac {e}{c+d x}\right )}{d^5}-\frac {4 b^3 (b c-a d) e^4 \Gamma \left (-4,-\frac {e}{c+d x}\right )}{d^5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.37, size = 468, normalized size = 1.35 \begin {gather*} \frac {c \left (120 a^4 d^4-240 a^3 b d^3 (c-e)+120 a^2 b^2 d^2 \left (2 c^2-5 c e+e^2\right )-20 a b^3 d \left (6 c^3-26 c^2 e+11 c e^2-e^3\right )+b^4 \left (24 c^4-154 c^3 e+102 c^2 e^2-19 c e^3+e^4\right )\right ) e^{\frac {e}{c+d x}}}{120 d^5}+\frac {d e^{\frac {e}{c+d x}} x \left (120 a^4 d^4+240 a^3 b d^3 (e+d x)+120 a^2 b^2 d^2 \left (-4 c e+e^2+d e x+2 d^2 x^2\right )+20 a b^3 d \left (18 c^2 e+e^3+d e^2 x+2 d^2 e x^2+6 d^3 x^3-2 c e (5 e+3 d x)\right )+b^4 \left (-96 c^3 e+e^4+d e^3 x+2 d^2 e^2 x^2+6 d^3 e x^3+24 d^4 x^4+2 c^2 e (43 e+18 d x)-2 c e \left (9 e^2+7 d e x+8 d^2 x^2\right )\right )\right )-e \left (120 a^4 d^4-240 a^3 b d^3 (2 c-e)+120 a^2 b^2 d^2 \left (6 c^2-6 c e+e^2\right )-20 a b^3 d \left (24 c^3-36 c^2 e+12 c e^2-e^3\right )+b^4 \left (120 c^4-240 c^3 e+120 c^2 e^2-20 c e^3+e^4\right )\right ) \text {Ei}\left (\frac {e}{c+d x}\right )}{120 d^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1145\) vs.
\(2(347)=694\).
time = 0.12, size = 1146, normalized size = 3.31
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1146\) |
default | \(\text {Expression too large to display}\) | \(1146\) |
risch | \(\text {Expression too large to display}\) | \(1273\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.09, size = 626, normalized size = 1.81 \begin {gather*} -\frac {{\left (b^{4} e^{5} - 20 \, {\left (b^{4} c - a b^{3} d\right )} e^{4} + 120 \, {\left (b^{4} c^{2} - 2 \, a b^{3} c d + a^{2} b^{2} d^{2}\right )} e^{3} - 240 \, {\left (b^{4} c^{3} - 3 \, a b^{3} c^{2} d + 3 \, a^{2} b^{2} c d^{2} - a^{3} b d^{3}\right )} e^{2} + 120 \, {\left (b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}\right )} e\right )} {\rm Ei}\left (\frac {e}{d x + c}\right ) - {\left (24 \, b^{4} d^{5} x^{5} + 120 \, a b^{3} d^{5} x^{4} + 240 \, a^{2} b^{2} d^{5} x^{3} + 240 \, a^{3} b d^{5} x^{2} + 120 \, a^{4} d^{5} x + 24 \, b^{4} c^{5} - 120 \, a b^{3} c^{4} d + 240 \, a^{2} b^{2} c^{3} d^{2} - 240 \, a^{3} b c^{2} d^{3} + 120 \, a^{4} c d^{4} + {\left (b^{4} d x + b^{4} c\right )} e^{4} + {\left (b^{4} d^{2} x^{2} - 19 \, b^{4} c^{2} + 20 \, a b^{3} c d - 2 \, {\left (9 \, b^{4} c d - 10 \, a b^{3} d^{2}\right )} x\right )} e^{3} + 2 \, {\left (b^{4} d^{3} x^{3} + 51 \, b^{4} c^{3} - 110 \, a b^{3} c^{2} d + 60 \, a^{2} b^{2} c d^{2} - {\left (7 \, b^{4} c d^{2} - 10 \, a b^{3} d^{3}\right )} x^{2} + {\left (43 \, b^{4} c^{2} d - 100 \, a b^{3} c d^{2} + 60 \, a^{2} b^{2} d^{3}\right )} x\right )} e^{2} + 2 \, {\left (3 \, b^{4} d^{4} x^{4} - 77 \, b^{4} c^{4} + 260 \, a b^{3} c^{3} d - 300 \, a^{2} b^{2} c^{2} d^{2} + 120 \, a^{3} b c d^{3} - 4 \, {\left (2 \, b^{4} c d^{3} - 5 \, a b^{3} d^{4}\right )} x^{3} + 6 \, {\left (3 \, b^{4} c^{2} d^{2} - 10 \, a b^{3} c d^{3} + 10 \, a^{2} b^{2} d^{4}\right )} x^{2} - 12 \, {\left (4 \, b^{4} c^{3} d - 15 \, a b^{3} c^{2} d^{2} + 20 \, a^{2} b^{2} c d^{3} - 10 \, a^{3} b d^{4}\right )} x\right )} e\right )} e^{\left (\frac {e}{d x + c}\right )}}{120 \, d^{5}} \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 \left (a + b x\right )^{4} e^{\frac {e}{c + d x}}\, 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. 1427 vs.
\(2 (358) = 716\).
time = 1.07, size = 1427, normalized size = 4.12 \begin {gather*} -\frac {{\left (\frac {120 \, b^{4} c^{4} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{7}}{{\left (d x + c\right )}^{5}} - \frac {480 \, a b^{3} c^{3} d {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{7}}{{\left (d x + c\right )}^{5}} + \frac {720 \, a^{2} b^{2} c^{2} d^{2} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{7}}{{\left (d x + c\right )}^{5}} - \frac {480 \, a^{3} b c d^{3} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{7}}{{\left (d x + c\right )}^{5}} + \frac {120 \, a^{4} d^{4} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{7}}{{\left (d x + c\right )}^{5}} - 24 \, b^{4} e^{\left (\frac {e}{d x + c} + 6\right )} + \frac {120 \, b^{4} c e^{\left (\frac {e}{d x + c} + 6\right )}}{d x + c} - \frac {240 \, b^{4} c^{2} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{2}} + \frac {240 \, b^{4} c^{3} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{3}} - \frac {120 \, b^{4} c^{4} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{4}} - \frac {120 \, a b^{3} d e^{\left (\frac {e}{d x + c} + 6\right )}}{d x + c} + \frac {480 \, a b^{3} c d e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{2}} - \frac {720 \, a b^{3} c^{2} d e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{3}} + \frac {480 \, a b^{3} c^{3} d e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{4}} - \frac {240 \, a^{2} b^{2} d^{2} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{2}} + \frac {720 \, a^{2} b^{2} c d^{2} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{3}} - \frac {720 \, a^{2} b^{2} c^{2} d^{2} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{4}} - \frac {240 \, a^{3} b d^{3} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{3}} + \frac {480 \, a^{3} b c d^{3} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{4}} - \frac {120 \, a^{4} d^{4} e^{\left (\frac {e}{d x + c} + 6\right )}}{{\left (d x + c\right )}^{4}} - \frac {240 \, b^{4} c^{3} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{8}}{{\left (d x + c\right )}^{5}} + \frac {720 \, a b^{3} c^{2} d {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{8}}{{\left (d x + c\right )}^{5}} - \frac {720 \, a^{2} b^{2} c d^{2} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{8}}{{\left (d x + c\right )}^{5}} + \frac {240 \, a^{3} b d^{3} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{8}}{{\left (d x + c\right )}^{5}} - \frac {6 \, b^{4} e^{\left (\frac {e}{d x + c} + 7\right )}}{d x + c} + \frac {40 \, b^{4} c e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{2}} - \frac {120 \, b^{4} c^{2} e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{3}} + \frac {240 \, b^{4} c^{3} e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{4}} - \frac {40 \, a b^{3} d e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{2}} + \frac {240 \, a b^{3} c d e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{3}} - \frac {720 \, a b^{3} c^{2} d e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{4}} - \frac {120 \, a^{2} b^{2} d^{2} e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{3}} + \frac {720 \, a^{2} b^{2} c d^{2} e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{4}} - \frac {240 \, a^{3} b d^{3} e^{\left (\frac {e}{d x + c} + 7\right )}}{{\left (d x + c\right )}^{4}} + \frac {120 \, b^{4} c^{2} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{9}}{{\left (d x + c\right )}^{5}} - \frac {240 \, a b^{3} c d {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{9}}{{\left (d x + c\right )}^{5}} + \frac {120 \, a^{2} b^{2} d^{2} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{9}}{{\left (d x + c\right )}^{5}} - \frac {2 \, b^{4} e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{2}} + \frac {20 \, b^{4} c e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{3}} - \frac {120 \, b^{4} c^{2} e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{4}} - \frac {20 \, a b^{3} d e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{3}} + \frac {240 \, a b^{3} c d e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{4}} - \frac {120 \, a^{2} b^{2} d^{2} e^{\left (\frac {e}{d x + c} + 8\right )}}{{\left (d x + c\right )}^{4}} - \frac {20 \, b^{4} c {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{10}}{{\left (d x + c\right )}^{5}} + \frac {20 \, a b^{3} d {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{10}}{{\left (d x + c\right )}^{5}} - \frac {b^{4} e^{\left (\frac {e}{d x + c} + 9\right )}}{{\left (d x + c\right )}^{3}} + \frac {20 \, b^{4} c e^{\left (\frac {e}{d x + c} + 9\right )}}{{\left (d x + c\right )}^{4}} - \frac {20 \, a b^{3} d e^{\left (\frac {e}{d x + c} + 9\right )}}{{\left (d x + c\right )}^{4}} + \frac {b^{4} {\rm Ei}\left (\frac {e}{d x + c}\right ) e^{11}}{{\left (d x + c\right )}^{5}} - \frac {b^{4} e^{\left (\frac {e}{d x + c} + 10\right )}}{{\left (d x + c\right )}^{4}}\right )} {\left (d x + c\right )}^{5} e^{\left (-6\right )}}{120 \, d^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\mathrm {e}}^{\frac {e}{c+d\,x}}\,{\left (a+b\,x\right )}^4 \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________