\(\int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx\) [255]

Optimal result

Integrand size = 31, antiderivative size = 180 \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=-\frac {\left (2 a^2 A-A c^2+3 a c C\right ) \text {arctanh}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{\left (a^2+c^2\right )^{5/2} e}-\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))} \]

[Out]

-(2*A*a^2-A*c^2+3*C*a*c)*arctanh((c-a*tanh(1/2*e*x+1/2*d))/(a^2+c^2)^(1/2))/(a^2+c^2)^(5/2)/e-1/2*B/c/e/(a+c*s
inh(e*x+d))^2-1/2*(A*c-C*a)*cosh(e*x+d)/(a^2+c^2)/e/(a+c*sinh(e*x+d))^2-1/2*(3*A*a*c-C*a^2+2*C*c^2)*cosh(e*x+d
)/(a^2+c^2)^2/e/(a+c*sinh(e*x+d))

Rubi [A] (verified)

Time = 0.20 (sec) , antiderivative size = 180, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.258, Rules used = {4461, 2833, 12, 2739, 632, 210, 2747, 32} \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=-\frac {\left (2 a^2 A+3 a c C-A c^2\right ) \text {arctanh}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{e \left (a^2+c^2\right )^{5/2}}-\frac {\left (a^2 (-C)+3 a A c+2 c^2 C\right ) \cosh (d+e x)}{2 e \left (a^2+c^2\right )^2 (a+c \sinh (d+e x))}-\frac {(A c-a C) \cosh (d+e x)}{2 e \left (a^2+c^2\right ) (a+c \sinh (d+e x))^2}-\frac {B}{2 c e (a+c \sinh (d+e x))^2} \]

[In]

Int[(A + B*Cosh[d + e*x] + C*Sinh[d + e*x])/(a + c*Sinh[d + e*x])^3,x]

[Out]

-(((2*a^2*A - A*c^2 + 3*a*c*C)*ArcTanh[(c - a*Tanh[(d + e*x)/2])/Sqrt[a^2 + c^2]])/((a^2 + c^2)^(5/2)*e)) - B/
(2*c*e*(a + c*Sinh[d + e*x])^2) - ((A*c - a*C)*Cosh[d + e*x])/(2*(a^2 + c^2)*e*(a + c*Sinh[d + e*x])^2) - ((3*
a*A*c - a^2*C + 2*c^2*C)*Cosh[d + e*x])/(2*(a^2 + c^2)^2*e*(a + c*Sinh[d + e*x]))

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rule 210

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[-b, 2])^(-1))*ArcTan[Rt[-b, 2]*(x/Rt[-a, 2])
], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])

Rule 632

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 2739

Int[((a_) + (b_.)*sin[(c_.) + (d_.)*(x_)])^(-1), x_Symbol] :> With[{e = FreeFactors[Tan[(c + d*x)/2], x]}, Dis
t[2*(e/d), Subst[Int[1/(a + 2*b*e*x + a*e^2*x^2), x], x, Tan[(c + d*x)/2]/e], x]] /; FreeQ[{a, b, c, d}, x] &&
NeQ[a^2 - b^2, 0]

Rule 2747

Int[cos[(e_.) + (f_.)*(x_)]^(p_.)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_.), x_Symbol] :> Dist[1/(b^p*f), S
ubst[Int[(a + x)^m*(b^2 - x^2)^((p - 1)/2), x], x, b*Sin[e + f*x]], x] /; FreeQ[{a, b, e, f, m}, x] && Integer
Q[(p - 1)/2] && NeQ[a^2 - b^2, 0]

Rule 2833

Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_)*((c_.) + (d_.)*sin[(e_.) + (f_.)*(x_)]), x_Symbol] :> Simp[(-(
b*c - a*d))*Cos[e + f*x]*((a + b*Sin[e + f*x])^(m + 1)/(f*(m + 1)*(a^2 - b^2))), x] + Dist[1/((m + 1)*(a^2 - b
^2)), Int[(a + b*Sin[e + f*x])^(m + 1)*Simp[(a*c - b*d)*(m + 1) - (b*c - a*d)*(m + 2)*Sin[e + f*x], x], x], x]
/; FreeQ[{a, b, c, d, e, f}, x] && NeQ[b*c - a*d, 0] && NeQ[a^2 - b^2, 0] && LtQ[m, -1] && IntegerQ[2*m]

Rule 4461

