Optimal. Leaf size=153 \[ \frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}-\frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (\frac {c (b+d)}{d}+(b+d) x\right )}{2 b}+\frac {\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}+\frac {\sinh (a+b x) \text {Shi}(c+d 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} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 153, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 5, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.385, Rules used = {6681, 5578,
3384, 3379, 3382} \begin {gather*} \frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (x (b-d)+\frac {c (b-d)}{d}\right )}{2 b}-\frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (x (b+d)+\frac {c (b+d)}{d}\right )}{2 b}+\frac {\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (x (b-d)+\frac {c (b-d)}{d}\right )}{2 b}+\frac {\sinh (a+b x) \text {Shi}(c+d x)}{b}-\frac {\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (x (b+d)+\frac {c (b+d)}{d}\right )}{2 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3379
Rule 3382
Rule 3384
Rule 5578
Rule 6681
Rubi steps
\begin {align*} \int \cosh (a+b x) \text {Shi}(c+d x) \, dx &=\frac {\sinh (a+b x) \text {Shi}(c+d x)}{b}-\frac {d \int \frac {\sinh (a+b x) \sinh (c+d x)}{c+d x} \, dx}{b}\\ &=\frac {\sinh (a+b x) \text {Shi}(c+d x)}{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}\\ &=\frac {\sinh (a+b x) \text {Shi}(c+d x)}{b}+\frac {d \int \frac {\cosh (a-c+(b-d) x)}{c+d x} \, dx}{2 b}-\frac {d \int \frac {\cosh (a+c+(b+d) x)}{c+d x} \, dx}{2 b}\\ &=\frac {\sinh (a+b x) \text {Shi}(c+d x)}{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}-\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}+\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}-\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}\\ &=\frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}-\frac {\cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (\frac {c (b+d)}{d}+(b+d) x\right )}{2 b}+\frac {\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}+\frac {\sinh (a+b x) \text {Shi}(c+d 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}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.40, size = 209, normalized size = 1.37 \begin {gather*} \frac {2 \cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (-\frac {(b-d) (c+d x)}{d}\right )-2 \cosh \left (a-\frac {b c}{d}\right ) \text {Chi}\left (\frac {(b+d) (c+d x)}{d}\right )+4 \sinh (a+b x) \text {Shi}(c+d x)+\cosh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (\frac {(b-d) (c+d x)}{d}\right )+\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (\frac {(b-d) (c+d x)}{d}\right )-2 \sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (\frac {(b+d) (c+d x)}{d}\right )+\cosh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (c-\frac {b c}{d}-b x+d x\right )-\sinh \left (a-\frac {b c}{d}\right ) \text {Shi}\left (c-\frac {b c}{d}-b x+d x\right )}{4 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 1.94, size = 0, normalized size = 0.00 \[\int \cosh \left (b x +a \right ) \hyperbolicSineIntegral \left (d x +c \right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \cosh {\left (a + b x \right )} \operatorname {Shi}{\left (c + d x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \mathrm {sinhint}\left (c+d\,x\right )\,\mathrm {cosh}\left (a+b\,x\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________