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 \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 (a+b x) \text{Shi}(c+d x)}{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{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{x \cosh (a+b x) \text{Shi}(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{\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.963509, 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 = {6542, 6742, 5618, 2638, 5472, 3303, 3298, 3301, 6546, 5470} \[ -\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 \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 (a+b x) \text{Shi}(c+d x)}{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{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{x \cosh (a+b x) \text{Shi}(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{\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 6542
Rule 6742
Rule 5618
Rule 2638
Rule 5472
Rule 3303
Rule 3298
Rule 3301
Rule 6546
Rule 5470
Rubi steps
\begin{align*} \int x \sinh (a+b x) \text{Shi}(c+d x) \, dx &=\frac{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\int \cosh (a+b x) \text{Shi}(c+d x) \, dx}{b}-\frac{d \int \frac{x \cosh (a+b x) \sinh (c+d x)}{c+d x} \, dx}{b}\\ &=\frac{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{b^2}+\frac{d \int \frac{\sinh (a+b x) \sinh (c+d x)}{c+d x} \, dx}{b^2}-\frac{d \int \left (\frac{\cosh (a+b x) \sinh (c+d x)}{d}-\frac{c \cosh (a+b x) \sinh (c+d x)}{d (c+d x)}\right ) \, dx}{b}\\ &=\frac{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{b^2}-\frac{\int \cosh (a+b x) \sinh (c+d x) \, dx}{b}+\frac{c \int \frac{\cosh (a+b x) \sinh (c+d 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{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{b^2}-\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{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{b^2}+\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 \left (a-\frac{b c}{d}\right ) \text{Chi}\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{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{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 \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{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{x \cosh (a+b x) \text{Shi}(c+d x)}{b}-\frac{\sinh (a+b x) \text{Shi}(c+d x)}{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 = 17.3677, size = 887, normalized size = 2.39 \[ \frac{4 d x \cosh (a+b x) \text{Shi}(c+d x) 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-4 d \sinh (a+b x) \text{Shi}(c+d x) 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-4 d^3 x \cosh (a+b x) \text{Shi}(c+d x) 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 \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 )+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^3 \sinh (a+b x) \text{Shi}(c+d 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.302, size = 0, normalized size = 0. \begin{align*} \int x{\it Shi} \left ( dx+c \right ) \sinh \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 Shi}\left (d x + c\right ) \sinh \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 \sinh \left (b x + a\right ) \operatorname{Shi}\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 \sinh{\left (a + b x \right )} \operatorname{Shi}{\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 Shi}\left (d x + c\right ) \sinh \left (b x + a\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]