Int[(u_)*((v_) + (d_.)*(F_)[(c_.)*((a_.) + (b_.)*(x_))]^(n_.)), x_Symbol] :> With[{e = FreeFactors[Sin[c*(a +
b*x)], x]}, Int[ActivateTrig[u*v], x] + Dist[d, Int[ActivateTrig[u]*Cos[c*(a + b*x)]^n, x], x] /; FunctionOfQ[
Sin[c*(a + b*x)]/e, u, x]] /; FreeQ[{a, b, c, d}, x] &&  !FreeQ[v, x] && IntegerQ[(n - 1)/2] && NonsumQ[u] &&
(EqQ[F, Cos] || EqQ[F, cos])

Rubi steps \begin{align*} \text {integral}& = B \int \frac {\cosh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx+\int \frac {A+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx \\ & = -\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\int \frac {-2 (a A+c C)+(A c-a C) \sinh (d+e x)}{(a+c \sinh (d+e x))^2} \, dx}{2 \left (a^2+c^2\right )}+\frac {B \text {Subst}\left (\int \frac {1}{(a+x)^3} \, dx,x,c \sinh (d+e x)\right )}{c e} \\ & = -\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))}+\frac {\int \frac {2 a^2 A-A c^2+3 a c C}{a+c \sinh (d+e x)} \, dx}{2 \left (a^2+c^2\right )^2} \\ & = -\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))}+\frac {\left (2 a^2 A-A c^2+3 a c C\right ) \int \frac {1}{a+c \sinh (d+e x)} \, dx}{2 \left (a^2+c^2\right )^2} \\ & = -\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))}-\frac {\left (i \left (2 a^2 A-A c^2+3 a c C\right )\right ) \text {Subst}\left (\int \frac {1}{a-2 i c x+a x^2} \, dx,x,\tan \left (\frac {1}{2} (i d+i e x)\right )\right )}{\left (a^2+c^2\right )^2 e} \\ & = -\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))}+\frac {\left (2 i \left (2 a^2 A-A c^2+3 a c C\right )\right ) \text {Subst}\left (\int \frac {1}{-4 \left (a^2+c^2\right )-x^2} \, dx,x,-2 i c+2 a \tan \left (\frac {1}{2} (i d+i e x)\right )\right )}{\left (a^2+c^2\right )^2 e} \\ & = -\frac {\left (2 a^2 A-A c^2+3 a c C\right ) \text {arctanh}\left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {a^2+c^2}}\right )}{\left (a^2+c^2\right )^{5/2} e}-\frac {B}{2 c e (a+c \sinh (d+e x))^2}-\frac {(A c-a C) \cosh (d+e x)}{2 \left (a^2+c^2\right ) e (a+c \sinh (d+e x))^2}-\frac {\left (3 a A c-a^2 C+2 c^2 C\right ) \cosh (d+e x)}{2 \left (a^2+c^2\right )^2 e (a+c \sinh (d+e x))} \\ \end{align*}

Mathematica [A] (verified)

Time = 1.54 (sec) , antiderivative size = 170, normalized size of antiderivative = 0.94 \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=\frac {\frac {2 \left (2 a^2 A-A c^2+3 a c C\right ) \arctan \left (\frac {c-a \tanh \left (\frac {1}{2} (d+e x)\right )}{\sqrt {-a^2-c^2}}\right )}{\sqrt {-a^2-c^2}}-\frac {\left (a^2+c^2\right ) \left (B \left (a^2+c^2\right )+c (A c-a C) \cosh (d+e x)\right )}{c (a+c \sinh (d+e x))^2}+\frac {\left (-3 a A c+a^2 C-2 c^2 C\right ) \cosh (d+e x)}{a+c \sinh (d+e x)}}{2 \left (a^2+c^2\right )^2 e} \]

[In]

Integrate[(A + B*Cosh[d + e*x] + C*Sinh[d + e*x])/(a + c*Sinh[d + e*x])^3,x]

[Out]

((2*(2*a^2*A - A*c^2 + 3*a*c*C)*ArcTan[(c - a*Tanh[(d + e*x)/2])/Sqrt[-a^2 - c^2]])/Sqrt[-a^2 - c^2] - ((a^2 +
c^2)*(B*(a^2 + c^2) + c*(A*c - a*C)*Cosh[d + e*x]))/(c*(a + c*Sinh[d + e*x])^2) + ((-3*a*A*c + a^2*C - 2*c^2*
C)*Cosh[d + e*x])/(a + c*Sinh[d + e*x]))/(2*(a^2 + c^2)^2*e)

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(369\) vs. \(2(169)=338\).

Time = 15.39 (sec) , antiderivative size = 370, normalized size of antiderivative = 2.06

