Optimal. Leaf size=47 \[ \frac{x (b B+c C)}{b^2+c^2}+\frac{(B c-b C) \log (b \cos (x)+c \sin (x))}{b^2+c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0405832, antiderivative size = 47, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.048, Rules used = {3133} \[ \frac{x (b B+c C)}{b^2+c^2}+\frac{(B c-b C) \log (b \cos (x)+c \sin (x))}{b^2+c^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3133
Rubi steps
\begin{align*} \int \frac{B \cos (x)+C \sin (x)}{b \cos (x)+c \sin (x)} \, dx &=\frac{(b B+c C) x}{b^2+c^2}+\frac{(B c-b C) \log (b \cos (x)+c \sin (x))}{b^2+c^2}\\ \end{align*}
Mathematica [A] time = 0.119037, size = 39, normalized size = 0.83 \[ \frac{x (b B+c C)+(B c-b C) \log (b \cos (x)+c \sin (x))}{b^2+c^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.059, size = 111, normalized size = 2.4 \begin{align*}{\frac{\ln \left ( c\tan \left ( x \right ) +b \right ) Bc}{{b}^{2}+{c}^{2}}}-{\frac{\ln \left ( c\tan \left ( x \right ) +b \right ) bC}{{b}^{2}+{c}^{2}}}-{\frac{\ln \left ( 1+ \left ( \tan \left ( x \right ) \right ) ^{2} \right ) Bc}{2\,{b}^{2}+2\,{c}^{2}}}+{\frac{\ln \left ( 1+ \left ( \tan \left ( x \right ) \right ) ^{2} \right ) bC}{2\,{b}^{2}+2\,{c}^{2}}}+{\frac{B\arctan \left ( \tan \left ( x \right ) \right ) b}{{b}^{2}+{c}^{2}}}+{\frac{C\arctan \left ( \tan \left ( x \right ) \right ) c}{{b}^{2}+{c}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.51117, size = 244, normalized size = 5.19 \begin{align*} B{\left (\frac{2 \, b \arctan \left (\frac{\sin \left (x\right )}{\cos \left (x\right ) + 1}\right )}{b^{2} + c^{2}} + \frac{c \log \left (-b - \frac{2 \, c \sin \left (x\right )}{\cos \left (x\right ) + 1} + \frac{b \sin \left (x\right )^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}}\right )}{b^{2} + c^{2}} - \frac{c \log \left (\frac{\sin \left (x\right )^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}} + 1\right )}{b^{2} + c^{2}}\right )} + C{\left (\frac{2 \, c \arctan \left (\frac{\sin \left (x\right )}{\cos \left (x\right ) + 1}\right )}{b^{2} + c^{2}} - \frac{b \log \left (-b - \frac{2 \, c \sin \left (x\right )}{\cos \left (x\right ) + 1} + \frac{b \sin \left (x\right )^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}}\right )}{b^{2} + c^{2}} + \frac{b \log \left (\frac{\sin \left (x\right )^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}} + 1\right )}{b^{2} + c^{2}}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.98651, size = 139, normalized size = 2.96 \begin{align*} \frac{2 \,{\left (B b + C c\right )} x -{\left (C b - B c\right )} \log \left (2 \, b c \cos \left (x\right ) \sin \left (x\right ) +{\left (b^{2} - c^{2}\right )} \cos \left (x\right )^{2} + c^{2}\right )}{2 \,{\left (b^{2} + c^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.45975, size = 360, normalized size = 7.66 \begin{align*} \begin{cases} \tilde{\infty } \left (B \log{\left (\sin{\left (x \right )} \right )} + C x\right ) & \text{for}\: b = 0 \wedge c = 0 \\\frac{B x - C \log{\left (\cos{\left (x \right )} \right )}}{b} & \text{for}\: c = 0 \\- \frac{i B x \sin{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} - \frac{B x \cos{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} - \frac{B \sin{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} - \frac{C x \sin{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} + \frac{i C x \cos{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} - \frac{i C \sin{\left (x \right )}}{- 2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} & \text{for}\: b = - i c \\- \frac{i B x \sin{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} + \frac{B x \cos{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} + \frac{B \sin{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} + \frac{C x \sin{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} + \frac{i C x \cos{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} - \frac{i C \sin{\left (x \right )}}{2 c \sin{\left (x \right )} + 2 i c \cos{\left (x \right )}} & \text{for}\: b = i c \\\frac{B b x}{b^{2} + c^{2}} + \frac{B c \log{\left (\frac{b \cos{\left (x \right )}}{c} + \sin{\left (x \right )} \right )}}{b^{2} + c^{2}} - \frac{C b \log{\left (\frac{b \cos{\left (x \right )}}{c} + \sin{\left (x \right )} \right )}}{b^{2} + c^{2}} + \frac{C c x}{b^{2} + c^{2}} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16139, size = 104, normalized size = 2.21 \begin{align*} \frac{{\left (B b + C c\right )} x}{b^{2} + c^{2}} + \frac{{\left (C b - B c\right )} \log \left (\tan \left (x\right )^{2} + 1\right )}{2 \,{\left (b^{2} + c^{2}\right )}} - \frac{{\left (C b c - B c^{2}\right )} \log \left ({\left | c \tan \left (x\right ) + b \right |}\right )}{b^{2} c + c^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]