Optimal. Leaf size=75 \[ -\frac {2 f^2 \cos (c+d x)}{a d^3}-\frac {2 f (e+f x) \sin (c+d x)}{a d^2}+\frac {(e+f x)^2 \cos (c+d x)}{a d}+\frac {(e+f x)^3}{3 a f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.11, antiderivative size = 75, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {4523, 32, 3296, 2638} \[ -\frac {2 f (e+f x) \sin (c+d x)}{a d^2}-\frac {2 f^2 \cos (c+d x)}{a d^3}+\frac {(e+f x)^2 \cos (c+d x)}{a d}+\frac {(e+f x)^3}{3 a f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 32
Rule 2638
Rule 3296
Rule 4523
Rubi steps
\begin {align*} \int \frac {(e+f x)^2 \cos ^2(c+d x)}{a+a \sin (c+d x)} \, dx &=\frac {\int (e+f x)^2 \, dx}{a}-\frac {\int (e+f x)^2 \sin (c+d x) \, dx}{a}\\ &=\frac {(e+f x)^3}{3 a f}+\frac {(e+f x)^2 \cos (c+d x)}{a d}-\frac {(2 f) \int (e+f x) \cos (c+d x) \, dx}{a d}\\ &=\frac {(e+f x)^3}{3 a f}+\frac {(e+f x)^2 \cos (c+d x)}{a d}-\frac {2 f (e+f x) \sin (c+d x)}{a d^2}+\frac {\left (2 f^2\right ) \int \sin (c+d x) \, dx}{a d^2}\\ &=\frac {(e+f x)^3}{3 a f}-\frac {2 f^2 \cos (c+d x)}{a d^3}+\frac {(e+f x)^2 \cos (c+d x)}{a d}-\frac {2 f (e+f x) \sin (c+d x)}{a d^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.47, size = 74, normalized size = 0.99 \[ \frac {3 \cos (c+d x) \left (d^2 (e+f x)^2-2 f^2\right )-6 d f (e+f x) \sin (c+d x)+d^3 x \left (3 e^2+3 e f x+f^2 x^2\right )}{3 a d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.44, size = 96, normalized size = 1.28 \[ \frac {d^{3} f^{2} x^{3} + 3 \, d^{3} e f x^{2} + 3 \, d^{3} e^{2} x + 3 \, {\left (d^{2} f^{2} x^{2} + 2 \, d^{2} e f x + d^{2} e^{2} - 2 \, f^{2}\right )} \cos \left (d x + c\right ) - 6 \, {\left (d f^{2} x + d e f\right )} \sin \left (d x + c\right )}{3 \, a d^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.12, size = 215, normalized size = 2.87 \[ -\frac {f^{2} \left (-\left (d x +c \right )^{2} \cos \left (d x +c \right )+2 \cos \left (d x +c \right )+2 \left (d x +c \right ) \sin \left (d x +c \right )\right )-2 c \,f^{2} \left (\sin \left (d x +c \right )-\left (d x +c \right ) \cos \left (d x +c \right )\right )+2 d e f \left (\sin \left (d x +c \right )-\left (d x +c \right ) \cos \left (d x +c \right )\right )-c^{2} f^{2} \cos \left (d x +c \right )+2 c d e f \cos \left (d x +c \right )-d^{2} e^{2} \cos \left (d x +c \right )-\frac {f^{2} \left (d x +c \right )^{3}}{3}+c \,f^{2} \left (d x +c \right )^{2}-d e f \left (d x +c \right )^{2}-c^{2} f^{2} \left (d x +c \right )+2 c d e f \left (d x +c \right )-d^{2} e^{2} \left (d x +c \right )}{d^{3} a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.73, size = 309, normalized size = 4.12 \[ \frac {6 \, c^{2} f^{2} {\left (\frac {1}{a d^{2} + \frac {a d^{2} \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}}} + \frac {\arctan \left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1}\right )}{a d^{2}}\right )} - 12 \, c e f {\left (\frac {1}{a d + \frac {a d \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}}} + \frac {\arctan \left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1}\right )}{a d}\right )} + 6 \, e^{2} {\left (\frac {\arctan \left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1}\right )}{a} + \frac {1}{a + \frac {a \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}}}\right )} + \frac {3 \, {\left ({\left (d x + c\right )}^{2} + 2 \, {\left (d x + c\right )} \cos \left (d x + c\right ) - 2 \, \sin \left (d x + c\right )\right )} e f}{a d} - \frac {3 \, {\left ({\left (d x + c\right )}^{2} + 2 \, {\left (d x + c\right )} \cos \left (d x + c\right ) - 2 \, \sin \left (d x + c\right )\right )} c f^{2}}{a d^{2}} + \frac {{\left ({\left (d x + c\right )}^{3} + 3 \, {\left ({\left (d x + c\right )}^{2} - 2\right )} \cos \left (d x + c\right ) - 6 \, {\left (d x + c\right )} \sin \left (d x + c\right )\right )} f^{2}}{a d^{2}}}{3 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.96, size = 110, normalized size = 1.47 \[ \frac {e^2\,x+e\,f\,x^2+\frac {f^2\,x^3}{3}}{a}-\frac {2\,f^2\,\cos \left (c+d\,x\right )-d^2\,\left (e^2\,\cos \left (c+d\,x\right )+f^2\,x^2\,\cos \left (c+d\,x\right )+2\,e\,f\,x\,\cos \left (c+d\,x\right )\right )+d\,\left (2\,x\,\sin \left (c+d\,x\right )\,f^2+2\,e\,\sin \left (c+d\,x\right )\,f\right )}{a\,d^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 6.55, size = 605, normalized size = 8.07 \[ \begin {cases} \frac {3 d^{3} e^{2} x \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {3 d^{3} e^{2} x}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {3 d^{3} e f x^{2} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {3 d^{3} e f x^{2}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {d^{3} f^{2} x^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {d^{3} f^{2} x^{3}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {6 d^{2} e^{2}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} - \frac {6 d^{2} e f x \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {6 d^{2} e f x}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} - \frac {3 d^{2} f^{2} x^{2} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} + \frac {3 d^{2} f^{2} x^{2}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} - \frac {12 d e f \tan {\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} - \frac {12 d f^{2} x \tan {\left (\frac {c}{2} + \frac {d x}{2} \right )}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} - \frac {12 f^{2}}{3 a d^{3} \tan ^{2}{\left (\frac {c}{2} + \frac {d x}{2} \right )} + 3 a d^{3}} & \text {for}\: d \neq 0 \\\frac {\left (e^{2} x + e f x^{2} + \frac {f^{2} x^{3}}{3}\right ) \cos ^{2}{\relax (c )}}{a \sin {\relax (c )} + a} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________