method	result	size
parts	\(\frac {-\frac {2 \left (-\frac {c \left (5 A \,a^{2} c +2 A \,c^{3}-3 C \,a^{3}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{3}}{2 a \left (a^{4}+2 a^{2} c^{2}+c^{4}\right )}-\frac {\left (4 A \,a^{4} c -7 A \,a^{2} c^{3}-2 A \,c^{5}-2 C \,a^{5}+5 C \,a^{3} c^{2}-2 C a \,c^{4}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a^{2}}+\frac {c \left (11 A \,a^{2} c +2 A \,c^{3}-5 C \,a^{3}+4 C a \,c^{2}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a}+\frac {4 A \,a^{2} c +A \,c^{3}-2 C \,a^{3}+C a \,c^{2}}{2 a^{4}+4 a^{2} c^{2}+2 c^{4}}\right )}{\left (a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}-2 c \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-a \right )^{2}}+\frac {\left (2 a^{2} A -A \,c^{2}+3 C a c \right ) \operatorname {arctanh}\left (\frac {2 a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-2 c}{2 \sqrt {a^{2}+c^{2}}}\right )}{\left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) \sqrt {a^{2}+c^{2}}}}{e}-\frac {B}{2 c e \left (a +c \sinh \left (e x +d \right )\right )^{2}}\)	\(370\)
derivativedivides	\(\frac {-\frac {2 \left (-\frac {\left (5 A \,c^{2} a^{2}+2 A \,c^{4}-2 B \,a^{4}-4 B \,a^{2} c^{2}-2 B \,c^{4}-3 C \,a^{3} c \right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{3}}{2 a \left (a^{4}+2 a^{2} c^{2}+c^{4}\right )}-\frac {\left (4 A \,a^{4} c -7 A \,a^{2} c^{3}-2 A \,c^{5}+2 B \,a^{4} c +4 B \,a^{2} c^{3}+2 B \,c^{5}-2 C \,a^{5}+5 C \,a^{3} c^{2}-2 C a \,c^{4}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a^{2}}+\frac {\left (11 A \,c^{2} a^{2}+2 A \,c^{4}-2 B \,a^{4}-4 B \,a^{2} c^{2}-2 B \,c^{4}-5 C \,a^{3} c +4 C a \,c^{3}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a}+\frac {4 A \,a^{2} c +A \,c^{3}-2 C \,a^{3}+C a \,c^{2}}{2 a^{4}+4 a^{2} c^{2}+2 c^{4}}\right )}{\left (a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}-2 c \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-a \right )^{2}}+\frac {\left (2 a^{2} A -A \,c^{2}+3 C a c \right ) \operatorname {arctanh}\left (\frac {2 a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-2 c}{2 \sqrt {a^{2}+c^{2}}}\right )}{\left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) \sqrt {a^{2}+c^{2}}}}{e}\)	\(416\)
default	\(\frac {-\frac {2 \left (-\frac {\left (5 A \,c^{2} a^{2}+2 A \,c^{4}-2 B \,a^{4}-4 B \,a^{2} c^{2}-2 B \,c^{4}-3 C \,a^{3} c \right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{3}}{2 a \left (a^{4}+2 a^{2} c^{2}+c^{4}\right )}-\frac {\left (4 A \,a^{4} c -7 A \,a^{2} c^{3}-2 A \,c^{5}+2 B \,a^{4} c +4 B \,a^{2} c^{3}+2 B \,c^{5}-2 C \,a^{5}+5 C \,a^{3} c^{2}-2 C a \,c^{4}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a^{2}}+\frac {\left (11 A \,c^{2} a^{2}+2 A \,c^{4}-2 B \,a^{4}-4 B \,a^{2} c^{2}-2 B \,c^{4}-5 C \,a^{3} c +4 C a \,c^{3}\right ) \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )}{2 \left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) a}+\frac {4 A \,a^{2} c +A \,c^{3}-2 C \,a^{3}+C a \,c^{2}}{2 a^{4}+4 a^{2} c^{2}+2 c^{4}}\right )}{\left (a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )^{2}-2 c \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-a \right )^{2}}+\frac {\left (2 a^{2} A -A \,c^{2}+3 C a c \right ) \operatorname {arctanh}\left (\frac {2 a \tanh \left (\frac {e x}{2}+\frac {d}{2}\right )-2 c}{2 \sqrt {a^{2}+c^{2}}}\right )}{\left (a^{4}+2 a^{2} c^{2}+c^{4}\right ) \sqrt {a^{2}+c^{2}}}}{e}\)	\(416\)
risch	\(\frac {2 A \,a^{2} c^{2} {\mathrm e}^{3 e x +3 d}-A \,c^{4} {\mathrm e}^{3 e x +3 d}+3 C a \,c^{3} {\mathrm e}^{3 e x +3 d}+6 A \,a^{3} c \,{\mathrm e}^{2 e x +2 d}-3 A a \,c^{3} {\mathrm e}^{2 e x +2 d}-2 B \,a^{4} {\mathrm e}^{2 e x +2 d}-4 B \,a^{2} c^{2} {\mathrm e}^{2 e x +2 d}-2 B \,c^{4} {\mathrm e}^{2 e x +2 d}-2 C \,a^{4} {\mathrm e}^{2 e x +2 d}+5 C \,a^{2} c^{2} {\mathrm e}^{2 e x +2 d}-2 C \,c^{4} {\mathrm e}^{2 e x +2 d}-10 A \,a^{2} c^{2} {\mathrm e}^{e x +d}-A \,c^{4} {\mathrm e}^{e x +d}+4 C \,a^{3} c \,{\mathrm e}^{e x +d}-5 C a \,c^{3} {\mathrm e}^{e x +d}+3 A a \,c^{3}-C \,a^{2} c^{2}+2 C \,c^{4}}{c e \left (a^{2}+c^{2}\right )^{2} \left (c \,{\mathrm e}^{2 e x +2 d}+2 a \,{\mathrm e}^{e x +d}-c \right )^{2}}+\frac {\ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a -a^{6}-3 a^{4} c^{2}-3 a^{2} c^{4}-c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) a^{2} A}{\left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}-\frac {\ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a -a^{6}-3 a^{4} c^{2}-3 a^{2} c^{4}-c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) A \,c^{2}}{2 \left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}+\frac {3 \ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a -a^{6}-3 a^{4} c^{2}-3 a^{2} c^{4}-c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) C a c}{2 \left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}-\frac {\ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a +a^{6}+3 a^{4} c^{2}+3 a^{2} c^{4}+c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) a^{2} A}{\left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}+\frac {\ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a +a^{6}+3 a^{4} c^{2}+3 a^{2} c^{4}+c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) A \,c^{2}}{2 \left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}-\frac {3 \ln \left ({\mathrm e}^{e x +d}+\frac {\left (a^{2}+c^{2}\right )^{\frac {5}{2}} a +a^{6}+3 a^{4} c^{2}+3 a^{2} c^{4}+c^{6}}{c \left (a^{2}+c^{2}\right )^{\frac {5}{2}}}\right ) C a c}{2 \left (a^{2}+c^{2}\right )^{\frac {5}{2}} e}\)	\(744\)

