Optimal. Leaf size=10 \[ \frac{\sin (a+b x)}{b} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.00802069, antiderivative size = 10, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 6, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.167 \[ \frac{\sin (a+b x)}{b} \]
Antiderivative was successfully verified.
[In] Int[Cos[a + b*x],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 0.612479, size = 7, normalized size = 0.7 \[ \frac{\sin{\left (a + b x \right )}}{b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(cos(b*x+a),x)
[Out]
_______________________________________________________________________________________
Mathematica [B] time = 0.0086357, size = 21, normalized size = 2.1 \[ \frac{\sin (a) \cos (b x)}{b}+\frac{\cos (a) \sin (b x)}{b} \]
Antiderivative was successfully verified.
[In] Integrate[Cos[a + b*x],x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.004, size = 11, normalized size = 1.1 \[{\frac{\sin \left ( bx+a \right ) }{b}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(cos(b*x+a),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.3898, size = 14, normalized size = 1.4 \[ \frac{\sin \left (b x + a\right )}{b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(cos(b*x + a),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.208757, size = 14, normalized size = 1.4 \[ \frac{\sin \left (b x + a\right )}{b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(cos(b*x + a),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 0.139349, size = 12, normalized size = 1.2 \[ \begin{cases} \frac{\sin{\left (a + b x \right )}}{b} & \text{for}\: b \neq 0 \\x \cos{\left (a \right )} & \text{otherwise} \end{cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(cos(b*x+a),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.20459, size = 14, normalized size = 1.4 \[ \frac{\sin \left (b x + a\right )}{b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(cos(b*x + a),x, algorithm="giac")
[Out]