Optimal. Leaf size=84 \[ \frac {2 (A c-a C) \tan ^{-1}\left (\frac {a \tan \left (\frac {1}{2} (d+e x)\right )+c}{\sqrt {a^2-c^2}}\right )}{c e \sqrt {a^2-c^2}}+\frac {B \log (a+c \sin (d+e x))}{c e}+\frac {C x}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.15, antiderivative size = 84, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.226, Rules used = {4376, 2735, 2660, 618, 204, 2668, 31} \[ \frac {2 (A c-a C) \tan ^{-1}\left (\frac {a \tan \left (\frac {1}{2} (d+e x)\right )+c}{\sqrt {a^2-c^2}}\right )}{c e \sqrt {a^2-c^2}}+\frac {B \log (a+c \sin (d+e x))}{c e}+\frac {C x}{c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 204
Rule 618
Rule 2660
Rule 2668
Rule 2735
Rule 4376
Rubi steps
\begin {align*} \int \frac {A+B \cos (d+e x)+C \sin (d+e x)}{a+c \sin (d+e x)} \, dx &=B \int \frac {\cos (d+e x)}{a+c \sin (d+e x)} \, dx+\int \frac {A+C \sin (d+e x)}{a+c \sin (d+e x)} \, dx\\ &=\frac {C x}{c}-\frac {(-A c+a C) \int \frac {1}{a+c \sin (d+e x)} \, dx}{c}+\frac {B \operatorname {Subst}\left (\int \frac {1}{a+x} \, dx,x,c \sin (d+e x)\right )}{c e}\\ &=\frac {C x}{c}+\frac {B \log (a+c \sin (d+e x))}{c e}+\frac {(2 (A c-a C)) \operatorname {Subst}\left (\int \frac {1}{a+2 c x+a x^2} \, dx,x,\tan \left (\frac {1}{2} (d+e x)\right )\right )}{c e}\\ &=\frac {C x}{c}+\frac {B \log (a+c \sin (d+e x))}{c e}-\frac {(4 (A c-a C)) \operatorname {Subst}\left (\int \frac {1}{-4 \left (a^2-c^2\right )-x^2} \, dx,x,2 c+2 a \tan \left (\frac {1}{2} (d+e x)\right )\right )}{c e}\\ &=\frac {C x}{c}+\frac {2 (A c-a C) \tan ^{-1}\left (\frac {c+a \tan \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2-c^2}}\right )}{c \sqrt {a^2-c^2} e}+\frac {B \log (a+c \sin (d+e x))}{c e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.25, size = 80, normalized size = 0.95 \[ \frac {\frac {2 (A c-a C) \tan ^{-1}\left (\frac {a \tan \left (\frac {1}{2} (d+e x)\right )+c}{\sqrt {a^2-c^2}}\right )}{\sqrt {a^2-c^2}}+B \log (a+c \sin (d+e x))+C (d+e x)}{c e} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.00, size = 346, normalized size = 4.12 \[ \left [\frac {2 \, {\left (C a^{2} - C c^{2}\right )} e x + {\left (C a - A c\right )} \sqrt {-a^{2} + c^{2}} \log \left (\frac {{\left (2 \, a^{2} - c^{2}\right )} \cos \left (e x + d\right )^{2} - 2 \, a c \sin \left (e x + d\right ) - a^{2} - c^{2} + 2 \, {\left (a \cos \left (e x + d\right ) \sin \left (e x + d\right ) + c \cos \left (e x + d\right )\right )} \sqrt {-a^{2} + c^{2}}}{c^{2} \cos \left (e x + d\right )^{2} - 2 \, a c \sin \left (e x + d\right ) - a^{2} - c^{2}}\right ) + {\left (B a^{2} - B c^{2}\right )} \log \left (-c^{2} \cos \left (e x + d\right )^{2} + 2 \, a c \sin \left (e x + d\right ) + a^{2} + c^{2}\right )}{2 \, {\left (a^{2} c - c^{3}\right )} e}, \frac {2 \, {\left (C a^{2} - C c^{2}\right )} e x + 2 \, {\left (C a - A c\right )} \sqrt {a^{2} - c^{2}} \arctan \left (-\frac {a \sin \left (e x + d\right ) + c}{\sqrt {a^{2} - c^{2}} \cos \left (e x + d\right )}\right ) + {\left (B a^{2} - B c^{2}\right )} \log \left (-c^{2} \cos \left (e x + d\right )^{2} + 2 \, a c \sin \left (e x + d\right ) + a^{2} + c^{2}\right )}{2 \, {\left (a^{2} c - c^{3}\right )} e}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.18, size = 141, normalized size = 1.68 \[ {\left (\frac {{\left (x e + d\right )} C}{c} + \frac {B \log \left (a \tan \left (\frac {1}{2} \, x e + \frac {1}{2} \, d\right )^{2} + 2 \, c \tan \left (\frac {1}{2} \, x e + \frac {1}{2} \, d\right ) + a\right )}{c} - \frac {B \log \left (\tan \left (\frac {1}{2} \, x e + \frac {1}{2} \, d\right )^{2} + 1\right )}{c} - \frac {2 \, {\left (\pi \left \lfloor \frac {x e + d}{2 \, \pi } + \frac {1}{2} \right \rfloor \mathrm {sgn}\relax (a) + \arctan \left (\frac {a \tan \left (\frac {1}{2} \, x e + \frac {1}{2} \, d\right ) + c}{\sqrt {a^{2} - c^{2}}}\right )\right )} {\left (C a - A c\right )}}{\sqrt {a^{2} - c^{2}} c}\right )} e^{\left (-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.25, size = 178, normalized size = 2.12 \[ \frac {B \ln \left (a \left (\tan ^{2}\left (\frac {d}{2}+\frac {e x}{2}\right )\right )+2 c \tan \left (\frac {d}{2}+\frac {e x}{2}\right )+a \right )}{e c}+\frac {2 \arctan \left (\frac {2 a \tan \left (\frac {d}{2}+\frac {e x}{2}\right )+2 c}{2 \sqrt {a^{2}-c^{2}}}\right ) A}{e \sqrt {a^{2}-c^{2}}}-\frac {2 \arctan \left (\frac {2 a \tan \left (\frac {d}{2}+\frac {e x}{2}\right )+2 c}{2 \sqrt {a^{2}-c^{2}}}\right ) C a}{e c \sqrt {a^{2}-c^{2}}}-\frac {B \ln \left (1+\tan ^{2}\left (\frac {d}{2}+\frac {e x}{2}\right )\right )}{e c}+\frac {2 C \arctan \left (\tan \left (\frac {d}{2}+\frac {e x}{2}\right )\right )}{e c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 9.63, size = 1143, normalized size = 13.61 \[ \frac {\ln \left (32\,B^3\,a^2-32\,A\,B^2\,a^2+32\,A\,C^2\,a^2+32\,B\,C^2\,a^2+32\,a\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (c\,A^2\,B-2\,c\,A\,B^2-2\,a\,A\,B\,C-2\,c\,A\,C^2+c\,B^3+2\,a\,B^2\,C+2\,c\,B\,C^2+2\,a\,C^3\right )-32\,A^2\,C\,a\,c+32\,B^2\,C\,a\,c-\frac {\left (B\,a^2-B\,c^2+A\,c\,\sqrt {c^2-a^2}-C\,a\,\sqrt {c^2-a^2}\right )\,\left (32\,C^2\,a^2\,c-32\,B^2\,a^2\,c-128\,B\,C\,a^3+32\,a\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (-A^2\,c^2+4\,A\,B\,c^2+2\,A\,C\,a\,c+2\,B^2\,a^2-3\,B^2\,c^2-4\,B\,C\,a\,c-2\,C^2\,a^2+2\,C^2\,c^2\right )+64\,A\,B\,a^2\,c+64\,B\,C\,a\,c^2+\frac {\left (B\,a^2-B\,c^2+A\,c\,\sqrt {c^2-a^2}-C\,a\,\sqrt {c^2-a^2}\right )\,\left (32\,A\,a^2\,c^2+32\,B\,a^2\,c^2-32\,C\,a\,c^3+32\,a\,c^2\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (2\,A\,c-2\,C\,a+B\,c\right )+\frac {32\,a\,c\,\left (-2\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,a^2+a\,c+3\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,c^2\right )\,\left (B\,a^2-B\,c^2+A\,c\,\sqrt {c^2-a^2}-C\,a\,\sqrt {c^2-a^2}\right )}{a^2-c^2}\right )}{c\,\left (a^2-c^2\right )}\right )}{c\,\left (a^2-c^2\right )}\right )\,\left (B\,a^2-B\,c^2+A\,c\,\sqrt {c^2-a^2}-C\,a\,\sqrt {c^2-a^2}\right )}{c\,e\,\left (a^2-c^2\right )}-\frac {\ln \left (\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )+1{}\mathrm {i}\right )\,\left (B-C\,1{}\mathrm {i}\right )}{c\,e}-\frac {\ln \left (\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )-\mathrm {i}\right )\,\left (B+C\,1{}\mathrm {i}\right )}{c\,e}+\frac {\ln \left (32\,B^3\,a^2-32\,A\,B^2\,a^2+32\,A\,C^2\,a^2+32\,B\,C^2\,a^2+32\,a\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (c\,A^2\,B-2\,c\,A\,B^2-2\,a\,A\,B\,C-2\,c\,A\,C^2+c\,B^3+2\,a\,B^2\,C+2\,c\,B\,C^2+2\,a\,C^3\right )-32\,A^2\,C\,a\,c+32\,B^2\,C\,a\,c-\frac {\left (B\,a^2-B\,c^2-A\,c\,\sqrt {c^2-a^2}+C\,a\,\sqrt {c^2-a^2}\right )\,\left (32\,C^2\,a^2\,c-32\,B^2\,a^2\,c-128\,B\,C\,a^3+32\,a\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (-A^2\,c^2+4\,A\,B\,c^2+2\,A\,C\,a\,c+2\,B^2\,a^2-3\,B^2\,c^2-4\,B\,C\,a\,c-2\,C^2\,a^2+2\,C^2\,c^2\right )+64\,A\,B\,a^2\,c+64\,B\,C\,a\,c^2+\frac {\left (B\,a^2-B\,c^2-A\,c\,\sqrt {c^2-a^2}+C\,a\,\sqrt {c^2-a^2}\right )\,\left (32\,A\,a^2\,c^2+32\,B\,a^2\,c^2-32\,C\,a\,c^3+32\,a\,c^2\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,\left (2\,A\,c-2\,C\,a+B\,c\right )+\frac {32\,a\,c\,\left (-2\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,a^2+a\,c+3\,\mathrm {tan}\left (\frac {d}{2}+\frac {e\,x}{2}\right )\,c^2\right )\,\left (B\,a^2-B\,c^2-A\,c\,\sqrt {c^2-a^2}+C\,a\,\sqrt {c^2-a^2}\right )}{a^2-c^2}\right )}{c\,\left (a^2-c^2\right )}\right )}{c\,\left (a^2-c^2\right )}\right )\,\left (B\,a^2-B\,c^2-A\,c\,\sqrt {c^2-a^2}+C\,a\,\sqrt {c^2-a^2}\right )}{c\,e\,\left (a^2-c^2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 29.52, size = 1110, normalized size = 13.21 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________