[In]

int((A+B*cosh(e*x+d)+C*sinh(e*x+d))/(a+c*sinh(e*x+d))^3,x,method=_RETURNVERBOSE)

[Out]

1/e*(-2*(-1/2*c*(5*A*a^2*c+2*A*c^3-3*C*a^3)/a/(a^4+2*a^2*c^2+c^4)*tanh(1/2*e*x+1/2*d)^3-1/2*(4*A*a^4*c-7*A*a^2
*c^3-2*A*c^5-2*C*a^5+5*C*a^3*c^2-2*C*a*c^4)/(a^4+2*a^2*c^2+c^4)/a^2*tanh(1/2*e*x+1/2*d)^2+1/2*c*(11*A*a^2*c+2*
A*c^3-5*C*a^3+4*C*a*c^2)/(a^4+2*a^2*c^2+c^4)/a*tanh(1/2*e*x+1/2*d)+1/2*(4*A*a^2*c+A*c^3-2*C*a^3+C*a*c^2)/(a^4+
2*a^2*c^2+c^4))/(a*tanh(1/2*e*x+1/2*d)^2-2*c*tanh(1/2*e*x+1/2*d)-a)^2+(2*A*a^2-A*c^2+3*C*a*c)/(a^4+2*a^2*c^2+c
^4)/(a^2+c^2)^(1/2)*arctanh(1/2*(2*a*tanh(1/2*e*x+1/2*d)-2*c)/(a^2+c^2)^(1/2)))-1/2*B/c/e/(a+c*sinh(e*x+d))^2

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 1880 vs. \(2 (170) = 340\).

Time = 0.30 (sec) , antiderivative size = 1880, normalized size of antiderivative = 10.44 \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=\text {Too large to display} \]

[In]

integrate((A+B*cosh(e*x+d)+C*sinh(e*x+d))/(a+c*sinh(e*x+d))^3,x, algorithm="fricas")

[Out]

