Optimal. Leaf size=371 \[ \frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b^2}-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b^2}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b^2}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b^2}+\frac{c \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b d}+\frac{c \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b d}+\frac{x \sinh (a+b x) \text{Chi}(c+d x)}{b}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b d}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b d}-\frac{\cosh (a+x (b-d)-c)}{2 b (b-d)}-\frac{\cosh (a+x (b+d)+c)}{2 b (b+d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.856515, antiderivative size = 371, normalized size of antiderivative = 1., number of steps used = 24, number of rules used = 10, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.714, Rules used = {6543, 6742, 5618, 2638, 5472, 3303, 3298, 3301, 6547, 5471} \[ \frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b^2}-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b^2}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b^2}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b^2}+\frac{c \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b d}+\frac{c \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b d}+\frac{x \sinh (a+b x) \text{Chi}(c+d x)}{b}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b-d)+\frac{c (b-d)}{d}\right )}{2 b d}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (x (b+d)+\frac{c (b+d)}{d}\right )}{2 b d}-\frac{\cosh (a+x (b-d)-c)}{2 b (b-d)}-\frac{\cosh (a+x (b+d)+c)}{2 b (b+d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6543
Rule 6742
Rule 5618
Rule 2638
Rule 5472
Rule 3303
Rule 3298
Rule 3301
Rule 6547
Rule 5471
Rubi steps
\begin{align*} \int x \cosh (a+b x) \text{Chi}(c+d x) \, dx &=\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}-\frac{\int \text{Chi}(c+d x) \sinh (a+b x) \, dx}{b}-\frac{d \int \frac{x \cosh (c+d x) \sinh (a+b x)}{c+d x} \, dx}{b}\\ &=-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}+\frac{d \int \frac{\cosh (a+b x) \cosh (c+d x)}{c+d x} \, dx}{b^2}-\frac{d \int \left (\frac{\cosh (c+d x) \sinh (a+b x)}{d}-\frac{c \cosh (c+d x) \sinh (a+b x)}{d (c+d x)}\right ) \, dx}{b}\\ &=-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}-\frac{\int \cosh (c+d x) \sinh (a+b x) \, dx}{b}+\frac{c \int \frac{\cosh (c+d x) \sinh (a+b x)}{c+d x} \, dx}{b}+\frac{d \int \left (\frac{\cosh (a-c+(b-d) x)}{2 (c+d x)}+\frac{\cosh (a+c+(b+d) x)}{2 (c+d x)}\right ) \, dx}{b^2}\\ &=-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}-\frac{\int \left (\frac{1}{2} \sinh (a-c+(b-d) x)+\frac{1}{2} \sinh (a+c+(b+d) x)\right ) \, dx}{b}+\frac{c \int \left (\frac{\sinh (a-c+(b-d) x)}{2 (c+d x)}+\frac{\sinh (a+c+(b+d) x)}{2 (c+d x)}\right ) \, dx}{b}+\frac{d \int \frac{\cosh (a-c+(b-d) x)}{c+d x} \, dx}{2 b^2}+\frac{d \int \frac{\cosh (a+c+(b+d) x)}{c+d x} \, dx}{2 b^2}\\ &=-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}-\frac{\int \sinh (a-c+(b-d) x) \, dx}{2 b}-\frac{\int \sinh (a+c+(b+d) x) \, dx}{2 b}+\frac{c \int \frac{\sinh (a-c+(b-d) x)}{c+d x} \, dx}{2 b}+\frac{c \int \frac{\sinh (a+c+(b+d) x)}{c+d x} \, dx}{2 b}+\frac{\left (d \cosh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b^2}+\frac{\left (d \cosh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b^2}+\frac{\left (d \sinh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b^2}+\frac{\left (d \sinh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b^2}\\ &=-\frac{\cosh (a-c+(b-d) x)}{2 b (b-d)}-\frac{\cosh (a+c+(b+d) x)}{2 b (b+d)}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{c (b-d)}{d}+(b-d) x\right )}{2 b^2}-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{c (b+d)}{d}+(b+d) x\right )}{2 b^2}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b-d)}{d}+(b-d) x\right )}{2 b^2}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b+d)}{d}+(b+d) x\right )}{2 b^2}+\frac{\left (c \cosh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b}+\frac{\left (c \cosh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b}+\frac{\left (c \sinh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b}+\frac{\left (c \sinh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b}\\ &=-\frac{\cosh (a-c+(b-d) x)}{2 b (b-d)}-\frac{\cosh (a+c+(b+d) x)}{2 b (b+d)}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{c (b-d)}{d}+(b-d) x\right )}{2 b^2}-\frac{\cosh (a+b x) \text{Chi}(c+d x)}{b^2}+\frac{\cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{c (b+d)}{d}+(b+d) x\right )}{2 b^2}+\frac{c \text{Chi}\left (\frac{c (b-d)}{d}+(b-d) x\right ) \sinh \left (a-\frac{b c}{d}\right )}{2 b d}+\frac{c \text{Chi}\left (\frac{c (b+d)}{d}+(b+d) x\right ) \sinh \left (a-\frac{b c}{d}\right )}{2 b d}+\frac{x \text{Chi}(c+d x) \sinh (a+b x)}{b}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b-d)}{d}+(b-d) x\right )}{2 b d}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b-d)}{d}+(b-d) x\right )}{2 b^2}+\frac{c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b+d)}{d}+(b+d) x\right )}{2 b d}+\frac{\sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{c (b+d)}{d}+(b+d) x\right )}{2 b^2}\\ \end{align*}
Mathematica [B] time = 2.46053, size = 916, normalized size = 2.47 \[ \frac{2 c \text{Chi}\left (\frac{(b+d) (c+d x)}{d}\right ) \sinh \left (a-\frac{b c}{d}\right ) b^3+c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b^3+c \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b^3+2 c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b+d) (c+d x)}{d}\right ) b^3-c \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b^3+c \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b^3-2 d \cosh (a-c+b x-d x) b^2-2 d \cosh (a+c+(b+d) x) b^2+2 d \cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{(b+d) (c+d x)}{d}\right ) b^2+d \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b^2+d \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b^2+2 d \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b+d) (c+d x)}{d}\right ) b^2+d \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b^2-d \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b^2-2 d^2 \cosh (a-c+b x-d x) b+2 d^2 \cosh (a+c+(b+d) x) b-2 c d^2 \text{Chi}\left (\frac{(b+d) (c+d x)}{d}\right ) \sinh \left (a-\frac{b c}{d}\right ) b-c d^2 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b-c d^2 \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right ) b-2 c d^2 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b+d) (c+d x)}{d}\right ) b+c d^2 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b-c d^2 \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right ) b-2 d^3 \cosh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{(b+d) (c+d x)}{d}\right )+2 \left (b^2-d^2\right ) \text{Chi}\left (-\frac{(b-d) (c+d x)}{d}\right ) \left (d \cosh \left (a-\frac{b c}{d}\right )+b c \sinh \left (a-\frac{b c}{d}\right )\right )+4 d \left (b^2-d^2\right ) \text{Chi}(c+d x) (b x \sinh (a+b x)-\cosh (a+b x))-d^3 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right )-d^3 \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b-d) (c+d x)}{d}\right )-2 d^3 \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{(b+d) (c+d x)}{d}\right )-d^3 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right )+d^3 \sinh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (-\frac{b c}{d}+c-b x+d x\right )}{4 b^2 (b-d) d (b+d)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.297, size = 0, normalized size = 0. \begin{align*} \int x{\it Chi} \left ( dx+c \right ) \cosh \left ( bx+a \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x{\rm Chi}\left (d x + c\right ) \cosh \left (b x + a\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (x \cosh \left (b x + a\right ) \operatorname{Chi}\left (d x + c\right ), x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x \cosh{\left (a + b x \right )} \operatorname{Chi}\left (c + d x\right )\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x{\rm Chi}\left (d x + c\right ) \cosh \left (b x + a\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]