-1/2*(2*C*a^4*c^2 - 6*A*a^3*c^3 - 2*C*a^2*c^4 - 6*A*a*c^5 - 4*C*c^6 - 2*(2*A*a^4*c^2 + 3*C*a^3*c^3 + A*a^2*c^4
+ 3*C*a*c^5 - A*c^6)*cosh(e*x + d)^3 - 2*(2*A*a^4*c^2 + 3*C*a^3*c^3 + A*a^2*c^4 + 3*C*a*c^5 - A*c^6)*sinh(e*x
+ d)^3 + 2*(2*(B + C)*a^6 - 6*A*a^5*c + 3*(2*B - C)*a^4*c^2 - 3*A*a^3*c^3 + 3*(2*B - C)*a^2*c^4 + 3*A*a*c^5 +
2*(B + C)*c^6)*cosh(e*x + d)^2 + 2*(2*(B + C)*a^6 - 6*A*a^5*c + 3*(2*B - C)*a^4*c^2 - 3*A*a^3*c^3 + 3*(2*B -
C)*a^2*c^4 + 3*A*a*c^5 + 2*(B + C)*c^6 - 3*(2*A*a^4*c^2 + 3*C*a^3*c^3 + A*a^2*c^4 + 3*C*a*c^5 - A*c^6)*cosh(e*
x + d))*sinh(e*x + d)^2 + (2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5 + (2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5)*cosh(e*x + d)^4
+ (2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5)*sinh(e*x + d)^4 + 4*(2*A*a^3*c^2 + 3*C*a^2*c^3 - A*a*c^4)*cosh(e*x + d)^3
+ 4*(2*A*a^3*c^2 + 3*C*a^2*c^3 - A*a*c^4 + (2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5)*cosh(e*x + d))*sinh(e*x + d)^3 +
2*(4*A*a^4*c + 6*C*a^3*c^2 - 4*A*a^2*c^3 - 3*C*a*c^4 + A*c^5)*cosh(e*x + d)^2 + 2*(4*A*a^4*c + 6*C*a^3*c^2 -
4*A*a^2*c^3 - 3*C*a*c^4 + A*c^5 + 3*(2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5)*cosh(e*x + d)^2 + 6*(2*A*a^3*c^2 + 3*C*a
^2*c^3 - A*a*c^4)*cosh(e*x + d))*sinh(e*x + d)^2 - 4*(2*A*a^3*c^2 + 3*C*a^2*c^3 - A*a*c^4)*cosh(e*x + d) - 4*(
2*A*a^3*c^2 + 3*C*a^2*c^3 - A*a*c^4 - (2*A*a^2*c^3 + 3*C*a*c^4 - A*c^5)*cosh(e*x + d)^3 - 3*(2*A*a^3*c^2 + 3*C
*a^2*c^3 - A*a*c^4)*cosh(e*x + d)^2 - (4*A*a^4*c + 6*C*a^3*c^2 - 4*A*a^2*c^3 - 3*C*a*c^4 + A*c^5)*cosh(e*x + d
))*sinh(e*x + d))*sqrt(a^2 + c^2)*log((c^2*cosh(e*x + d)^2 + c^2*sinh(e*x + d)^2 + 2*a*c*cosh(e*x + d) + 2*a^2
+ c^2 + 2*(c^2*cosh(e*x + d) + a*c)*sinh(e*x + d) + 2*sqrt(a^2 + c^2)*(c*cosh(e*x + d) + c*sinh(e*x + d) + a)
)/(c*cosh(e*x + d)^2 + c*sinh(e*x + d)^2 + 2*a*cosh(e*x + d) + 2*(c*cosh(e*x + d) + a)*sinh(e*x + d) - c)) - 2
*(4*C*a^5*c - 10*A*a^4*c^2 - C*a^3*c^3 - 11*A*a^2*c^4 - 5*C*a*c^5 - A*c^6)*cosh(e*x + d) - 2*(4*C*a^5*c - 10*A
*a^4*c^2 - C*a^3*c^3 - 11*A*a^2*c^4 - 5*C*a*c^5 - A*c^6 + 3*(2*A*a^4*c^2 + 3*C*a^3*c^3 + A*a^2*c^4 + 3*C*a*c^5
- A*c^6)*cosh(e*x + d)^2 - 2*(2*(B + C)*a^6 - 6*A*a^5*c + 3*(2*B - C)*a^4*c^2 - 3*A*a^3*c^3 + 3*(2*B - C)*a^2
*c^4 + 3*A*a*c^5 + 2*(B + C)*c^6)*cosh(e*x + d))*sinh(e*x + d))/((a^6*c^3 + 3*a^4*c^5 + 3*a^2*c^7 + c^9)*e*cos
h(e*x + d)^4 + (a^6*c^3 + 3*a^4*c^5 + 3*a^2*c^7 + c^9)*e*sinh(e*x + d)^4 + 4*(a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6
+ a*c^8)*e*cosh(e*x + d)^3 + 2*(2*a^8*c + 5*a^6*c^3 + 3*a^4*c^5 - a^2*c^7 - c^9)*e*cosh(e*x + d)^2 + 4*((a^6*c
^3 + 3*a^4*c^5 + 3*a^2*c^7 + c^9)*e*cosh(e*x + d) + (a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6 + a*c^8)*e)*sinh(e*x + d)
^3 - 4*(a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6 + a*c^8)*e*cosh(e*x + d) + 2*(3*(a^6*c^3 + 3*a^4*c^5 + 3*a^2*c^7 + c^9
)*e*cosh(e*x + d)^2 + 6*(a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6 + a*c^8)*e*cosh(e*x + d) + (2*a^8*c + 5*a^6*c^3 + 3*a
^4*c^5 - a^2*c^7 - c^9)*e)*sinh(e*x + d)^2 + (a^6*c^3 + 3*a^4*c^5 + 3*a^2*c^7 + c^9)*e + 4*((a^6*c^3 + 3*a^4*c
^5 + 3*a^2*c^7 + c^9)*e*cosh(e*x + d)^3 + 3*(a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6 + a*c^8)*e*cosh(e*x + d)^2 + (2*a
^8*c + 5*a^6*c^3 + 3*a^4*c^5 - a^2*c^7 - c^9)*e*cosh(e*x + d) - (a^7*c^2 + 3*a^5*c^4 + 3*a^3*c^6 + a*c^8)*e)*s
inh(e*x + d))

Sympy [F(-1)]

Timed out. \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=\text {Timed out} \]

[In]

integrate((A+B*cosh(e*x+d)+C*sinh(e*x+d))/(a+c*sinh(e*x+d))**3,x)

[Out]

Timed out

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 726 vs. \(2 (170) = 340\).

Time = 0.34 (sec) , antiderivative size = 726, normalized size of antiderivative = 4.03 \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=\frac {1}{2} \, C {\left (\frac {3 \, a c \log \left (\frac {c e^{\left (-e x - d\right )} - a - \sqrt {a^{2} + c^{2}}}{c e^{\left (-e x - d\right )} - a + \sqrt {a^{2} + c^{2}}}\right )}{{\left (a^{4} + 2 \, a^{2} c^{2} + c^{4}\right )} \sqrt {a^{2} + c^{2}} e} + \frac {2 \, {\left (3 \, a c^{3} e^{\left (-3 \, e x - 3 \, d\right )} + a^{2} c^{2} - 2 \, c^{4} + {\left (4 \, a^{3} c - 5 \, a c^{3}\right )} e^{\left (-e x - d\right )} + {\left (2 \, a^{4} - 5 \, a^{2} c^{2} + 2 \, c^{4}\right )} e^{\left (-2 \, e x - 2 \, d\right )}\right )}}{{\left (a^{4} c^{3} + 2 \, a^{2} c^{5} + c^{7} + 4 \, {\left (a^{5} c^{2} + 2 \, a^{3} c^{4} + a c^{6}\right )} e^{\left (-e x - d\right )} + 2 \, {\left (2 \, a^{6} c + 3 \, a^{4} c^{3} - c^{7}\right )} e^{\left (-2 \, e x - 2 \, d\right )} - 4 \, {\left (a^{5} c^{2} + 2 \, a^{3} c^{4} + a c^{6}\right )} e^{\left (-3 \, e x - 3 \, d\right )} + {\left (a^{4} c^{3} + 2 \, a^{2} c^{5} + c^{7}\right )} e^{\left (-4 \, e x - 4 \, d\right )}\right )} e}\right )} + \frac {1}{2} \, A {\left (\frac {{\left (2 \, a^{2} - c^{2}\right )} \log \left (\frac {c e^{\left (-e x - d\right )} - a - \sqrt {a^{2} + c^{2}}}{c e^{\left (-e x - d\right )} - a + \sqrt {a^{2} + c^{2}}}\right )}{{\left (a^{4} + 2 \, a^{2} c^{2} + c^{4}\right )} \sqrt {a^{2} + c^{2}} e} - \frac {2 \, {\left (3 \, a c^{2} + {\left (10 \, a^{2} c + c^{3}\right )} e^{\left (-e x - d\right )} + 3 \, {\left (2 \, a^{3} - a c^{2}\right )} e^{\left (-2 \, e x - 2 \, d\right )} - {\left (2 \, a^{2} c - c^{3}\right )} e^{\left (-3 \, e x - 3 \, d\right )}\right )}}{{\left (a^{4} c^{2} + 2 \, a^{2} c^{4} + c^{6} + 4 \, {\left (a^{5} c + 2 \, a^{3} c^{3} + a c^{5}\right )} e^{\left (-e x - d\right )} + 2 \, {\left (2 \, a^{6} + 3 \, a^{4} c^{2} - c^{6}\right )} e^{\left (-2 \, e x - 2 \, d\right )} - 4 \, {\left (a^{5} c + 2 \, a^{3} c^{3} + a c^{5}\right )} e^{\left (-3 \, e x - 3 \, d\right )} + {\left (a^{4} c^{2} + 2 \, a^{2} c^{4} + c^{6}\right )} e^{\left (-4 \, e x - 4 \, d\right )}\right )} e}\right )} - \frac {2 \, B e^{\left (-2 \, e x - 2 \, d\right )}}{{\left (4 \, a c^{2} e^{\left (-e x - d\right )} - 4 \, a c^{2} e^{\left (-3 \, e x - 3 \, d\right )} + c^{3} e^{\left (-4 \, e x - 4 \, d\right )} + c^{3} + 2 \, {\left (2 \, a^{2} c - c^{3}\right )} e^{\left (-2 \, e x - 2 \, d\right )}\right )} e} \]

[In]

integrate((A+B*cosh(e*x+d)+C*sinh(e*x+d))/(a+c*sinh(e*x+d))^3,x, algorithm="maxima")

[Out]

1/2*C*(3*a*c*log((c*e^(-e*x - d) - a - sqrt(a^2 + c^2))/(c*e^(-e*x - d) - a + sqrt(a^2 + c^2)))/((a^4 + 2*a^2*
c^2 + c^4)*sqrt(a^2 + c^2)*e) + 2*(3*a*c^3*e^(-3*e*x - 3*d) + a^2*c^2 - 2*c^4 + (4*a^3*c - 5*a*c^3)*e^(-e*x -
d) + (2*a^4 - 5*a^2*c^2 + 2*c^4)*e^(-2*e*x - 2*d))/((a^4*c^3 + 2*a^2*c^5 + c^7 + 4*(a^5*c^2 + 2*a^3*c^4 + a*c^
6)*e^(-e*x - d) + 2*(2*a^6*c + 3*a^4*c^3 - c^7)*e^(-2*e*x - 2*d) - 4*(a^5*c^2 + 2*a^3*c^4 + a*c^6)*e^(-3*e*x -
3*d) + (a^4*c^3 + 2*a^2*c^5 + c^7)*e^(-4*e*x - 4*d))*e)) + 1/2*A*((2*a^2 - c^2)*log((c*e^(-e*x - d) - a - sqr
t(a^2 + c^2))/(c*e^(-e*x - d) - a + sqrt(a^2 + c^2)))/((a^4 + 2*a^2*c^2 + c^4)*sqrt(a^2 + c^2)*e) - 2*(3*a*c^2
+ (10*a^2*c + c^3)*e^(-e*x - d) + 3*(2*a^3 - a*c^2)*e^(-2*e*x - 2*d) - (2*a^2*c - c^3)*e^(-3*e*x - 3*d))/((a^
4*c^2 + 2*a^2*c^4 + c^6 + 4*(a^5*c + 2*a^3*c^3 + a*c^5)*e^(-e*x - d) + 2*(2*a^6 + 3*a^4*c^2 - c^6)*e^(-2*e*x -
2*d) - 4*(a^5*c + 2*a^3*c^3 + a*c^5)*e^(-3*e*x - 3*d) + (a^4*c^2 + 2*a^2*c^4 + c^6)*e^(-4*e*x - 4*d))*e)) - 2
*B*e^(-2*e*x - 2*d)/((4*a*c^2*e^(-e*x - d) - 4*a*c^2*e^(-3*e*x - 3*d) + c^3*e^(-4*e*x - 4*d) + c^3 + 2*(2*a^2*
c - c^3)*e^(-2*e*x - 2*d))*e)

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 405 vs. \(2 (170) = 340\).

Time = 0.33 (sec) , antiderivative size = 405, normalized size of antiderivative = 2.25 \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=-\frac {\frac {{\left (2 \, A a^{2} + 3 \, C a c - A c^{2}\right )} \log \left (\frac {{\left | -2 \, c e^{\left (e x + d\right )} - 2 \, a - 2 \, \sqrt {a^{2} + c^{2}} \right |}}{{\left | -2 \, c e^{\left (e x + d\right )} - 2 \, a + 2 \, \sqrt {a^{2} + c^{2}} \right |}}\right )}{{\left (a^{4} + 2 \, a^{2} c^{2} + c^{4}\right )} \sqrt {a^{2} + c^{2}}} - \frac {2 \, {\left (2 \, A a^{2} c^{2} e^{\left (3 \, e x + 3 \, d\right )} + 3 \, C a c^{3} e^{\left (3 \, e x + 3 \, d\right )} - A c^{4} e^{\left (3 \, e x + 3 \, d\right )} - 2 \, B a^{4} e^{\left (2 \, e x + 2 \, d\right )} - 2 \, C a^{4} e^{\left (2 \, e x + 2 \, d\right )} + 6 \, A a^{3} c e^{\left (2 \, e x + 2 \, d\right )} - 4 \, B a^{2} c^{2} e^{\left (2 \, e x + 2 \, d\right )} + 5 \, C a^{2} c^{2} e^{\left (2 \, e x + 2 \, d\right )} - 3 \, A a c^{3} e^{\left (2 \, e x + 2 \, d\right )} - 2 \, B c^{4} e^{\left (2 \, e x + 2 \, d\right )} - 2 \, C c^{4} e^{\left (2 \, e x + 2 \, d\right )} + 4 \, C a^{3} c e^{\left (e x + d\right )} - 10 \, A a^{2} c^{2} e^{\left (e x + d\right )} - 5 \, C a c^{3} e^{\left (e x + d\right )} - A c^{4} e^{\left (e x + d\right )} - C a^{2} c^{2} + 3 \, A a c^{3} + 2 \, C c^{4}\right )}}{{\left (a^{4} c + 2 \, a^{2} c^{3} + c^{5}\right )} {\left (c e^{\left (2 \, e x + 2 \, d\right )} + 2 \, a e^{\left (e x + d\right )} - c\right )}^{2}}}{2 \, e} \]

[In]

integrate((A+B*cosh(e*x+d)+C*sinh(e*x+d))/(a+c*sinh(e*x+d))^3,x, algorithm="giac")

[Out]

-1/2*((2*A*a^2 + 3*C*a*c - A*c^2)*log(abs(-2*c*e^(e*x + d) - 2*a - 2*sqrt(a^2 + c^2))/abs(-2*c*e^(e*x + d) - 2
*a + 2*sqrt(a^2 + c^2)))/((a^4 + 2*a^2*c^2 + c^4)*sqrt(a^2 + c^2)) - 2*(2*A*a^2*c^2*e^(3*e*x + 3*d) + 3*C*a*c^
3*e^(3*e*x + 3*d) - A*c^4*e^(3*e*x + 3*d) - 2*B*a^4*e^(2*e*x + 2*d) - 2*C*a^4*e^(2*e*x + 2*d) + 6*A*a^3*c*e^(2
*e*x + 2*d) - 4*B*a^2*c^2*e^(2*e*x + 2*d) + 5*C*a^2*c^2*e^(2*e*x + 2*d) - 3*A*a*c^3*e^(2*e*x + 2*d) - 2*B*c^4*
e^(2*e*x + 2*d) - 2*C*c^4*e^(2*e*x + 2*d) + 4*C*a^3*c*e^(e*x + d) - 10*A*a^2*c^2*e^(e*x + d) - 5*C*a*c^3*e^(e*
x + d) - A*c^4*e^(e*x + d) - C*a^2*c^2 + 3*A*a*c^3 + 2*C*c^4)/((a^4*c + 2*a^2*c^3 + c^5)*(c*e^(2*e*x + 2*d) +
2*a*e^(e*x + d) - c)^2))/e

Mupad [F(-1)]

Timed out. \[ \int \frac {A+B \cosh (d+e x)+C \sinh (d+e x)}{(a+c \sinh (d+e x))^3} \, dx=\int \frac {A+B\,\mathrm {cosh}\left (d+e\,x\right )+C\,\mathrm {sinh}\left (d+e\,x\right )}{{\left (a+c\,\mathrm {sinh}\left (d+e\,x\right )\right )}^3} \,d x \]

[In]

int((A + B*cosh(d + e*x) + C*sinh(d + e*x))/(a + c*sinh(d + e*x))^3,x)

[Out]

int((A + B*cosh(d + e*x) + C*sinh(d + e*x))/(a + c*sinh(d + e*x))^3, x)