text:
using Rubin
using Tests
using Elliptic
using HypergeometricFunctions
using Polylogarithms
using SpecialFunctions

@test integrate((d+e*x)^3*arccosh(c*x), x) == :(1//4*e^-1*(d+e*x)^4*arccosh(c*x)+-1//16*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^3+-1//32*c^-4*e^-1*(3*e^4+8*c^4*d^4+24*c^2*d^2*e^2)*arccosh(c*x)+-1//96*c^-3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(4*d*(16*e^2+19*c^2*d^2)+e*x*(9*e^2+26*c^2*d^2))+-7//48*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^2)
@test integrate((d+e*x)^2*arccosh(c*x), x) == :(-1//6*d*(2*d^2*e^-1+3*e*c^-2)*arccosh(c*x)+1//3*e^-1*(d+e*x)^3*arccosh(c*x)+-1//9*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^2+-1//18*c^-3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(4*e^2+16*c^2*d^2+5*d*e*x*c^2))
@test integrate((d+e*x)*arccosh(c*x), x) == :(-1*((1/2)*d^2*e^-1+1//4*e*c^-2)*arccosh(c*x)+(1/2)*e^-1*(d+e*x)^2*arccosh(c*x)+-3//4*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)+-1//4*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x))
@test integrate((d+e*x)^-1*arccosh(c*x), x) == :(e^-1*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1//2*e^-1*arccosh(c*x)^2+e^-1*arccosh(c*x)*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*arccosh(c*x)*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((d+e*x)^-2*arccosh(c*x), x) == :(-1*e^-1*(d+e*x)^-1*arccosh(c*x)+2*c*e^-1*(e+c*d)^-1//2*(-1*e+c*d)^-1//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(e+c*d)^(1/2)*(-1*e+c*d)^-1//2))
@test integrate((d+e*x)^-3*arccosh(c*x), x) == :(-1//2*e^-1*(d+e*x)^-2*arccosh(c*x)+-1*c*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^-1*(-2*e^2+2*c^2*d^2)^-1+d*c^3*e^-1*(e+c*d)^-3//2*(-1*e+c*d)^-3//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(e+c*d)^(1/2)*(-1*e+c*d)^-1//2))
@test integrate((d+e*x)^3*arccosh(c*x)^2, x) == :(2*x*d^3+1//32*e^3*x^4+-3//32*c^-4*e^3*arccosh(c*x)^2+-1//4*d^4*e^-1*arccosh(c*x)^2+1//4*e^-1*(d+e*x)^4*arccosh(c*x)^2+2//9*d*e^2*x^3+3//4*e*d^2*x^2+3//32*c^-2*e^3*x^2+-3//4*e*c^-2*d^2*arccosh(c*x)^2+4//3*d*x*c^-2*e^2+-2*c^-1*d^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-4//3*d*c^-3*e^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-3//16*x*c^-3*e^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-1//8*c^-1*e^3*x^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-3//2*e*x*c^-1*d^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-2//3*d*c^-1*e^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x))
@test integrate((d+e*x)^2*arccosh(c*x)^2, x) == :(2*x*d^2+2//27*e^2*x^3+(1/2)*d*e*x^2+-1//3*d^3*e^-1*arccosh(c*x)^2+1//3*e^-1*(d+e*x)^3*arccosh(c*x)^2+4//9*x*c^-2*e^2+-1//2*d*e*c^-2*arccosh(c*x)^2+-2*c^-1*d^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-4//9*c^-3*e^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-2//9*c^-1*e^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-1*d*e*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x))
@test integrate(arccosh(c*x)^2*(d+e*x), x) == :(2*d*x+1//4*e*x^2+(1/2)*e^-1*(d+e*x)^2*arccosh(c*x)^2+-1//2*d^2*e^-1*arccosh(c*x)^2+-1//4*e*c^-2*arccosh(c*x)^2+-2*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x)+-1//2*e*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*arccosh(c*x))
@test integrate((d+e*x)^-1*arccosh(c*x)^2, x) == :(-2*e^-1*Polylogarithms.polylog(3,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-2*e^-1*Polylogarithms.polylog(3,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1//3*e^-1*arccosh(c*x)^3+e^-1*arccosh(c*x)^2*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*arccosh(c*x)^2*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*e^-1*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))*arccosh(c*x)+2*e^-1*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))*arccosh(c*x))
@test integrate((d+e*x)^-2*arccosh(c*x)^2, x) == :(-1*e^-1*(d+e*x)^-1*arccosh(c*x)^2+-2*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-2*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*arccosh(c*x)*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*arccosh(c*x)*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((d+e*x)^-3*arccosh(c*x)^2, x) == :(-1//2*e^-1*(d+e*x)^-2*arccosh(c*x)^2+c^2*e^-1*(-1*e^2+c^2*d^2)^-1*log(d+e*x)+d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1*d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*arccosh(c*x)*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1*c*(-1*(1+c*x)^-1*(1+-1*c*x))^(1/2)*(d+e*x)^-1*(-1*e^2+c^2*d^2)^-1*(1+c*x)*arccosh(c*x)+-1*d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*arccosh(c*x)*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((d+e*x)^3*(a+b*arccosh(c*x)), x) == :(1//4*e^-1*(d+e*x)^4*(a+b*arccosh(c*x))+-1//16*b*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^3+-1//32*b*c^-4*e^-1*(3*e^4+8*c^4*d^4+24*c^2*d^2*e^2)*arccosh(c*x)+-1//96*b*c^-3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(4*d*(16*e^2+19*c^2*d^2)+e*x*(9*e^2+26*c^2*d^2))+-7//48*b*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^2)
@test integrate((d+e*x)^2*(a+b*arccosh(c*x)), x) == :(1//3*e^-1*(d+e*x)^3*(a+b*arccosh(c*x))+-1//6*b*d*e^-1*(2*d^2+3*c^-2*e^2)*arccosh(c*x)+-1//9*b*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^2+-1//18*b*c^-3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(4*e^2+16*c^2*d^2+5*d*e*x*c^2))
@test integrate((a+b*arccosh(c*x))*(d+e*x), x) == :((1/2)*e^-1*(d+e*x)^2*(a+b*arccosh(c*x))+-1//4*b*e^-1*(2*d^2+c^-2*e^2)*arccosh(c*x)+-3//4*b*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)+-1//4*b*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x))
@test integrate((d+e*x)^-1*(a+b*arccosh(c*x)), x) == :(b*e^-1*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+b*e^-1*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*(a+b*arccosh(c*x))*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*(a+b*arccosh(c*x))*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1//2*b^-1*e^-1*(a+b*arccosh(c*x))^2)
@test integrate((d+e*x)^-2*(a+b*arccosh(c*x)), x) == :(-1*e^-1*(d+e*x)^-1*(a+b*arccosh(c*x))+2*b*c*e^-1*(e+c*d)^-1//2*(-1*e+c*d)^-1//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(e+c*d)^(1/2)*(-1*e+c*d)^-1//2))
@test integrate((d+e*x)^-3*(a+b*arccosh(c*x)), x) == :(-1//2*e^-1*(d+e*x)^-2*(a+b*arccosh(c*x))+-1*b*c*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+e*x)^-1*(-2*e^2+2*c^2*d^2)^-1+b*d*c^3*e^-1*(e+c*d)^-3//2*(-1*e+c*d)^-3//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(e+c*d)^(1/2)*(-1*e+c*d)^-1//2))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x)^3, x) == :(2*x*b^2*d^3+-3//32*c^-4*e^3*(a+b*arccosh(c*x))^2+-1//4*d^4*e^-1*(a+b*arccosh(c*x))^2+1//4*e^-1*(a+b*arccosh(c*x))^2*(d+e*x)^4+1//32*b^2*e^3*x^4+-3//4*e*c^-2*d^2*(a+b*arccosh(c*x))^2+2//9*d*b^2*e^2*x^3+3//4*e*b^2*d^2*x^2+3//32*b^2*c^-2*e^3*x^2+4//3*d*x*b^2*c^-2*e^2+-2*b*c^-1*d^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-4//3*b*d*c^-3*e^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-3//16*b*x*c^-3*e^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-1//8*b*c^-1*e^3*x^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-3//2*b*e*x*c^-1*d^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-2//3*b*d*c^-1*e^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x)))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x)^2, x) == :(2*x*b^2*d^2+-1//3*d^3*e^-1*(a+b*arccosh(c*x))^2+1//3*e^-1*(a+b*arccosh(c*x))^2*(d+e*x)^3+2//27*b^2*e^2*x^3+(1/2)*d*e*b^2*x^2+-1//2*d*e*c^-2*(a+b*arccosh(c*x))^2+4//9*x*b^2*c^-2*e^2+-2*b*c^-1*d^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-4//9*b*c^-3*e^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-2//9*b*c^-1*e^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-1*b*d*e*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x)))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x), x) == :((1/2)*e^-1*(a+b*arccosh(c*x))^2*(d+e*x)^2+2*d*x*b^2+-1//2*d^2*e^-1*(a+b*arccosh(c*x))^2+-1//4*e*c^-2*(a+b*arccosh(c*x))^2+1//4*e*b^2*x^2+-2*b*d*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))+-1//2*b*e*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x)))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x)^-1, x) == :(e^-1*(a+b*arccosh(c*x))^2*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+e^-1*(a+b*arccosh(c*x))^2*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-2*b^2*e^-1*Polylogarithms.polylog(3,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-2*b^2*e^-1*Polylogarithms.polylog(3,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1//3*b^-1*e^-1*(a+b*arccosh(c*x))^3+2*b*e^-1*(a+b*arccosh(c*x))*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*b*e^-1*(a+b*arccosh(c*x))*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x)^-2, x) == :(-1*e^-1*(a+b*arccosh(c*x))^2*(d+e*x)^-1+-2*c*b^2*e^-1*(-1*e^2+c^2*d^2)^-1//2*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*c*b^2*e^-1*(-1*e^2+c^2*d^2)^-1//2*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-2*b*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*(a+b*arccosh(c*x))*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+2*b*c*e^-1*(-1*e^2+c^2*d^2)^-1//2*(a+b*arccosh(c*x))*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((a+b*arccosh(c*x))^2*(d+e*x)^-3, x) == :(-1//2*e^-1*(a+b*arccosh(c*x))^2*(d+e*x)^-2+b^2*c^2*e^-1*(-1*e^2+c^2*d^2)^-1*log(d+e*x)+d*b^2*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*Polylogarithms.polylog(2,-1*e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1*d*b^2*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*Polylogarithms.polylog(2,-1*e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+b*d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*(a+b*arccosh(c*x))*log(1+e*(-1*(-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x)))+-1*b*c*(-1*(1+c*x)^-1*(1+-1*c*x))^(1/2)*(d+e*x)^-1*(-1*e^2+c^2*d^2)^-1*(1+c*x)*(a+b*arccosh(c*x))+-1*b*d*c^3*e^-1*(-1*e^2+c^2*d^2)^-3//2*(a+b*arccosh(c*x))*log(1+e*((-1*e^2+c^2*d^2)^(1/2)+c*d)^-1*exp(arccosh(c*x))))
@test integrate((a+b*arccosh(c*x))^-1*(d+e*x)^3, x) == :(b^-1*c^-1*d^3*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+-1*b^-1*c^-1*d^3*coshintegral(a*b^-1+arccosh(c*x))*sinh(a*b^-1)+-1//4*b^-1*c^-4*e^3*coshintegral(2*arccosh(c*x)+2*a*b^-1)*sinh(2*a*b^-1)+-1//8*b^-1*c^-4*e^3*coshintegral(4*arccosh(c*x)+4*a*b^-1)*sinh(4*a*b^-1)+1//4*b^-1*c^-4*e^3*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+1//8*b^-1*c^-4*e^3*cosh(4*a*b^-1)*sinhintegral(4*arccosh(c*x)+4*a*b^-1)+-3//2*e*b^-1*c^-2*d^2*coshintegral(2*arccosh(c*x)+2*a*b^-1)*sinh(2*a*b^-1)+-3//4*d*b^-1*c^-3*e^2*coshintegral(3*arccosh(c*x)+3*a*b^-1)*sinh(3*a*b^-1)+-3//4*d*b^-1*c^-3*e^2*coshintegral(a*b^-1+arccosh(c*x))*sinh(a*b^-1)+3//2*e*b^-1*c^-2*d^2*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+3//4*d*b^-1*c^-3*e^2*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+3//4*d*b^-1*c^-3*e^2*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c*x)+3*a*b^-1))
@test integrate((a+b*arccosh(c*x))^-1*(d+e*x)^2, x) == :(b^-1*c^-1*d^2*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+-1*b^-1*c^-1*d^2*coshintegral(a*b^-1+arccosh(c*x))*sinh(a*b^-1)+-1//4*b^-1*c^-3*e^2*coshintegral(3*arccosh(c*x)+3*a*b^-1)*sinh(3*a*b^-1)+-1//4*b^-1*c^-3*e^2*coshintegral(a*b^-1+arccosh(c*x))*sinh(a*b^-1)+1//4*b^-1*c^-3*e^2*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+1//4*b^-1*c^-3*e^2*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c*x)+3*a*b^-1)+d*e*b^-1*c^-2*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+-1*d*e*b^-1*c^-2*coshintegral(2*arccosh(c*x)+2*a*b^-1)*sinh(2*a*b^-1))
@test integrate((a+b*arccosh(c*x))^-1*(d+e*x), x) == :(d*b^-1*c^-1*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+(1/2)*e*b^-1*c^-2*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+-1*d*b^-1*c^-1*coshintegral(a*b^-1+arccosh(c*x))*sinh(a*b^-1)+-1//2*e*b^-1*c^-2*coshintegral(2*arccosh(c*x)+2*a*b^-1)*sinh(2*a*b^-1))
@test integrate((a+b*arccosh(c*x))^-2*(d+e*x)^2, x) == :(b^-2*c^-1*d^2*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c*x))+-1*b^-2*c^-1*d^2*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+-3//4*b^-2*c^-3*e^2*sinh(3*a*b^-1)*sinhintegral(3*arccosh(c*x)+3*a*b^-1)+-1//4*b^-2*c^-3*e^2*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+1//4*b^-2*c^-3*e^2*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c*x))+3//4*b^-2*c^-3*e^2*cosh(3*a*b^-1)*coshintegral(3*arccosh(c*x)+3*a*b^-1)+-1*b^-1*c^-1*d^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^-1+-2*d*e*b^-2*c^-2*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+2*d*e*b^-2*c^-2*cosh(2*a*b^-1)*coshintegral(2*arccosh(c*x)+2*a*b^-1)+-1*b^-1*c^-1*e^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^-1+-2*d*e*x*b^-1*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^-1)
@test integrate((a+b*arccosh(c*x))^-2*(d+e*x), x) == :(d*b^-2*c^-1*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c*x))+e*b^-2*c^-2*cosh(2*a*b^-1)*coshintegral(2*arccosh(c*x)+2*a*b^-1)+-1*d*b^-2*c^-1*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c*x))+-1*e*b^-2*c^-2*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c*x)+2*a*b^-1)+-1*d*b^-1*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^-1+-1*e*x*b^-1*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^-1)
@test integrate((c+d*x^2)^4*arccosh(a*x), x) == :(x*c^4*arccosh(a*x)+1//9*d^4*x^9*arccosh(a*x)+4//3*d*c^3*x^3*arccosh(a*x)+4//7*c*d^3*x^7*arccosh(a*x)+6//5*c^2*d^2*x^5*arccosh(a*x)+1//81*a^-9*d^4*(1+a*x)^-1//2*(1+-1*a^2*x^2)^5*(-1+a*x)^-1//2+1//315*a^-9*(1+a*x)^-1//2*(-1+a*x)^-1//2*(1+-1*a^2*x^2)*(35*d^4+315*a^8*c^4+180*c*a^2*d^3+378*a^4*c^2*d^2+420*d*a^6*c^3)+-4//441*a^-9*d^3*(1+a*x)^-1//2*(1+-1*a^2*x^2)^4*(-1+a*x)^-1//2*(7d+9*c*a^2)+-4//945*d*a^-9*(1+a*x)^-1//2*(1+-1*a^2*x^2)^2*(-1+a*x)^-1//2*(35*d^3+105*a^6*c^3+135*c*a^2*d^2+189*d*a^4*c^2)+2//525*a^-9*d^2*(1+a*x)^-1//2*(1+-1*a^2*x^2)^3*(-1+a*x)^-1//2*(35*d^2+63*a^4*c^2+90*c*d*a^2))
@test integrate((c+d*x^2)^3*arccosh(a*x), x) == :(x*c^3*arccosh(a*x)+1//7*d^3*x^7*arccosh(a*x)+d*c^2*x^3*arccosh(a*x)+3//5*c*d^2*x^5*arccosh(a*x)+-1//49*a^-7*d^3*(1+a*x)^-1//2*(1+-1*a^2*x^2)^4*(-1+a*x)^-1//2+1//35*a^-7*(1+a*x)^-1//2*(-1+a*x)^-1//2*(1+-1*a^2*x^2)*(5*d^3+35*a^6*c^3+21*c*a^2*d^2+35*d*a^4*c^2)+-1//105*d*a^-7*(1+a*x)^-1//2*(1+-1*a^2*x^2)^2*(-1+a*x)^-1//2*(15*d^2+35*a^4*c^2+42*c*d*a^2)+3//175*a^-7*d^2*(1+a*x)^-1//2*(1+-1*a^2*x^2)^3*(-1+a*x)^-1//2*(5d+7*c*a^2))
@test integrate((c+d*x^2)^2*arccosh(a*x), x) == :(x*c^2*arccosh(a*x)+1//5*d^2*x^5*arccosh(a*x)+2//3*c*d*x^3*arccosh(a*x)+1//15*a^-5*(1+a*x)^-1//2*(-1+a*x)^-1//2*(1+-1*a^2*x^2)*(3*d^2+15*a^4*c^2+10*c*d*a^2)+1//25*a^-5*d^2*(1+a*x)^-1//2*(1+-1*a^2*x^2)^3*(-1+a*x)^-1//2+-2//45*d*a^-5*(1+a*x)^-1//2*(1+-1*a^2*x^2)^2*(-1+a*x)^-1//2*(3d+5*c*a^2))
@test integrate((c+d*x^2)*arccosh(a*x), x) == :(c*x*arccosh(a*x)+1//3*d*x^3*arccosh(a*x)+-1//9*a^-3*(1+a*x)^(1/2)*(-1+a*x)^(1/2)*(2d+9*c*a^2)+-1//9*d*a^-1*x^2*(1+a*x)^(1/2)*(-1+a*x)^(1/2))
@test integrate((c+d*x^2)^-1*arccosh(a*x), x) == :((1/2)*d^-1//2*(-1c)^-1//2*Polylogarithms.polylog(2,d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+(1/2)*d^-1//2*(-1c)^-1//2*Polylogarithms.polylog(2,d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//2*d^-1//2*(-1c)^-1//2*Polylogarithms.polylog(2,-1*d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//2*d^-1//2*(-1c)^-1//2*Polylogarithms.polylog(2,-1*d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+(1/2)*d^-1//2*(-1c)^-1//2*arccosh(a*x)*log(1+-1*d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+(1/2)*d^-1//2*(-1c)^-1//2*arccosh(a*x)*log(1+-1*d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//2*d^-1//2*(-1c)^-1//2*arccosh(a*x)*log(1+d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//2*d^-1//2*(-1c)^-1//2*arccosh(a*x)*log(1+d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x))))
@test integrate((c+d*x^2)^-2*arccosh(a*x), x) == :(-1//4*d^-1//2*(-1c)^-3//2*Polylogarithms.polylog(2,d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//4*d^-1//2*(-1c)^-3//2*Polylogarithms.polylog(2,d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+1//4*d^-1//2*(-1c)^-3//2*Polylogarithms.polylog(2,-1*d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+1//4*d^-1//2*(-1c)^-3//2*Polylogarithms.polylog(2,-1*d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//4*c^-1*d^-1//2*((-1c)^(1/2)+-1*x*d^(1/2))^-1*arccosh(a*x)+-1//4*d^-1//2*(-1c)^-3//2*arccosh(a*x)*log(1+-1*d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+-1//4*d^-1//2*(-1c)^-3//2*arccosh(a*x)*log(1+-1*d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+1//4*c^-1*d^-1//2*((-1c)^(1/2)+x*d^(1/2))^-1*arccosh(a*x)+1//4*d^-1//2*(-1c)^-3//2*arccosh(a*x)*log(1+d^(1/2)*((-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+1//4*d^-1//2*(-1c)^-3//2*arccosh(a*x)*log(1+d^(1/2)*(-1*(-1d+-1*c*a^2)^(1/2)+a*(-1c)^(1/2))^-1*exp(arccosh(a*x)))+(1/2)*a*c^-1*d^-1//2*(d^(1/2)+a*(-1c)^(1/2))^-1//2*(-1*d^(1/2)+a*(-1c)^(1/2))^-1//2*arctanh((1+a*x)^(1/2)*(-1+a*x)^-1//2*(d^(1/2)+a*(-1c)^(1/2))^-1//2*(-1*d^(1/2)+a*(-1c)^(1/2))^(1/2))+-1//2*a*c^-1*d^-1//2*(d^(1/2)+a*(-1c)^(1/2))^-1//2*(-1*d^(1/2)+a*(-1c)^(1/2))^-1//2*arctanh((1+a*x)^(1/2)*(-1+a*x)^-1//2*(d^(1/2)+a*(-1c)^(1/2))^(1/2)*(-1*d^(1/2)+a*(-1c)^(1/2))^-1//2))
@test integrate((c+d*x^2)^-3//2*arccosh(a*x), x) == :(x*c^-1*(c+d*x^2)^-1//2*arccosh(a*x)+-1*c^-1*d^-1//2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(-1+a^2*x^2)^(1/2)*arctanh(a^-1*d^(1/2)*(-1+a^2*x^2)^(1/2)*(c+d*x^2)^-1//2))
@test integrate((c+d*x^2)^-5//2*arccosh(a*x), x) == :(1//3*x*c^-1*(c+d*x^2)^-3//2*arccosh(a*x)+2//3*x*c^-2*(c+d*x^2)^-1//2*arccosh(a*x)+-2//3*c^-2*d^-1//2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(-1+a^2*x^2)^(1/2)*arctanh(a^-1*d^(1/2)*(-1+a^2*x^2)^(1/2)*(c+d*x^2)^-1//2)+1//3*a*c^-1*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-1//2*(d+c*a^2)^-1*(1+-1*a^2*x^2))
@test integrate((c+d*x^2)^-7//2*arccosh(a*x), x) == :(1//5*x*c^-1*(c+d*x^2)^-5//2*arccosh(a*x)+4//15*x*c^-2*(c+d*x^2)^-3//2*arccosh(a*x)+8//15*x*c^-3*(c+d*x^2)^-1//2*arccosh(a*x)+-8//15*c^-3*d^-1//2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(-1+a^2*x^2)^(1/2)*arctanh(a^-1*d^(1/2)*(-1+a^2*x^2)^(1/2)*(c+d*x^2)^-1//2)+1//15*a*c^-1*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-3//2*(d+c*a^2)^-1*(1+-1*a^2*x^2)+2//15*a*c^-2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-1//2*(d+c*a^2)^-2*(1+-1*a^2*x^2)*(2d+3*c*a^2))
@test integrate((c+d*x^2)^-9//2*arccosh(a*x), x) == :(1//7*x*c^-1*(c+d*x^2)^-7//2*arccosh(a*x)+6//35*x*c^-2*(c+d*x^2)^-5//2*arccosh(a*x)+8//35*x*c^-3*(c+d*x^2)^-3//2*arccosh(a*x)+16//35*x*c^-4*(c+d*x^2)^-1//2*arccosh(a*x)+-16//35*c^-4*d^-1//2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(-1+a^2*x^2)^(1/2)*arctanh(a^-1*d^(1/2)*(-1+a^2*x^2)^(1/2)*(c+d*x^2)^-1//2)+1//35*a*c^-1*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-5//2*(d+c*a^2)^-1*(1+-1*a^2*x^2)+2//105*a*c^-2*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-3//2*(d+c*a^2)^-2*(1+-1*a^2*x^2)*(3d+5*c*a^2)+4//105*a*c^-3*(1+a*x)^-1//2*(-1+a*x)^-1//2*(c+d*x^2)^-1//2*(d+c*a^2)^-3*(1+-1*a^2*x^2)*(6*d^2+11*a^4*c^2+15*c*d*a^2))
@test integrate((d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^3*(a+b*arccosh(c*x)), x) == :((1/2)*x*f^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+3//4*f*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-3//8*f*x*c^-2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-2//15*c^-4*g^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1*g*c^-2*f^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//4*b*c*f^3*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//4*b^-1*c^-1*f^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//5*c^-2*g^3*x^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//25*b*c*g^3*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//45*b*c^-1*g^3*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//15*b*x*c^-3*g^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+b*g*x*c^-1*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//16*b*c*f*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//16*f*b^-1*c^-3*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//3*b*c*g*f^2*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//16*b*f*c^-1*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^2*(a+b*arccosh(c*x)), x) == :((1/2)*x*f^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//4*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//8*x*c^-2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-2//3*f*g*c^-2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//4*b*c*f^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//4*b^-1*c^-1*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//16*b*c*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//16*b^-1*c^-3*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+1//16*b*c^-1*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-2//9*b*c*f*g*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//3*b*f*g*x*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))*(f+g*x), x) == :((1/2)*f*x*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//3*g*c^-2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//4*b*c*f*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//4*f*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//9*b*c*g*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//3*b*g*x*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(a+b*arccosh(c*x)), x) == :(b*g^-1*(d+-1*d*c^2*x^2)^(1/2)*arccosh(c*x)+a*g^-1*(1+c*x)^-1*(1+-1*c*x)^-1*(d+-1*d*c^2*x^2)^(1/2)*(1+-1*c^2*x^2)+b*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*c*x*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1*b*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+b*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*arccosh(c*x)*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1/2)*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(1+-1*c^2*f^2*g^-2)+-1*a*g^-2*(1+c*x)^-1*(1+-1*c*x)^-1*(-1+c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*arctanh((-1+c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*(g+f*x*c^2))+-1*b*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*arccosh(c*x)*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//2*c*x*b^-1*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//2*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(1+-1*c^2*x^2))
@test integrate((d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-2*(a+b*arccosh(c*x)), x) == :(-1*a*g^-1*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1+b*c*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*log(f+g*x)+-1*b*g^-1*(-1*(1+c*x)^-1*(1+-1*c*x))^(1/2)*(1+c*x)^(1/2)*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*arccosh(c*x)+-1//2*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-2*(1+-1*c^2*x^2)+a*c^3*f^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1*arccosh(c*x)+b*f*c^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1//2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1/2)*b*c^3*f^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1*arccosh(c*x)^2+-1*b*f*c^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1//2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//2*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-2*(g+f*x*c^2)^2*(-1*g^2+c^2*f^2)^-1+b*f*c^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1//2*arccosh(c*x)*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*f*c^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^-1//2*arccosh(c*x)*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-2*a*f*c^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)^-1//2*(-1g+c*f)^-1//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(g+c*f)^(1/2)*(-1g+c*f)^-1//2))
@test integrate((d+-1*d*c^2*x^2)^3//2*(f+g*x)^3*(a+b*arccosh(c*x)), x) == :(3//8*d*x*f^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+3//8*d*f*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-3//16*d*f*x*c^-2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-2//35*d*c^-4*g^3*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//4*d*x*f^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+(1/2)*d*f*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-8//175*b*c*d*g^3*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-5//16*b*c*d*f^3*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//5*d*g*c^-2*f^2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-3//16*d*b^-1*c^-1*f^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//7*d*c^-2*g^3*x^2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//16*b*d*c^3*f^3*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//49*b*d*c^3*g^3*x^7*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//105*b*d*c^-1*g^3*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//35*b*d*x*c^-3*g^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-7//32*b*c*d*f*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//32*d*f*b^-1*c^-3*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-2//5*b*c*d*g*f^2*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//12*b*d*f*c^3*g^2*x^6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//5*b*d*g*x*c^-1*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//25*b*d*g*c^3*f^2*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//32*b*d*f*c^-1*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^3//2*(f+g*x)^2*(a+b*arccosh(c*x)), x) == :(1//8*d*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+3//8*d*x*f^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//16*d*x*c^-2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//4*d*x*f^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+1//6*d*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-7//96*b*c*d*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-5//16*b*c*d*f^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//16*d*b^-1*c^-1*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-2//5*d*f*g*c^-2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//32*d*b^-1*c^-3*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+1//16*b*d*c^3*f^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//32*b*d*c^-1*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//36*b*d*c^3*g^2*x^6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-4//15*b*c*d*f*g*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//5*b*d*f*g*x*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//25*b*d*f*g*c^3*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^3//2*(a+b*arccosh(c*x))*(f+g*x), x) == :(3//8*d*f*x*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//5*d*g*c^-2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//4*d*f*x*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-5//16*b*c*d*f*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//16*d*f*b^-1*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-2//15*b*c*d*g*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//5*b*d*g*x*c^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//16*b*d*f*c^3*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//25*b*d*g*c^3*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^3//2*(f+g*x)^-1*(a+b*arccosh(c*x)), x) == :(1//6*a*d*g^-1*(d+-1*d*c^2*x^2)^(1/2)*(2+-2*c^2*x^2+3*c*x)+-1*a*d*g^-3*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)*(-1g+c*f)+1//6*b*d*g^-1*(d+-1*d*c^2*x^2)^(1/2)*(2+-2*c^2*x^2+3*c*x)*arccosh(c*x)+(1/2)*c*d*x*g^-2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))*(-1g+c*f)+-1*b*d*g^-3*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)*(-1g+c*f)*arccosh(c*x)+-1//2*a*d*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*arccosh(c*x)+-1//4*b*d*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*arccosh(c*x)^2+-1//4*d*b^-1*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(-1g+c*f)+-2*a*d*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)^3//2*(-1g+c*f)^3//2*arctanh((1+c*x)^(1/2)*(-1+c*x)^-1//2*(g+c*f)^(1/2)*(-1g+c*f)^-1//2)+-1//4*b*d*c^2*g^-2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1g+c*f)+1//36*b*c*d*x*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-12+-9*c*x+4*c^2*x^2)+b*c*d*x*g^-3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)*(-1g+c*f)+b*d*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*(g+c*f)*(-1g+c*f)*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*d*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*(g+c*f)*(-1g+c*f)*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+b*d*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*(g+c*f)*(-1g+c*f)*arccosh(c*x)*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1/2)*c*d*x*b^-1*g^-3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(g+c*f)*(-1g+c*f)+(1/2)*d*b^-1*c^-1*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(g+c*f)^2*(-1g+c*f)^2+-1*b*d*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^(1/2)*(g+c*f)*(-1g+c*f)*arccosh(c*x)*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1/2)*d*b^-1*c^-1*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(1+-1*c^2*x^2)*(g+c*f)*(-1g+c*f))
@test integrate((d+-1*d*c^2*x^2)^5//2*(f+g*x)^3*(a+b*arccosh(c*x)), x) == :(5//16*x*d^2*f^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+15//64*f*d^2*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-15//128*f*x*c^-2*d^2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-2//63*c^-4*d^2*g^3*(1+c*x)^3*(1+-1*c*x)^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//6*x*d^2*f^3*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+5//24*x*d^2*f^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-25//96*b*c*d^2*f^3*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-5//32*b^-1*c^-1*d^2*f^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-3//7*g*c^-2*d^2*f^2*(1+c*x)^3*(1+-1*c*x)^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//9*c^-2*d^2*g^3*x^2*(1+c*x)^3*(1+-1*c*x)^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//21*b*c*d^2*g^3*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//81*b*c^5*d^2*g^3*x^9*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//36*b*c^-1*d^2*f^3*(1+c*x)^-1//2*(1+-1*c^2*x^2)^3*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//189*b*c^-1*d^2*g^3*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//63*b*x*c^-3*d^2*g^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//8*f*d^2*g^2*x^3*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+5//16*f*d^2*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+5//96*b*c^3*d^2*f^3*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+19//441*b*c^3*d^2*g^3*x^7*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-59//256*b*c*f*d^2*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-15//256*f*b^-1*c^-3*d^2*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-3//7*b*c*g*d^2*f^2*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//49*b*g*c^5*d^2*f^2*x^7*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-3//64*b*f*c^5*d^2*g^2*x^8*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//7*b*g*x*c^-1*d^2*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+9//35*b*g*c^3*d^2*f^2*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+15//256*b*f*c^-1*d^2*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+17//96*b*f*c^3*d^2*g^2*x^6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^5//2*(f+g*x)^2*(a+b*arccosh(c*x)), x) == :(5//16*x*d^2*f^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+5//64*d^2*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-5//128*x*c^-2*d^2*g^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//6*x*d^2*f^2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//8*d^2*g^2*x^3*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+5//24*x*d^2*f^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+5//48*d^2*g^2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-59//768*b*c*d^2*g^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-25//96*b*c*d^2*f^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-5//32*b^-1*c^-1*d^2*f^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-5//256*b^-1*c^-3*d^2*g^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-2//7*f*g*c^-2*d^2*(1+c*x)^3*(1+-1*c*x)^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//64*b*c^5*d^2*g^2*x^8*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//36*b*c^-1*d^2*f^2*(1+c*x)^-1//2*(1+-1*c^2*x^2)^3*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+5//96*b*c^3*d^2*f^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+5//256*b*c^-1*d^2*g^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+17//288*b*c^3*d^2*g^2*x^6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-2//7*b*c*f*g*d^2*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-2//49*b*f*g*c^5*d^2*x^7*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//7*b*f*g*x*c^-1*d^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+6//35*b*f*g*c^3*d^2*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^5//2*(a+b*arccosh(c*x))*(f+g*x), x) == :(5//16*f*x*d^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+-1//7*g*c^-2*d^2*(1+c*x)^3*(1+-1*c*x)^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//6*f*x*d^2*(1+c*x)^2*(1+-1*c*x)^2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+5//24*f*x*d^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-25//96*b*c*f*d^2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-5//32*f*b^-1*c^-1*d^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//7*b*c*g*d^2*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+-1//49*b*g*c^5*d^2*x^7*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//7*b*g*x*c^-1*d^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//36*b*f*c^-1*d^2*(1+c*x)^-1//2*(1+-1*c^2*x^2)^3*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+3//35*b*g*c^3*d^2*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+5//96*b*f*c^3*d^2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2))
@test integrate((d+-1*d*c^2*x^2)^5//2*(f+g*x)^-1*(a+b*arccosh(c*x)), x) == :(b*d^2*g^-5*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^2*arccosh(c*x)+-2//15*d^2*g^-1*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//3*d^2*g^-3*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))*(-2*g^2+c^2*f^2)+-1//4*f*c^4*d^2*g^-2*x^3*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+1//8*f*x*c^2*d^2*g^-2*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))+a*d^2*g^-5*(1+c*x)^-1*(1+-1*c*x)^-1*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^2*(1+-1*c^2*x^2)+b*d^2*g^-6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^5//2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*d^2*g^-6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^5//2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//2*f*x*c^2*d^2*g^-4*(d+-1*d*c^2*x^2)^(1/2)*(a+b*arccosh(c*x))*(-2*g^2+c^2*f^2)+-1//5*c^2*d^2*g^-1*x^2*(d+-1*d*c^2*x^2)^(1/2)*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//25*b*c^5*d^2*g^-1*x^5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//45*b*c^3*d^2*g^-1*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+2//15*b*c*x*d^2*g^-1*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+b*d^2*g^-6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^5//2*arccosh(c*x)*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*a*d^2*g^-6*(1+c*x)^-1*(1+-1*c*x)^-1*(-1+c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^5//2*arctanh((-1+c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*(g+f*x*c^2))+-1*b*c*x*d^2*g^-5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^2+-1*b*d^2*g^-6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^5//2*arccosh(c*x)*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//9*b*c^3*d^2*g^-3*x^3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-2*g^2+c^2*f^2)+-1//16*b*f*c^3*d^2*g^-2*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//3*b*c*x*d^2*g^-3*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-2*g^2+c^2*f^2)+1//16*b*f*c^5*d^2*g^-2*x^4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)+1//16*c*f*b^-1*d^2*g^-2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)+-1//2*c*x*b^-1*d^2*g^-5*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(-1*g^2+c^2*f^2)^2+-1//2*b^-1*c^-1*d^2*g^-6*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(-1*g^2+c^2*f^2)^3+1//4*b*f*c^3*d^2*g^-4*x^2*(1+c*x)^-1//2*(-1+c*x)^-1//2*(d+-1*d*c^2*x^2)^(1/2)*(-2*g^2+c^2*f^2)+1//4*c*f*b^-1*d^2*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(-2*g^2+c^2*f^2)+-1//2*b^-1*c^-1*d^2*g^-4*(1+c*x)^-1//2*(-1+c*x)^-1//2*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^(1/2)*(f+g*x)^-1*(-1*g^2+c^2*f^2)^2*(1+-1*c^2*x^2))
@test integrate((d+-1*d*c^2*x^2)^-1//2*(f+g*x)^3*(a+b*arccosh(c*x)), x) == :(-2//3*c^-4*g^3*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+(1/2)*b^-1*c^-1*f^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+-3*g*c^-2*f^2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-2//3*b*x*c^-3*g^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+-1//3*c^-2*g^3*x^2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//9*b*c^-1*g^3*x^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+-3*b*g*x*c^-1*f^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+-3//2*f*x*c^-2*g^2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-3//4*b*f*c^-1*g^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+3//4*f*b^-1*c^-3*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2)
@test integrate((d+-1*d*c^2*x^2)^-1//2*(f+g*x)^2*(a+b*arccosh(c*x)), x) == :((1/2)*b^-1*c^-1*f^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+-2*f*g*c^-2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//2*x*c^-2*g^2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//4*b*c^-1*g^2*x^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+1//4*b^-1*c^-3*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+-2*b*f*g*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2)
@test integrate((d+-1*d*c^2*x^2)^-1//2*(a+b*arccosh(c*x))*(f+g*x), x) == :(-1*g*c^-2*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+(1/2)*f*b^-1*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+-1*b*g*x*c^-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2)
@test integrate((d+-1*d*c^2*x^2)^-1//2*(f+g*x)^-1*(a+b*arccosh(c*x)), x) == :(b*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*(a+b*arccosh(c*x))*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1//2*(a+b*arccosh(c*x))*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x))))
@test integrate((d+-1*d*c^2*x^2)^-1//2*(f+g*x)^-2*(a+b*arccosh(c*x)), x) == :(b*c*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-1*log(f+g*x)+b*f*c^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+f*c^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*(a+b*arccosh(c*x))*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*f*c^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*f*c^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*(a+b*arccosh(c*x))*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*g*(-1*(1+c*x)^-1*(1+-1*c*x))^(1/2)*(1+c*x)^3//2*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(f+g*x)^-1*(-1*g^2+c^2*f^2)^-1*(a+b*arccosh(c*x)))
@test integrate((d+-1*d*c^2*x^2)^-3//2*(f+g*x)^3*(a+b*arccosh(c*x)), x) == :((1/2)*c^-4*d^-1*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^3*(1+c*x)*(a+b*arccosh(c*x))+-1//2*c^-4*d^-1*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^3*(1+-1*c*x)*(a+b*arccosh(c*x))+c^-4*d^-1*g^3*(d+-1*d*c^2*x^2)^-1//2*(1+c*x)*(1+-1*c*x)*(a+b*arccosh(c*x))+b*x*c^-3*d^-1*g^3*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2+-3//2*f*b^-1*c^-3*d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+b*c^-4*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^3*log((-1*(1+c*x)^-1*(1+-1*c*x))^(1/2))+-1//2*b*c^-4*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^3*log(2*(1+c*x)^-1)+-1//2*b*c^-4*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^3*log(2*(1+c*x)^-1))
@test integrate((d+-1*d*c^2*x^2)^-3//2*(f+g*x)^2*(a+b*arccosh(c*x)), x) == :((1/2)*c^-3*d^-1*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^2*(1+c*x)*(a+b*arccosh(c*x))+-1//2*c^-3*d^-1*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^2*(1+-1*c*x)*(a+b*arccosh(c*x))+-1//2*b^-1*c^-3*d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*(d+-1*d*c^2*x^2)^-1//2+b*c^-3*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^2*log((-1*(1+c*x)^-1*(1+-1*c*x))^(1/2))+-1//2*b*c^-3*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^2*log(2*(1+c*x)^-1)+-1//2*b*c^-3*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^2*log(2*(1+c*x)^-1))
@test integrate((d+-1*d*c^2*x^2)^-3//2*(f+g*x)^-1*(a+b*arccosh(c*x)), x) == :((1/2)*d^-1*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^-1*(1+c*x)*(a+b*arccosh(c*x))+-1//2*d^-1*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^-1*(1+-1*c*x)*(a+b*arccosh(c*x))+b*d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*(a+b*arccosh(c*x))*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*b*d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*d^-1*g^2*(1+c*x)^(1/2)*(-1+c*x)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1*g^2+c^2*f^2)^-3//2*(a+b*arccosh(c*x))*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+b*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^-1*log((-1*(1+c*x)^-1*(1+-1*c*x))^(1/2))+-1//2*b*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(g+c*f)^-1*log(2*(1+c*x)^-1)+-1//2*b*d^-1*((1+c*x)*(1+-1*c*x))^(1/2)*(-1*(1+c*x)^-1*(1+-1*c*x))^-1//2*(1+c*x)^-1*(1+-1*c^2*x^2)^(1/2)*(d+-1*d*c^2*x^2)^-1//2*(-1g+c*f)^-1*log(2*(1+c*x)^-1))
@test integrate((1+-1*c^2*x^2)^-1//2*(a+b*arccosh(c*x))^2*log(h*(f+g*x)^m), x) == :(-1*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-2*m*b^2*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*Polylogarithms.polylog(4,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-2*m*b^2*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*Polylogarithms.polylog(4,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+1//3*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^3*log(h*(f+g*x)^m)+1//12*m*b^-2*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^4+2*b*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))*Polylogarithms.polylog(3,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+2*b*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))*Polylogarithms.polylog(3,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//3*m*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^3*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//3*m*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^3*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x))))
@test integrate((1+-1*c^2*x^2)^-1//2*(a+b*arccosh(c*x))*log(h*(f+g*x)^m), x) == :(b*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*Polylogarithms.polylog(3,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+b*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*Polylogarithms.polylog(3,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+(1/2)*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*log(h*(f+g*x)^m)+-1*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))*Polylogarithms.polylog(2,-1*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1*m*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))*Polylogarithms.polylog(2,-1*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+1//6*m*b^-2*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^3+-1//2*m*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*log(1+g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x)))+-1//2*m*b^-1*c^-1*(1+c*x)^(1/2)*(1+-1*c^2*x^2)^-1//2*(-1+c*x)^(1/2)*(a+b*arccosh(c*x))^2*log(1+g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(arccosh(c*x))))
@test integrate((1+-1*c^2*x^2)^-1//2*log(h*(f+g*x)^m), x) == :(c^-1*arcsin(c*x)*log(h*(f+g*x)^m)+im*m*c^-1*Polylogarithms.polylog(2,im*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(im*arcsin(c*x)))+im*m*c^-1*Polylogarithms.polylog(2,im*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(im*arcsin(c*x)))+(1/2)*im*m*c^-1*arcsin(c*x)^2+-1*m*c^-1*arcsin(c*x)*log(1+-1*im*g*((-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(im*arcsin(c*x)))+-1*m*c^-1*arcsin(c*x)*log(1+-1*im*g*(-1*(-1*g^2+c^2*f^2)^(1/2)+c*f)^-1*exp(im*arcsin(c*x))))
@test integrate(x^3*arccosh(a+b*x), x) == :(1//4*x^4*arccosh(a+b*x)+-1//32*b^-4*(3+8*a^4+24*a^2)*arccosh(a+b*x)+-1//16*b^-1*x^3*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+1//96*b^-4*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)*(-1*(9+26*a^2)*(a+b*x)+4*a*(16+19*a^2))+7//48*a*b^-2*x^2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate(x^2*arccosh(a+b*x), x) == :(1//3*x^3*arccosh(a+b*x)+-1//9*b^-1*x^2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+-1//18*b^-3*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)*(4+11*a^2+-5*a*b*x)+1//6*a*b^-3*(3+2*a^2)*arccosh(a+b*x))
@test integrate(x*arccosh(a+b*x), x) == :((1/2)*x^2*arccosh(a+b*x)+-1//4*b^-2*(1+2*a^2)*arccosh(a+b*x)+-1//4*x*b^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+3//4*a*b^-2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate(arccosh(a+b*x), x) == :(b^-1*(a+b*x)*arccosh(a+b*x)+-1*b^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate(x^-1*arccosh(a+b*x), x) == :(-1//2*arccosh(a+b*x)^2+arccosh(a+b*x)*log(1+-1*(a+(-1+a^2)^(1/2))^-1*exp(arccosh(a+b*x)))+arccosh(a+b*x)*log(1+-1*(a+-1*(-1+a^2)^(1/2))^-1*exp(arccosh(a+b*x)))+Polylogarithms.polylog(2,(a+(-1+a^2)^(1/2))^-1*exp(arccosh(a+b*x)))+Polylogarithms.polylog(2,(a+-1*(-1+a^2)^(1/2))^-1*exp(arccosh(a+b*x))))
@test integrate(x^-2*arccosh(a+b*x), x) == :(-1*x^-1*arccosh(a+b*x)+-2*b*(1+-1*a^2)^-1//2*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2))
@test integrate(x^-3*arccosh(a+b*x), x) == :(-1//2*x^-2*arccosh(a+b*x)+-1*a*b^2*(1+-1*a^2)^-3//2*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2)+b*x^-1*(2+-2*a^2)^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate(x^-4*arccosh(a+b*x), x) == :(-1//3*x^-3*arccosh(a+b*x)+-1//3*b^3*(1+-1*a^2)^-5//2*(1+2*a^2)*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2)+b*x^-2*(6+-6*a^2)^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+(1/2)*a*b^2*x^-1*(1+-1*a^2)^-2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-1//2, x) == :((1/2)*pi^(1/2)*b^-1//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//2*pi^(1/2)*b^-1//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1))
@test integrate((a+-1*b*arccosh(c+d*x))^-1//2, x) == :((1/2)*pi^(1/2)*b^-1//2*d^-1*erfi(b^-1//2*(a+-1*b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//2*pi^(1/2)*b^-1//2*d^-1*erf(b^-1//2*(a+-1*b*arccosh(c+d*x))^(1/2))*exp(a*b^-1))
@test integrate((c*e+d*e*x)^4*(a+b*arccosh(c+d*x)), x) == :(1//5*d^-1*e^4*(c+d*x)^5*(a+b*arccosh(c+d*x))+-8//75*b*d^-1*e^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-4//75*b*d^-1*e^4*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//25*b*d^-1*e^4*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^3*(a+b*arccosh(c+d*x)), x) == :(-3//32*b*d^-1*e^3*arccosh(c+d*x)+1//4*d^-1*e^3*(c+d*x)^4*(a+b*arccosh(c+d*x))+-3//32*b*d^-1*e^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-1//16*b*d^-1*e^3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^2*(a+b*arccosh(c+d*x)), x) == :(1//3*d^-1*e^2*(c+d*x)^3*(a+b*arccosh(c+d*x))+-2//9*b*d^-1*e^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//9*b*d^-1*e^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))*(c*e+d*e*x), x) == :((1/2)*e*d^-1*(c+d*x)^2*(a+b*arccosh(c+d*x))+-1//4*b*e*d^-1*arccosh(c+d*x)+-1//4*b*e*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate(a+b*arccosh(c+d*x), x) == :(a*x+b*d^-1*(c+d*x)*arccosh(c+d*x)+-1*b*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^-1*(a+b*arccosh(c+d*x)), x) == :(d^-1*e^-1*(a+b*arccosh(c+d*x))*log(1+exp(2*arccosh(c+d*x)))+(1/2)*b*d^-1*e^-1*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x)))+-1//2*b^-1*d^-1*e^-1*(a+b*arccosh(c+d*x))^2)
@test integrate((c*e+d*e*x)^-2*(a+b*arccosh(c+d*x)), x) == :(b*d^-1*e^-2*arctan((1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))+-1*d^-1*e^-2*(c+d*x)^-1*(a+b*arccosh(c+d*x)))
@test integrate((c*e+d*e*x)^-3*(a+b*arccosh(c+d*x)), x) == :(-1//2*d^-1*e^-3*(c+d*x)^-2*(a+b*arccosh(c+d*x))+(1/2)*b*d^-1*e^-3*(c+d*x)^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^-4*(a+b*arccosh(c+d*x)), x) == :(-1//3*d^-1*e^-4*(c+d*x)^-3*(a+b*arccosh(c+d*x))+1//6*b*d^-1*e^-4*arctan((1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))+1//6*b*d^-1*e^-4*(c+d*x)^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^-5*(a+b*arccosh(c+d*x)), x) == :(-1//4*d^-1*e^-5*(c+d*x)^-4*(a+b*arccosh(c+d*x))+1//6*b*d^-1*e^-5*(c+d*x)^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+1//12*b*d^-1*e^-5*(c+d*x)^-3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((c*e+d*e*x)^-6*(a+b*arccosh(c+d*x)), x) == :(-1//5*d^-1*e^-6*(c+d*x)^-5*(a+b*arccosh(c+d*x))+3//40*b*d^-1*e^-6*arctan((1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))+1//20*b*d^-1*e^-6*(c+d*x)^-4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+3//40*b*d^-1*e^-6*(c+d*x)^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^4, x) == :(16//75*x*b^2*e^4+1//5*d^-1*e^4*(a+b*arccosh(c+d*x))^2*(c+d*x)^5+2//125*b^2*d^-1*e^4*(c+d*x)^5+8//225*b^2*d^-1*e^4*(c+d*x)^3+-16//75*b*d^-1*e^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-8//75*b*d^-1*e^4*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-2//25*b*d^-1*e^4*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^2+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^2*(c+d*x)^4+1//32*b^2*d^-1*e^3*(c+d*x)^4+3//32*b^2*d^-1*e^3*(c+d*x)^2+-3//16*b*d^-1*e^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))*(c+d*x)+-1//8*b*d^-1*e^3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^2, x) == :(4//9*x*b^2*e^2+1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^2*(c+d*x)^3+2//27*b^2*d^-1*e^2*(c+d*x)^3+-4//9*b*d^-1*e^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-2//9*b*d^-1*e^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^2+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^2*(c+d*x)^2+1//4*e*b^2*d^-1*(c+d*x)^2+-1//2*b*e*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^2, x) == :(2*x*b^2+d^-1*(a+b*arccosh(c+d*x))^2*(c+d*x)+-2*b*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^-1, x) == :(d^-1*e^-1*(a+b*arccosh(c+d*x))^2*log(1+exp(2*arccosh(c+d*x)))+-1//2*b^2*d^-1*e^-1*Polylogarithms.polylog(3,-1*exp(2*arccosh(c+d*x)))+-1//3*b^-1*d^-1*e^-1*(a+b*arccosh(c+d*x))^3+b*d^-1*e^-1*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^-2, x) == :(-1*d^-1*e^-2*(a+b*arccosh(c+d*x))^2*(c+d*x)^-1+-2*im*b^2*d^-1*e^-2*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+2*im*b^2*d^-1*e^-2*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+4*b*d^-1*e^-2*(a+b*arccosh(c+d*x))*arctan(exp(arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^-3, x) == :(-1*b^2*d^-1*e^-3*log(c+d*x)+-1//2*d^-1*e^-3*(a+b*arccosh(c+d*x))^2*(c+d*x)^-2+b*d^-1*e^-3*(c+d*x)^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^2*(c*e+d*e*x)^-4, x) == :(-1//3*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*(c+d*x)^-3+1//3*b^2*d^-1*e^-4*(c+d*x)^-1+-1//3*im*b^2*d^-1*e^-4*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+1//3*im*b^2*d^-1*e^-4*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+2//3*b*d^-1*e^-4*(a+b*arccosh(c+d*x))*arctan(exp(arccosh(c+d*x)))+1//3*b*d^-1*e^-4*(c+d*x)^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x)))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^4, x) == :(1//5*d^-1*e^4*(a+b*arccosh(c+d*x))^3*(c+d*x)^5+16//25*a*x*b^2*e^4+-4144//5625*b^3*d^-1*e^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+6//125*b^2*d^-1*e^4*(c+d*x)^5*(a+b*arccosh(c+d*x))+8//75*b^2*d^-1*e^4*(c+d*x)^3*(a+b*arccosh(c+d*x))+16//25*b^3*d^-1*e^4*(c+d*x)*arccosh(c+d*x)+-272//5625*b^3*d^-1*e^4*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-8//25*b*d^-1*e^4*(a+b*arccosh(c+d*x))^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-6//625*b^3*d^-1*e^4*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-4//25*b*d^-1*e^4*(a+b*arccosh(c+d*x))^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-3//25*b*d^-1*e^4*(a+b*arccosh(c+d*x))^2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^3+-45//256*b^3*d^-1*e^3*arccosh(c+d*x)+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^3*(c+d*x)^4+3//32*b^2*d^-1*e^3*(c+d*x)^4*(a+b*arccosh(c+d*x))+9//32*b^2*d^-1*e^3*(c+d*x)^2*(a+b*arccosh(c+d*x))+-45//256*b^3*d^-1*e^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//128*b^3*d^-1*e^3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-9//32*b*d^-1*e^3*(a+b*arccosh(c+d*x))^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//16*b*d^-1*e^3*(a+b*arccosh(c+d*x))^2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^2, x) == :(1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^3*(c+d*x)^3+4//3*a*x*b^2*e^2+-40//27*b^3*d^-1*e^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+2//9*b^2*d^-1*e^2*(c+d*x)^3*(a+b*arccosh(c+d*x))+4//3*b^3*d^-1*e^2*(c+d*x)*arccosh(c+d*x)+-2//3*b*d^-1*e^2*(a+b*arccosh(c+d*x))^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-2//27*b^3*d^-1*e^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//3*b*d^-1*e^2*(a+b*arccosh(c+d*x))^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^3+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^3*(c+d*x)^2+-3//8*e*b^3*d^-1*arccosh(c+d*x)+3//4*e*b^2*d^-1*(c+d*x)^2*(a+b*arccosh(c+d*x))+-3//8*e*b^3*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//4*b*e*d^-1*(a+b*arccosh(c+d*x))^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^3, x) == :(d^-1*(a+b*arccosh(c+d*x))^3*(c+d*x)+6*a*x*b^2+-6*b^3*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+6*b^3*d^-1*(c+d*x)*arccosh(c+d*x)+-3*b*d^-1*(a+b*arccosh(c+d*x))^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^-1, x) == :(d^-1*e^-1*(a+b*arccosh(c+d*x))^3*log(1+exp(2*arccosh(c+d*x)))+-1//4*b^-1*d^-1*e^-1*(a+b*arccosh(c+d*x))^4+3//4*b^3*d^-1*e^-1*Polylogarithms.polylog(4,-1*exp(2*arccosh(c+d*x)))+-3//2*b^2*d^-1*e^-1*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(3,-1*exp(2*arccosh(c+d*x)))+3//2*b*d^-1*e^-1*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^-2, x) == :(-1*d^-1*e^-2*(a+b*arccosh(c+d*x))^3*(c+d*x)^-1+-6*im*b^3*d^-1*e^-2*Polylogarithms.polylog(3,im*exp(arccosh(c+d*x)))+6*im*b^3*d^-1*e^-2*Polylogarithms.polylog(3,-1*im*exp(arccosh(c+d*x)))+6*b*d^-1*e^-2*(a+b*arccosh(c+d*x))^2*arctan(exp(arccosh(c+d*x)))+-6*im*b^2*d^-1*e^-2*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+6*im*b^2*d^-1*e^-2*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^-3, x) == :(-3//2*b^3*d^-1*e^-3*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x)))+-1//2*d^-1*e^-3*(a+b*arccosh(c+d*x))^3*(c+d*x)^-2+3//2*b*d^-1*e^-3*(a+b*arccosh(c+d*x))^2+-3*b^2*d^-1*e^-3*(a+b*arccosh(c+d*x))*log(1+exp(2*arccosh(c+d*x)))+3//2*b*d^-1*e^-3*(a+b*arccosh(c+d*x))^2*(c+d*x)^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^3*(c*e+d*e*x)^-4, x) == :(-1*b^3*d^-1*e^-4*arctan((1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))+-1//3*d^-1*e^-4*(a+b*arccosh(c+d*x))^3*(c+d*x)^-3+im*b^3*d^-1*e^-4*Polylogarithms.polylog(3,-1*im*exp(arccosh(c+d*x)))+b*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*arctan(exp(arccosh(c+d*x)))+b^2*d^-1*e^-4*(c+d*x)^-1*(a+b*arccosh(c+d*x))+-1*im*b^3*d^-1*e^-4*Polylogarithms.polylog(3,im*exp(arccosh(c+d*x)))+im*b^2*d^-1*e^-4*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+-1*im*b^2*d^-1*e^-4*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+(1/2)*b*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*(c+d*x)^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^4+-45//128*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^2+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^4*(c+d*x)^4+3//128*b^4*d^-1*e^3*(c+d*x)^4+45//128*b^4*d^-1*e^3*(c+d*x)^2+3//16*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^2*(c+d*x)^4+9//16*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^2*(c+d*x)^2+-45//64*b^3*d^-1*e^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))*(c+d*x)+-3//8*b*d^-1*e^3*(a+b*arccosh(c+d*x))^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//32*b^3*d^-1*e^3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-1//4*b*d^-1*e^3*(a+b*arccosh(c+d*x))^3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^2, x) == :(160//27*x*b^4*e^2+1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^4*(c+d*x)^3+8//81*b^4*d^-1*e^2*(c+d*x)^3+4//9*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^2*(c+d*x)^3+8//3*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^2*(c+d*x)+-160//27*b^3*d^-1*e^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-8//9*b*d^-1*e^2*(a+b*arccosh(c+d*x))^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-8//27*b^3*d^-1*e^2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-4//9*b*d^-1*e^2*(a+b*arccosh(c+d*x))^3*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^4+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^4*(c+d*x)^2+-3//4*e*b^2*d^-1*(a+b*arccosh(c+d*x))^2+3//4*e*b^4*d^-1*(c+d*x)^2+3//2*e*b^2*d^-1*(a+b*arccosh(c+d*x))^2*(c+d*x)^2+-1*b*e*d^-1*(a+b*arccosh(c+d*x))^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//2*e*b^3*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^4, x) == :(24*x*b^4+d^-1*(a+b*arccosh(c+d*x))^4*(c+d*x)+12*b^2*d^-1*(a+b*arccosh(c+d*x))^2*(c+d*x)+-24*b^3*d^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(a+b*arccosh(c+d*x))+-4*b*d^-1*(a+b*arccosh(c+d*x))^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^-1, x) == :(d^-1*e^-1*(a+b*arccosh(c+d*x))^4*log(1+exp(2*arccosh(c+d*x)))+-3//2*b^4*d^-1*e^-1*Polylogarithms.polylog(5,-1*exp(2*arccosh(c+d*x)))+-1//5*b^-1*d^-1*e^-1*(a+b*arccosh(c+d*x))^5+-3*b^2*d^-1*e^-1*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(3,-1*exp(2*arccosh(c+d*x)))+2*b*d^-1*e^-1*(a+b*arccosh(c+d*x))^3*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x)))+3*b^3*d^-1*e^-1*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(4,-1*exp(2*arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^-2, x) == :(-1*d^-1*e^-2*(a+b*arccosh(c+d*x))^4*(c+d*x)^-1+-24*im*b^4*d^-1*e^-2*Polylogarithms.polylog(4,-1*im*exp(arccosh(c+d*x)))+8*b*d^-1*e^-2*(a+b*arccosh(c+d*x))^3*arctan(exp(arccosh(c+d*x)))+24*im*b^4*d^-1*e^-2*Polylogarithms.polylog(4,im*exp(arccosh(c+d*x)))+-24*im*b^3*d^-1*e^-2*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(3,im*exp(arccosh(c+d*x)))+-12*im*b^2*d^-1*e^-2*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+12*im*b^2*d^-1*e^-2*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+24*im*b^3*d^-1*e^-2*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(3,-1*im*exp(arccosh(c+d*x))))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^-3, x) == :(2*b*d^-1*e^-3*(a+b*arccosh(c+d*x))^3+3*b^4*d^-1*e^-3*Polylogarithms.polylog(3,-1*exp(2*arccosh(c+d*x)))+-1//2*d^-1*e^-3*(a+b*arccosh(c+d*x))^4*(c+d*x)^-2+-6*b^2*d^-1*e^-3*(a+b*arccosh(c+d*x))^2*log(1+exp(2*arccosh(c+d*x)))+-6*b^3*d^-1*e^-3*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(2,-1*exp(2*arccosh(c+d*x)))+2*b*d^-1*e^-3*(a+b*arccosh(c+d*x))^3*(c+d*x)^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^4*(c*e+d*e*x)^-4, x) == :(-1//3*d^-1*e^-4*(a+b*arccosh(c+d*x))^4*(c+d*x)^-3+-8*b^3*d^-1*e^-4*(a+b*arccosh(c+d*x))*arctan(exp(arccosh(c+d*x)))+-4*im*b^4*d^-1*e^-4*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+-4*im*b^4*d^-1*e^-4*Polylogarithms.polylog(4,-1*im*exp(arccosh(c+d*x)))+2*b^2*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*(c+d*x)^-1+4*im*b^4*d^-1*e^-4*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+4*im*b^4*d^-1*e^-4*Polylogarithms.polylog(4,im*exp(arccosh(c+d*x)))+4//3*b*d^-1*e^-4*(a+b*arccosh(c+d*x))^3*arctan(exp(arccosh(c+d*x)))+-4*im*b^3*d^-1*e^-4*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(3,im*exp(arccosh(c+d*x)))+-2*im*b^2*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(2,-1*im*exp(arccosh(c+d*x)))+2*im*b^2*d^-1*e^-4*(a+b*arccosh(c+d*x))^2*Polylogarithms.polylog(2,im*exp(arccosh(c+d*x)))+4*im*b^3*d^-1*e^-4*(a+b*arccosh(c+d*x))*Polylogarithms.polylog(3,-1*im*exp(arccosh(c+d*x)))+2//3*b*d^-1*e^-4*(a+b*arccosh(c+d*x))^3*(c+d*x)^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-1*(c*e+d*e*x)^4, x) == :(-3//16*b^-1*d^-1*e^4*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)*sinh(3*a*b^-1)+-1//8*b^-1*d^-1*e^4*coshintegral(a*b^-1+arccosh(c+d*x))*sinh(a*b^-1)+-1//16*b^-1*d^-1*e^4*coshintegral(5*arccosh(c+d*x)+5*a*b^-1)*sinh(5*a*b^-1)+1//8*b^-1*d^-1*e^4*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//16*b^-1*d^-1*e^4*cosh(5*a*b^-1)*sinhintegral(5*arccosh(c+d*x)+5*a*b^-1)+3//16*b^-1*d^-1*e^4*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1*(c*e+d*e*x)^3, x) == :(-1//4*b^-1*d^-1*e^3*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)*sinh(2*a*b^-1)+-1//8*b^-1*d^-1*e^3*coshintegral(4*arccosh(c+d*x)+4*a*b^-1)*sinh(4*a*b^-1)+1//4*b^-1*d^-1*e^3*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+1//8*b^-1*d^-1*e^3*cosh(4*a*b^-1)*sinhintegral(4*arccosh(c+d*x)+4*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1*(c*e+d*e*x)^2, x) == :(-1//4*b^-1*d^-1*e^2*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)*sinh(3*a*b^-1)+-1//4*b^-1*d^-1*e^2*coshintegral(a*b^-1+arccosh(c+d*x))*sinh(a*b^-1)+1//4*b^-1*d^-1*e^2*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//4*b^-1*d^-1*e^2*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1*(c*e+d*e*x), x) == :((1/2)*e*b^-1*d^-1*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1//2*e*b^-1*d^-1*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)*sinh(2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1, x) == :(b^-1*d^-1*cosh(a*b^-1)*sinhintegral(b^-1*(a+b*arccosh(c+d*x)))+-1*b^-1*d^-1*coshintegral(b^-1*(a+b*arccosh(c+d*x)))*sinh(a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-2*(c*e+d*e*x)^4, x) == :(-9//16*b^-2*d^-1*e^4*sinh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-5//16*b^-2*d^-1*e^4*sinh(5*a*b^-1)*sinhintegral(5*arccosh(c+d*x)+5*a*b^-1)+-1//8*b^-2*d^-1*e^4*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//8*b^-2*d^-1*e^4*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+5//16*b^-2*d^-1*e^4*cosh(5*a*b^-1)*coshintegral(5*arccosh(c+d*x)+5*a*b^-1)+9//16*b^-2*d^-1*e^4*cosh(3*a*b^-1)*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-1*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-2*(c*e+d*e*x)^3, x) == :((1/2)*b^-2*d^-1*e^3*cosh(2*a*b^-1)*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)+(1/2)*b^-2*d^-1*e^3*cosh(4*a*b^-1)*coshintegral(4*arccosh(c+d*x)+4*a*b^-1)+-1//2*b^-2*d^-1*e^3*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1//2*b^-2*d^-1*e^3*sinh(4*a*b^-1)*sinhintegral(4*arccosh(c+d*x)+4*a*b^-1)+-1*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-1*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-2*(c*e+d*e*x)^2, x) == :(-3//4*b^-2*d^-1*e^2*sinh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1//4*b^-2*d^-1*e^2*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//4*b^-2*d^-1*e^2*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+3//4*b^-2*d^-1*e^2*cosh(3*a*b^-1)*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-1*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-2*(c*e+d*e*x), x) == :(e*b^-2*d^-1*cosh(2*a*b^-1)*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1*e*b^-2*d^-1*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^-2, x) == :(b^-2*d^-1*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+-1*b^-2*d^-1*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+-1*b^-1*d^-1*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-3*(c*e+d*e*x)^4, x) == :(2*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-1*(c+d*x)^3+-27//32*b^-3*d^-1*e^4*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)*sinh(3*a*b^-1)+-25//32*b^-3*d^-1*e^4*coshintegral(5*arccosh(c+d*x)+5*a*b^-1)*sinh(5*a*b^-1)+-5//2*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-1*(c+d*x)^5+-1//16*b^-3*d^-1*e^4*coshintegral(a*b^-1+arccosh(c+d*x))*sinh(a*b^-1)+1//16*b^-3*d^-1*e^4*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+25//32*b^-3*d^-1*e^4*cosh(5*a*b^-1)*sinhintegral(5*arccosh(c+d*x)+5*a*b^-1)+27//32*b^-3*d^-1*e^4*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1//2*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-3*(c*e+d*e*x)^3, x) == :(b^-3*d^-1*e^3*cosh(4*a*b^-1)*sinhintegral(4*arccosh(c+d*x)+4*a*b^-1)+(1/2)*b^-3*d^-1*e^3*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1*b^-3*d^-1*e^3*coshintegral(4*arccosh(c+d*x)+4*a*b^-1)*sinh(4*a*b^-1)+-2*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-1*(c+d*x)^4+-1//2*b^-3*d^-1*e^3*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)*sinh(2*a*b^-1)+3//2*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-1*(c+d*x)^2+-1//2*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-3*(c*e+d*e*x)^2, x) == :(b^-3*d^-1*e^2*coshintegral(b^-1*(a+b*arccosh(c+d*x)))*sinh(a*b^-1)+b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-1*(c+d*x)+-1*b^-3*d^-1*e^2*cosh(a*b^-1)*sinhintegral(b^-1*(a+b*arccosh(c+d*x)))+-9//8*b^-3*d^-1*e^2*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)*sinh(3*a*b^-1)+-9//8*b^-3*d^-1*e^2*coshintegral(a*b^-1+arccosh(c+d*x))*sinh(a*b^-1)+-3//2*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-1*(c+d*x)^3+9//8*b^-3*d^-1*e^2*cosh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+9//8*b^-3*d^-1*e^2*cosh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1//2*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-3*(c*e+d*e*x), x) == :((1/2)*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1+e*b^-3*d^-1*cosh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1*e*b^-3*d^-1*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)*sinh(2*a*b^-1)+-1*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1*(c+d*x)^2+-1//2*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^-3, x) == :((1/2)*b^-3*d^-1*cosh(a*b^-1)*sinhintegral(b^-1*(a+b*arccosh(c+d*x)))+-1//2*b^-3*d^-1*coshintegral(b^-1*(a+b*arccosh(c+d*x)))*sinh(a*b^-1)+-1//2*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1*(c+d*x)+-1//2*b^-1*d^-1*(a+b*arccosh(c+d*x))^-2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-4*(c*e+d*e*x)^4, x) == :(-125//96*b^-4*d^-1*e^4*sinh(5*a*b^-1)*sinhintegral(5*arccosh(c+d*x)+5*a*b^-1)+-27//32*b^-4*d^-1*e^4*sinh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-5//6*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-2*(c+d*x)^5+-1//48*b^-4*d^-1*e^4*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//48*b^-4*d^-1*e^4*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+2//3*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-2*(c+d*x)^3+27//32*b^-4*d^-1*e^4*cosh(3*a*b^-1)*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)+125//96*b^-4*d^-1*e^4*cosh(5*a*b^-1)*coshintegral(5*arccosh(c+d*x)+5*a*b^-1)+2*b^-3*d^-1*e^4*(a+b*arccosh(c+d*x))^-1*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-25//6*b^-3*d^-1*e^4*(a+b*arccosh(c+d*x))^-1*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//3*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-3*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-4*(c*e+d*e*x)^3, x) == :((1/2)*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-2*(c+d*x)^2+-4//3*b^-4*d^-1*e^3*sinh(4*a*b^-1)*sinhintegral(4*arccosh(c+d*x)+4*a*b^-1)+-2//3*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-2*(c+d*x)^4+-1//3*b^-4*d^-1*e^3*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+1//3*b^-4*d^-1*e^3*cosh(2*a*b^-1)*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)+4//3*b^-4*d^-1*e^3*cosh(4*a*b^-1)*coshintegral(4*arccosh(c+d*x)+4*a*b^-1)+b^-3*d^-1*e^3*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-8//3*b^-3*d^-1*e^3*(a+b*arccosh(c+d*x))^-1*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//3*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-3*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-4*(c*e+d*e*x)^2, x) == :(-9//8*b^-4*d^-1*e^2*sinh(3*a*b^-1)*sinhintegral(3*arccosh(c+d*x)+3*a*b^-1)+-1//2*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-2*(c+d*x)^3+-1//24*b^-4*d^-1*e^2*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+1//3*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-2*(c+d*x)+1//24*b^-4*d^-1*e^2*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+9//8*b^-4*d^-1*e^2*cosh(3*a*b^-1)*coshintegral(3*arccosh(c+d*x)+3*a*b^-1)+1//3*b^-3*d^-1*e^2*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-3//2*b^-3*d^-1*e^2*(a+b*arccosh(c+d*x))^-1*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//3*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-3*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-4*(c*e+d*e*x), x) == :(1//6*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-2+-2//3*e*b^-4*d^-1*sinh(2*a*b^-1)*sinhintegral(2*arccosh(c+d*x)+2*a*b^-1)+-1//3*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-2*(c+d*x)^2+2//3*e*b^-4*d^-1*cosh(2*a*b^-1)*coshintegral(2*arccosh(c+d*x)+2*a*b^-1)+-2//3*e*b^-3*d^-1*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-1//3*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^-4, x) == :(-1//6*b^-4*d^-1*sinh(a*b^-1)*sinhintegral(a*b^-1+arccosh(c+d*x))+-1//6*b^-2*d^-1*(a+b*arccosh(c+d*x))^-2*(c+d*x)+1//6*b^-4*d^-1*cosh(a*b^-1)*coshintegral(a*b^-1+arccosh(c+d*x))+-1//3*b^-1*d^-1*(a+b*arccosh(c+d*x))^-3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//6*b^-3*d^-1*(a+b*arccosh(c+d*x))^-1*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^(1/2)*(c*e+d*e*x)^4, x) == :(1//5*d^-1*e^4*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^5+-1//32*pi^(1/2)*b^(1/2)*d^-1*e^4*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-1//32*pi^(1/2)*b^(1/2)*d^-1*e^4*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//192*3^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^4*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-1//192*3^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^4*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1)+-1//1600*5^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^4*erf(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(5*a*b^-1)+-1//1600*5^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^4*erfi(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-5*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^(1/2)*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^4+-1//256*pi^(1/2)*b^(1/2)*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+-1//256*pi^(1/2)*b^(1/2)*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-1//64*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-1//64*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^(1/2)*(c*e+d*e*x)^2, x) == :(1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^3+-1//16*pi^(1/2)*b^(1/2)*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-1//16*pi^(1/2)*b^(1/2)*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//144*3^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-1//144*3^(1/2)*pi^(1/2)*b^(1/2)*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^(1/2)*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^(1/2)+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^2+-1//32*e*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-1//32*e*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^(1/2), x) == :(d^-1*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)+-1//4*pi^(1/2)*b^(1/2)*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-1//4*pi^(1/2)*b^(1/2)*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^3//2*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^3//2+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^4+-3//2048*pi^(1/2)*b^3//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+3//2048*pi^(1/2)*b^3//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-9//64*b*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//32*b*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-3//256*2^(1/2)*pi^(1/2)*b^3//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+3//256*2^(1/2)*pi^(1/2)*b^3//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^3//2*(c*e+d*e*x)^2, x) == :(1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^3+-3//32*pi^(1/2)*b^3//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-1//3*b*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+3//32*pi^(1/2)*b^3//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//6*b*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//288*3^(1/2)*pi^(1/2)*b^3//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+1//288*3^(1/2)*pi^(1/2)*b^3//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^3//2*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^3//2+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^2+-3//8*b*e*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-3//128*e*2^(1/2)*pi^(1/2)*b^3//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+3//128*e*2^(1/2)*pi^(1/2)*b^3//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^3//2, x) == :(d^-1*(a+b*arccosh(c+d*x))^3//2*(c+d*x)+-3//2*b*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-3//8*pi^(1/2)*b^3//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+3//8*pi^(1/2)*b^3//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^5//2*(c*e+d*e*x)^3, x) == :(-3//32*d^-1*e^3*(a+b*arccosh(c+d*x))^5//2+-225//2048*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)+1//4*d^-1*e^3*(a+b*arccosh(c+d*x))^5//2*(c+d*x)^4+15//256*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^4+45//256*b^2*d^-1*e^3*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^2+-15//16384*pi^(1/2)*b^5//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+-15//16384*pi^(1/2)*b^5//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-15//64*b*d^-1*e^3*(a+b*arccosh(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-15//1024*2^(1/2)*pi^(1/2)*b^5//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-15//1024*2^(1/2)*pi^(1/2)*b^5//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1)+-5//32*b*d^-1*e^3*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^5//2*(c*e+d*e*x)^2, x) == :(1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^5//2*(c+d*x)^3+5//6*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)+5//36*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^3+-15//64*pi^(1/2)*b^5//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-15//64*pi^(1/2)*b^5//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-5//9*b*d^-1*e^2*(a+b*arccosh(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-5//18*b*d^-1*e^2*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-5//1728*3^(1/2)*pi^(1/2)*b^5//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-5//1728*3^(1/2)*pi^(1/2)*b^5//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^5//2*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^5//2+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^5//2*(c+d*x)^2+-15//64*e*b^2*d^-1*(a+b*arccosh(c+d*x))^(1/2)+15//32*e*b^2*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^2+-15//512*e*2^(1/2)*pi^(1/2)*b^5//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-15//512*e*2^(1/2)*pi^(1/2)*b^5//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1)+-5//8*b*e*d^-1*(a+b*arccosh(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^5//2, x) == :(d^-1*(a+b*arccosh(c+d*x))^5//2*(c+d*x)+15//4*b^2*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)+-15//16*pi^(1/2)*b^5//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-15//16*pi^(1/2)*b^5//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-5//2*b*d^-1*(a+b*arccosh(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^7//2*(c*e+d*e*x)^2, x) == :(1//3*d^-1*e^2*(a+b*arccosh(c+d*x))^7//2*(c+d*x)^3+35//18*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^3//2*(c+d*x)+35//108*b^2*d^-1*e^2*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^3+-175//54*b^3*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-105//128*pi^(1/2)*b^7//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-7//9*b*d^-1*e^2*(a+b*arccosh(c+d*x))^5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+105//128*pi^(1/2)*b^7//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-35//216*b^3*d^-1*e^2*(a+b*arccosh(c+d*x))^(1/2)*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-35//10368*3^(1/2)*pi^(1/2)*b^7//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-7//18*b*d^-1*e^2*(a+b*arccosh(c+d*x))^5//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+35//10368*3^(1/2)*pi^(1/2)*b^7//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^7//2*(c*e+d*e*x), x) == :(-1//4*e*d^-1*(a+b*arccosh(c+d*x))^7//2+(1/2)*e*d^-1*(a+b*arccosh(c+d*x))^7//2*(c+d*x)^2+-35//64*e*b^2*d^-1*(a+b*arccosh(c+d*x))^3//2+35//32*e*b^2*d^-1*(a+b*arccosh(c+d*x))^3//2*(c+d*x)^2+-105//128*e*b^3*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-105//2048*e*2^(1/2)*pi^(1/2)*b^7//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-7//8*b*e*d^-1*(a+b*arccosh(c+d*x))^5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+105//2048*e*2^(1/2)*pi^(1/2)*b^7//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^7//2, x) == :(d^-1*(a+b*arccosh(c+d*x))^7//2*(c+d*x)+35//4*b^2*d^-1*(a+b*arccosh(c+d*x))^3//2*(c+d*x)+-105//8*b^3*d^-1*(a+b*arccosh(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-105//32*pi^(1/2)*b^7//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-7//2*b*d^-1*(a+b*arccosh(c+d*x))^5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+105//32*pi^(1/2)*b^7//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1//2*(c*e+d*e*x)^4, x) == :(-1//16*pi^(1/2)*b^-1//2*d^-1*e^4*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//16*pi^(1/2)*b^-1//2*d^-1*e^4*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//32*3^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^4*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-1//160*5^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^4*erf(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(5*a*b^-1)+1//32*3^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^4*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1)+1//160*5^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^4*erfi(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-5*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1//2*(c*e+d*e*x)^3, x) == :(-1//32*pi^(1/2)*b^-1//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+1//32*pi^(1/2)*b^-1//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-1//16*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+1//16*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1//2*(c*e+d*e*x)^2, x) == :(-1//8*pi^(1/2)*b^-1//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//8*pi^(1/2)*b^-1//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//24*3^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+1//24*3^(1/2)*pi^(1/2)*b^-1//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1//2*(c*e+d*e*x), x) == :(-1//8*e*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+1//8*e*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-1//2, x) == :((1/2)*pi^(1/2)*b^-1//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-1//2*pi^(1/2)*b^-1//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-3//2*(c*e+d*e*x)^4, x) == :(1//8*pi^(1/2)*b^-3//2*d^-1*e^4*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//8*pi^(1/2)*b^-3//2*d^-1*e^4*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-2*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+1//16*5^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^4*erf(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(5*a*b^-1)+1//16*5^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^4*erfi(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-5*a*b^-1)+3//16*3^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^4*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+3//16*3^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^4*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-3//2*(c*e+d*e*x)^3, x) == :(1//4*pi^(1/2)*b^-3//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+1//4*pi^(1/2)*b^-3//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-2*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+1//4*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+1//4*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-3//2*(c*e+d*e*x)^2, x) == :(1//4*pi^(1/2)*b^-3//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//4*pi^(1/2)*b^-3//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-2*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+1//4*3^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+1//4*3^(1/2)*pi^(1/2)*b^-3//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-3//2*(c*e+d*e*x), x) == :((1/2)*e*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+(1/2)*e*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1)+-2*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^-3//2, x) == :(pi^(1/2)*b^-3//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+pi^(1/2)*b^-3//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-2*b^-1*d^-1*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-5//2*(c*e+d*e*x)^4, x) == :(-20//3*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^5+16//3*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^3+-1//12*pi^(1/2)*b^-5//2*d^-1*e^4*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//12*pi^(1/2)*b^-5//2*d^-1*e^4*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-5//24*5^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^4*erf(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(5*a*b^-1)+-3//8*3^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^4*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+-2//3*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+3//8*3^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^4*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1)+5//24*5^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^4*erfi(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-5*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-5//2*(c*e+d*e*x)^3, x) == :(4*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^2+-16//3*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^4+-2//3*pi^(1/2)*b^-5//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+2//3*pi^(1/2)*b^-5//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-2//3*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//3*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+1//3*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-5//2*(c*e+d*e*x)^2, x) == :(-4*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^3+8//3*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)+-1//6*pi^(1/2)*b^-5//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//6*pi^(1/2)*b^-5//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+(1/2)*3^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1)+-2//3*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-1//2*3^(1/2)*pi^(1/2)*b^-5//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-5//2*(c*e+d*e*x), x) == :(4//3*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1//2+-8//3*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^2+-2//3*e*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+-2//3*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+2//3*e*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-5//2, x) == :(-1//3*b^-2*d^-1*(a+b*arccosh(c+d*x))^-1//2*(4c+4*d*x)+-2//3*pi^(1/2)*b^-5//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+-2//3*b^-1*d^-1*(a+b*arccosh(c+d*x))^-3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+2//3*pi^(1/2)*b^-5//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-7//2*(c*e+d*e*x)^4, x) == :(-4//3*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^5+16//15*b^-2*d^-1*e^4*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^3+1//30*pi^(1/2)*b^-7//2*d^-1*e^4*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//30*pi^(1/2)*b^-7//2*d^-1*e^4*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+-40//3*b^-3*d^-1*e^4*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-2//5*b^-1*d^-1*e^4*(a+b*arccosh(c+d*x))^-5//2*(c+d*x)^4*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+5//12*5^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^4*erf(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(5*a*b^-1)+5//12*5^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^4*erfi(5^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-5*a*b^-1)+9//20*3^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^4*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+9//20*3^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^4*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1)+32//5*b^-3*d^-1*e^4*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2))
@test integrate((a+b*arccosh(c+d*x))^-7//2*(c*e+d*e*x)^3, x) == :(-16//15*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^4+4//5*b^-2*d^-1*e^3*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^2+16//15*pi^(1/2)*b^-7//2*d^-1*e^3*erf(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(4*a*b^-1)+16//15*pi^(1/2)*b^-7//2*d^-1*e^3*erfi(2*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-4*a*b^-1)+-128//15*b^-3*d^-1*e^3*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-2//5*b^-1*d^-1*e^3*(a+b*arccosh(c+d*x))^-5//2*(c+d*x)^3*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+4//15*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^3*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+4//15*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^3*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1)+16//5*b^-3*d^-1*e^3*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x))
@test integrate((a+b*arccosh(c+d*x))^-7//2*(c*e+d*e*x)^2, x) == :(-4//5*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^3+8//15*b^-2*d^-1*e^2*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)+1//15*pi^(1/2)*b^-7//2*d^-1*e^2*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+1//15*pi^(1/2)*b^-7//2*d^-1*e^2*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1)+16//15*b^-3*d^-1*e^2*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-24//5*b^-3*d^-1*e^2*(a+b*arccosh(c+d*x))^-1//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-2//5*b^-1*d^-1*e^2*(a+b*arccosh(c+d*x))^-5//2*(c+d*x)^2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+3//5*3^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^2*erf(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(3*a*b^-1)+3//5*3^(1/2)*pi^(1/2)*b^-7//2*d^-1*e^2*erfi(3^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-3*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-7//2*(c*e+d*e*x), x) == :(4//15*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-3//2+-8//15*e*b^-2*d^-1*(a+b*arccosh(c+d*x))^-3//2*(c+d*x)^2+-32//15*e*b^-3*d^-1*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+-2//5*e*b^-1*d^-1*(a+b*arccosh(c+d*x))^-5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)*(c+d*x)+8//15*e*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*erf(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(2*a*b^-1)+8//15*e*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*erfi(2^(1/2)*b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-2*a*b^-1))
@test integrate((a+b*arccosh(c+d*x))^-7//2, x) == :(-1//15*b^-2*d^-1*(a+b*arccosh(c+d*x))^-3//2*(4c+4*d*x)+-8//15*b^-3*d^-1*(a+b*arccosh(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-2//5*b^-1*d^-1*(a+b*arccosh(c+d*x))^-5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+4//15*pi^(1/2)*b^-7//2*d^-1*erf(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(a*b^-1)+4//15*pi^(1/2)*b^-7//2*d^-1*erfi(b^-1//2*(a+b*arccosh(c+d*x))^(1/2))*exp(-1*a*b^-1))
@test integrate((c*e+d*e*x)^7//2*(a+b*arccosh(c+d*x)), x) == :(2//9*d^-1*e^-1*(e*(c+d*x))^9//2*(a+b*arccosh(c+d*x))+-4//81*b*d^-1*(e*(c+d*x))^7//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-28//405*b*d^-1*e^2*(e*(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-28//135*b*d^-1*e^3*(e*(c+d*x))^(1/2)*(-1c+-1*d*x)^-1//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.E(arcsin((1/2)*2^(1/2)*(1+c+d*x)^(1/2)),2))
@test integrate((c*e+d*e*x)^5//2*(a+b*arccosh(c+d*x)), x) == :(2//7*d^-1*e^-1*(e*(c+d*x))^7//2*(a+b*arccosh(c+d*x))+-4//49*b*d^-1*(e*(c+d*x))^5//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-20//147*b*d^-1*e^2*(e*(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-20//147*b*d^-1*e^5//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.F(arcsin(e^-1//2*(e*(c+d*x))^(1/2)),-1))
@test integrate((c*e+d*e*x)^3//2*(a+b*arccosh(c+d*x)), x) == :(2//5*d^-1*e^-1*(e*(c+d*x))^5//2*(a+b*arccosh(c+d*x))+-4//25*b*d^-1*(e*(c+d*x))^3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-12//25*b*e*d^-1*(e*(c+d*x))^(1/2)*(-1c+-1*d*x)^-1//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.E(arcsin((1/2)*2^(1/2)*(1+c+d*x)^(1/2)),2))
@test integrate((c*e+d*e*x)^(1/2)*(a+b*arccosh(c+d*x)), x) == :(2//3*d^-1*e^-1*(e*(c+d*x))^3//2*(a+b*arccosh(c+d*x))+-4//9*b*d^-1*(e*(c+d*x))^(1/2)*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-4//9*b*d^-1*e^(1/2)*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.F(arcsin(e^-1//2*(e*(c+d*x))^(1/2)),-1))
@test integrate((c*e+d*e*x)^-1//2*(a+b*arccosh(c+d*x)), x) == :(2*d^-1*e^-1*(e*(c+d*x))^(1/2)*(a+b*arccosh(c+d*x))+-4*b*d^-1*e^-1*(e*(c+d*x))^(1/2)*(-1c+-1*d*x)^-1//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.E(arcsin((1/2)*2^(1/2)*(1+c+d*x)^(1/2)),2))
@test integrate((c*e+d*e*x)^-3//2*(a+b*arccosh(c+d*x)), x) == :(-1*d^-1*e^-1*(e*(c+d*x))^-1//2*(2a+2*b*arccosh(c+d*x))+4*b*d^-1*e^-3//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.F(arcsin(e^-1//2*(e*(c+d*x))^(1/2)),-1))
@test integrate((c*e+d*e*x)^-5//2*(a+b*arccosh(c+d*x)), x) == :(-1//3*d^-1*e^-1*(e*(c+d*x))^-3//2*(2a+2*b*arccosh(c+d*x))+4//3*b*d^-1*e^-2*(e*(c+d*x))^-1//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+-4//3*b*d^-1*e^-3*(e*(c+d*x))^(1/2)*(-1c+-1*d*x)^-1//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.E(arcsin((1/2)*2^(1/2)*(1+c+d*x)^(1/2)),2))
@test integrate((c*e+d*e*x)^-7//2*(a+b*arccosh(c+d*x)), x) == :(-1//5*d^-1*e^-1*(e*(c+d*x))^-5//2*(2a+2*b*arccosh(c+d*x))+4//15*b*d^-1*e^-2*(e*(c+d*x))^-3//2*(1+c+d*x)^(1/2)*(-1+c+d*x)^(1/2)+4//15*b*d^-1*e^-7//2*(1+-1c+-1*d*x)^(1/2)*(-1+c+d*x)^-1//2*Elliptic.F(arcsin(e^-1//2*(e*(c+d*x))^(1/2)),-1))
@test integrate(x^-1*arccosh(a*x^5), x) == :(-1//10*arccosh(a*x^5)^2+1//10*Polylogarithms.polylog(2,-1*exp(2*arccosh(a*x^5)))+1//5*arccosh(a*x^5)*log(1+exp(2*arccosh(a*x^5))))
@test integrate(x^2*arccosh(x^(1/2)), x) == :(-5//48*arccosh(x^(1/2))+1//3*x^3*arccosh(x^(1/2))+-5//48*x^(1/2)*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2)+-5//72*x^3//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2)+-1//18*x^5//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2))
@test integrate(x*arccosh(x^(1/2)), x) == :(-3//16*arccosh(x^(1/2))+(1/2)*x^2*arccosh(x^(1/2))+-3//16*x^(1/2)*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2)+-1//8*x^3//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2))
@test integrate(arccosh(x^(1/2)), x) == :(-1//2*arccosh(x^(1/2))+x*arccosh(x^(1/2))+-1//2*x^(1/2)*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2))
@test integrate(x^-1*arccosh(x^(1/2)), x) == :(-1*arccosh(x^(1/2))^2+2*arccosh(x^(1/2))*log(1+exp(2*arccosh(x^(1/2))))+Polylogarithms.polylog(2,-1*exp(2*arccosh(x^(1/2)))))
@test integrate(x^-2*arccosh(x^(1/2)), x) == :(-1*x^-1*arccosh(x^(1/2))+x^-1//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2))
@test integrate(x^-3*arccosh(x^(1/2)), x) == :(-1//2*x^-2*arccosh(x^(1/2))+1//3*x^-1//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2)+1//6*x^-3//2*(1+x^(1/2))^(1/2)*(-1+x^(1/2))^(1/2))
@test integrate(arccosh(x^-1), x) == :(x*arcsech(x)+((1+x)^-1)^(1/2)*(1+x)^(1/2)*arcsin(x))
@test integrate(x^-1*arccosh(a*x^n), x) == :((1/2)*n^-1*Polylogarithms.polylog(2,-1*exp(2*arccosh(a*x^n)))+-1//2*n^-1*arccosh(a*x^n)^2+n^-1*arccosh(a*x^n)*log(1+exp(2*arccosh(a*x^n))))
@test integrate((a+b*arccosh(1+d*x^2))^4, x) == :(x*(a+b*arccosh(1+d*x^2))^4+384*x*b^4+48*x*b^2*(a+b*arccosh(1+d*x^2))^2+-192*b^3*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))*(2*x^2+d*x^4)+-8*b*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^3*(2*x^2+d*x^4))
@test integrate((a+b*arccosh(1+d*x^2))^3, x) == :(x*(a+b*arccosh(1+d*x^2))^3+24*a*x*b^2+24*x*b^3*arccosh(1+d*x^2)+-48*b^3*d^-1*x^-1*(d*x^2*(2+d*x^2)^-1)^(1/2)*(2+d*x^2)+-6*b*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^2*(2*x^2+d*x^4))
@test integrate((a+b*arccosh(1+d*x^2))^2, x) == :(x*(a+b*arccosh(1+d*x^2))^2+8*x*b^2+-4*b*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))*(2*x^2+d*x^4))
@test integrate(a+b*arccosh(1+d*x^2), x) == :(a*x+b*x*arccosh(1+d*x^2)+-2*b*d^-1*x^-1*(d*x^2*(2+d*x^2)^-1)^(1/2)*(2+d*x^2))
@test integrate((a+b*arccosh(1+d*x^2))^-1, x) == :((1/2)*x*2^(1/2)*b^-1*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*coshintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2)))+-1//2*x*2^(1/2)*b^-1*(d*x^2)^-1//2*sinh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2))))
@test integrate((a+b*arccosh(1+d*x^2))^-2, x) == :(-1//2*b^-1*d^-1*x^-1*(d*x^2)^(1/2)*(2+d*x^2)^(1/2)*(a+b*arccosh(1+d*x^2))^-1+-1//4*x*2^(1/2)*b^-2*(d*x^2)^-1//2*coshintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2)))*sinh((1/2)*a*b^-1)+1//4*x*2^(1/2)*b^-2*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2))))
@test integrate((a+b*arccosh(1+d*x^2))^-3, x) == :(-1//8*x*b^-2*(a+b*arccosh(1+d*x^2))^-1+-1//4*b^-1*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^-2*(2*x^2+d*x^4)+-1//16*x*2^(1/2)*b^-3*(d*x^2)^-1//2*sinh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2)))+1//16*x*2^(1/2)*b^-3*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*coshintegral((1/2)*b^-1*(a+b*arccosh(1+d*x^2))))
@test integrate((a+b*arccosh(-1+d*x^2))^4, x) == :(x*(a+b*arccosh(-1+d*x^2))^4+384*x*b^4+48*x*b^2*(a+b*arccosh(-1+d*x^2))^2+8*b*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^3*(2*x^2+-1*d*x^4)+192*b^3*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))*(2*x^2+-1*d*x^4))
@test integrate((a+b*arccosh(-1+d*x^2))^3, x) == :(x*(a+b*arccosh(-1+d*x^2))^3+-48*x*b^3*(1+-2*d^-1*x^-2)^(1/2)+24*a*x*b^2+24*x*b^3*arccosh(-1+d*x^2)+6*b*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^2*(2*x^2+-1*d*x^4))
@test integrate((a+b*arccosh(-1+d*x^2))^2, x) == :(x*(a+b*arccosh(-1+d*x^2))^2+8*x*b^2+4*b*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))*(2*x^2+-1*d*x^4))
@test integrate(a+b*arccosh(-1+d*x^2), x) == :(a*x+b*x*arccosh(-1+d*x^2)+-2*b*x*(1+-2*d^-1*x^-2)^(1/2))
@test integrate((a+b*arccosh(-1+d*x^2))^-1, x) == :((1/2)*x*2^(1/2)*b^-1*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2)))+-1//2*x*2^(1/2)*b^-1*(d*x^2)^-1//2*coshintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2)))*sinh((1/2)*a*b^-1))
@test integrate((a+b*arccosh(-1+d*x^2))^-2, x) == :(-1//2*b^-1*d^-1*x^-1*(d*x^2)^(1/2)*(-2+d*x^2)^(1/2)*(a+b*arccosh(-1+d*x^2))^-1+-1//4*x*2^(1/2)*b^-2*(d*x^2)^-1//2*sinh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2)))+1//4*x*2^(1/2)*b^-2*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*coshintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2))))
@test integrate((a+b*arccosh(-1+d*x^2))^-3, x) == :(-1//8*x*b^-2*(a+b*arccosh(-1+d*x^2))^-1+-1//16*x*2^(1/2)*b^-3*(d*x^2)^-1//2*coshintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2)))*sinh((1/2)*a*b^-1)+1//4*b^-1*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^-2*(2*x^2+-1*d*x^4)+1//16*x*2^(1/2)*b^-3*(d*x^2)^-1//2*cosh((1/2)*a*b^-1)*sinhintegral((1/2)*b^-1*(a+b*arccosh(-1+d*x^2))))
@test integrate((a+b*arccosh(1+d*x^2))^5//2, x) == :(x*(a+b*arccosh(1+d*x^2))^5//2+30*b^2*d^-1*x^-1*(a+b*arccosh(1+d*x^2))^(1/2)*sinh((1/2)*arccosh(1+d*x^2))^2+-5*b*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^3//2*(2*x^2+d*x^4)+-15//2*2^(1/2)*pi^(1/2)*b^5//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+15//2*2^(1/2)*pi^(1/2)*b^5//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^3//2, x) == :(x*(a+b*arccosh(1+d*x^2))^3//2+-3*b*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^(1/2)*(2*x^2+d*x^4)+3//2*2^(1/2)*pi^(1/2)*b^3//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+3//2*2^(1/2)*pi^(1/2)*b^3//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^(1/2), x) == :(2*d^-1*x^-1*(a+b*arccosh(1+d*x^2))^(1/2)*sinh((1/2)*arccosh(1+d*x^2))^2+(1/2)*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+-1//2*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^-1//2, x) == :((1/2)*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+(1/2)*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^-3//2, x) == :(-1*b^-1*d^-1*x^-1*(d*x^2)^(1/2)*(2+d*x^2)^(1/2)*(a+b*arccosh(1+d*x^2))^-1//2+(1/2)*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+-1//2*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^-5//2, x) == :(-1//3*x*b^-2*(a+b*arccosh(1+d*x^2))^-1//2+-1//3*b^-1*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^-3//2*(2*x^2+d*x^4)+1//6*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+1//6*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(1+d*x^2))^-7//2, x) == :(-1//15*x*b^-2*(a+b*arccosh(1+d*x^2))^-3//2+-1//5*b^-1*x^-1*(d*x^2)^-1//2*(2+d*x^2)^-1//2*(a+b*arccosh(1+d*x^2))^-5//2*(2*x^2+d*x^4)+-1//15*b^-3*d^-1*x^-1*(d*x^2)^(1/2)*(2+d*x^2)^(1/2)*(a+b*arccosh(1+d*x^2))^-1//2+-1//30*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2))+1//30*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(1+d*x^2))^(1/2))*sinh((1/2)*arccosh(1+d*x^2)))
@test integrate((a+b*arccosh(-1+d*x^2))^5//2, x) == :(x*(a+b*arccosh(-1+d*x^2))^5//2+30*b^2*d^-1*x^-1*(a+b*arccosh(-1+d*x^2))^(1/2)*cosh((1/2)*arccosh(-1+d*x^2))^2+5*b*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^3//2*(2*x^2+-1*d*x^4)+-15//2*2^(1/2)*pi^(1/2)*b^5//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+-15//2*2^(1/2)*pi^(1/2)*b^5//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^3//2, x) == :(x*(a+b*arccosh(-1+d*x^2))^3//2+3*b*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)*(2*x^2+-1*d*x^4)+-3//2*2^(1/2)*pi^(1/2)*b^3//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+3//2*2^(1/2)*pi^(1/2)*b^3//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^(1/2), x) == :(2*d^-1*x^-1*(a+b*arccosh(-1+d*x^2))^(1/2)*cosh((1/2)*arccosh(-1+d*x^2))^2+-1//2*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+-1//2*2^(1/2)*pi^(1/2)*b^(1/2)*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^-1//2, x) == :((1/2)*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+-1//2*2^(1/2)*pi^(1/2)*b^-1//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^-3//2, x) == :(-1*b^-1*d^-1*x^-1*(d*x^2)^(1/2)*(-2+d*x^2)^(1/2)*(a+b*arccosh(-1+d*x^2))^-1//2+(1/2)*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+(1/2)*2^(1/2)*pi^(1/2)*b^-3//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^-5//2, x) == :(-1//3*x*b^-2*(a+b*arccosh(-1+d*x^2))^-1//2+1//3*b^-1*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^-3//2*(2*x^2+-1*d*x^4)+-1//6*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+1//6*2^(1/2)*pi^(1/2)*b^-5//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((a+b*arccosh(-1+d*x^2))^-7//2, x) == :(-1//15*x*b^-2*(a+b*arccosh(-1+d*x^2))^-3//2+-1//15*b^-3*d^-1*x^-1*(d*x^2)^(1/2)*(-2+d*x^2)^(1/2)*(a+b*arccosh(-1+d*x^2))^-1//2+1//5*b^-1*x^-1*(d*x^2)^-1//2*(-2+d*x^2)^-1//2*(a+b*arccosh(-1+d*x^2))^-5//2*(2*x^2+-1*d*x^4)+1//30*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*x^-1*(-1*sinh((1/2)*a*b^-1)+cosh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erfi((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2))+1//30*2^(1/2)*pi^(1/2)*b^-7//2*d^-1*x^-1*(cosh((1/2)*a*b^-1)+sinh((1/2)*a*b^-1))*cosh((1/2)*arccosh(-1+d*x^2))*erf((1/2)*2^(1/2)*b^-1//2*(a+b*arccosh(-1+d*x^2))^(1/2)))
@test integrate((1+-1*c^2*x^2)^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^3, x) == :(-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^3*log(1+exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+-3//4*b^3*c^-1*Polylogarithms.polylog(4,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+1//4*b^-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^4+-3//2*b*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^2*Polylogarithms.polylog(2,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+3//2*b^2*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))*Polylogarithms.polylog(3,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))))
@test integrate((1+-1*c^2*x^2)^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^2, x) == :((1/2)*b^2*c^-1*Polylogarithms.polylog(3,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^2*log(1+exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+1//3*b^-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^3+-1*b*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))*Polylogarithms.polylog(2,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))))
@test integrate((1+-1*c^2*x^2)^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))), x) == :((1/2)*b^-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))^2+-1*c^-1*(a+b*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))*log(1+exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2))))+-1//2*b*c^-1*Polylogarithms.polylog(2,-1*exp(2*arccosh((1+c*x)^-1//2*(1+-1*c*x)^(1/2)))))
@test integrate(arccosh(c*exp(a+b*x)), x) == :((1/2)*b^-1*Polylogarithms.polylog(2,-1*exp(2*arccosh(c*exp(a+b*x))))+-1//2*b^-1*arccosh(c*exp(a+b*x))^2+b^-1*arccosh(c*exp(a+b*x))*log(1+exp(2*arccosh(c*exp(a+b*x)))))
@test integrate(x^3*exp(arccosh(a+b*x)), x) == :(1//48*b^-4*exp(-3*arccosh(a+b*x))+1//80*b^-4*exp(5*arccosh(a+b*x))+-3//16*a*b^-4*exp(-2*arccosh(a+b*x))+-3//32*a*b^-4*exp(4*arccosh(a+b*x))+1//8*b^-4*(1+6*a^2)*exp(-1*arccosh(a+b*x))+1//24*b^-4*(1+6*a^2)*exp(3*arccosh(a+b*x))+-1//16*a*b^-4*(3+4*a^2)*exp(2*arccosh(a+b*x))+1//8*a*b^-4*(3+4*a^2)*arccosh(a+b*x))
@test integrate(x^2*exp(arccosh(a+b*x)), x) == :(1//16*b^-3*exp(-2*arccosh(a+b*x))+1//32*b^-3*exp(4*arccosh(a+b*x))+-1//2*a*b^-3*exp(-1*arccosh(a+b*x))+-1//6*a*b^-3*exp(3*arccosh(a+b*x))+-1//8*b^-3*(1+4*a^2)*arccosh(a+b*x)+1//16*b^-3*(1+4*a^2)*exp(2*arccosh(a+b*x)))
@test integrate(x*exp(arccosh(a+b*x)), x) == :(1//4*b^-2*exp(-1*arccosh(a+b*x))+1//12*b^-2*exp(3*arccosh(a+b*x))+(1/2)*a*b^-2*arccosh(a+b*x)+-1//4*a*b^-2*exp(2*arccosh(a+b*x)))
@test integrate(exp(arccosh(a+b*x)), x) == :(-1//2*b^-1*arccosh(a+b*x)+1//4*b^-1*exp(2*arccosh(a+b*x)))
@test integrate(x^-1*exp(arccosh(a+b*x)), x) == :(a*log(x)+b*x+(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+2*a*arcsinh((1/2)*2^(1/2)*(-1+a+b*x)^(1/2))+2*(1+-1*a^2)^(1/2)*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2))
@test integrate(x^-2*exp(arccosh(a+b*x)), x) == :(b*log(x)+-1*a*x^-1+2*b*arcsinh((1/2)*2^(1/2)*(-1+a+b*x)^(1/2))+-1*x^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+-2*a*b*(1+-1*a^2)^-1//2*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2))
@test integrate(x^-3*exp(arccosh(a+b*x)), x) == :(-1*b*x^-1+-1//2*a*x^-2+-1*b^2*(1+-1*a^2)^-3//2*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2)+-1*x^-2*(2+2a)^-1*(1+a+b*x)^3//2*(-1+a+b*x)^(1/2)+b*x^-1*(2+-2*a^2)^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2))
@test integrate(x^-4*exp(arccosh(a+b*x)), x) == :(-1//2*b*x^-2+-1//3*a*x^-3+x^-3*(3+-3*a^2)^-1*(1+a+b*x)^3//2*(-1+a+b*x)^3//2+-1*a*b^3*(1+-1*a^2)^-5//2*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2)+(1/2)*a*b^2*x^-1*(1+-1*a^2)^-2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+-1*a*b*x^-2*(1+a)^-2*(2+-2a)^-1*(1+a+b*x)^3//2*(-1+a+b*x)^(1/2))
@test integrate(x^-5*exp(arccosh(a+b*x)), x) == :(-1//3*b*x^-3+-1//4*a*x^-4+-1//4*x^-4*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+-1//4*b^4*(1+-1*a^2)^-7//2*(1+4*a^2)*arctan((1+a)^-1//2*(1+-1a)^(1/2)*(1+a+b*x)^(1/2)*(-1+a+b*x)^-1//2)+a*b*x^-3*(12+-12*a^2)^-1*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)+1//24*b^2*x^-2*(1+-1*a^2)^-2*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)*(3+2*a^2)+1//24*a*b^3*x^-1*(1+-1*a^2)^-3*(1+a+b*x)^(1/2)*(-1+a+b*x)^(1/2)*(13+2*a^2))
@test integrate(x^3*exp(arccosh(a+b*x)^2), x) == :(-1//16*pi^(1/2)*b^-4*erfi(-1+arccosh(a+b*x))*exp(-1)+-1//32*pi^(1/2)*b^-4*erfi(-2+arccosh(a+b*x))*exp(-4)+1//16*pi^(1/2)*b^-4*erfi(1+arccosh(a+b*x))*exp(-1)+1//32*pi^(1/2)*b^-4*erfi(2+arccosh(a+b*x))*exp(-4)+-3//8*pi^(1/2)*a^2*b^-4*erfi(-1+arccosh(a+b*x))*exp(-1)+-3//16*a*pi^(1/2)*b^-4*erfi(1/2+arccosh(a+b*x))*exp(-1//4)+-3//16*a*pi^(1/2)*b^-4*erfi(3//2+arccosh(a+b*x))*exp(-9//4)+-1//4*pi^(1/2)*a^3*b^-4*erfi(1/2+arccosh(a+b*x))*exp(-1//4)+1//4*pi^(1/2)*a^3*b^-4*erfi(-1//2+arccosh(a+b*x))*exp(-1//4)+3//8*pi^(1/2)*a^2*b^-4*erfi(1+arccosh(a+b*x))*exp(-1)+3//16*a*pi^(1/2)*b^-4*erfi(-3//2+arccosh(a+b*x))*exp(-9//4)+3//16*a*pi^(1/2)*b^-4*erfi(-1//2+arccosh(a+b*x))*exp(-1//4))
@test integrate(x^2*exp(arccosh(a+b*x)^2), x) == :(-1//16*pi^(1/2)*b^-3*erfi(-3//2+arccosh(a+b*x))*exp(-9//4)+-1//16*pi^(1/2)*b^-3*erfi(-1//2+arccosh(a+b*x))*exp(-1//4)+1//16*pi^(1/2)*b^-3*erfi(1/2+arccosh(a+b*x))*exp(-1//4)+1//16*pi^(1/2)*b^-3*erfi(3//2+arccosh(a+b*x))*exp(-9//4)+-1//4*a*pi^(1/2)*b^-3*erfi(1+arccosh(a+b*x))*exp(-1)+-1//4*pi^(1/2)*a^2*b^-3*erfi(-1//2+arccosh(a+b*x))*exp(-1//4)+1//4*a*pi^(1/2)*b^-3*erfi(-1+arccosh(a+b*x))*exp(-1)+1//4*pi^(1/2)*a^2*b^-3*erfi(1/2+arccosh(a+b*x))*exp(-1//4))
@test integrate(x*exp(arccosh(a+b*x)^2), x) == :(-1//8*pi^(1/2)*b^-2*erfi(-1+arccosh(a+b*x))*exp(-1)+1//8*pi^(1/2)*b^-2*erfi(1+arccosh(a+b*x))*exp(-1)+-1//4*a*pi^(1/2)*b^-2*erfi(1/2+arccosh(a+b*x))*exp(-1//4)+1//4*a*pi^(1/2)*b^-2*erfi(-1//2+arccosh(a+b*x))*exp(-1//4))
@test integrate(exp(arccosh(a+b*x)^2), x) == :(-1//4*pi^(1/2)*b^-1*erfi(-1//2+arccosh(a+b*x))*exp(-1//4)+1//4*pi^(1/2)*b^-1*erfi(1/2+arccosh(a+b*x))*exp(-1//4))
@test integrate((d*x+a*d*b^-1)^-1*arccosh(a+b*x), x) == :((1/2)*d^-1*Polylogarithms.polylog(2,-1*exp(2*arccosh(a+b*x)))+-1//2*d^-1*arccosh(a+b*x)^2+d^-1*arccosh(a+b*x)*log(1+exp(2*arccosh(a+b*x))))
@test integrate(x*(1+x)^-1//2*(-1+x)^-1//2*arccosh(x)^-1, x) == :(coshintegral(arccosh(x)))
@test integrate(x^3*arccosh(a+b*x^4), x) == :(-1//4*b^-1*(1+a+b*x^4)^(1/2)*(-1+a+b*x^4)^(1/2)+1//4*b^-1*(a+b*x^4)*arccosh(a+b*x^4))
@test integrate(x^(-1+n)*arccosh(a+b*x^n), x) == :(b^-1*n^-1*(a+b*x^n)*arccosh(a+b*x^n)+-1*b^-1*n^-1*(1+a+b*x^n)^(1/2)*(-1+a+b*x^n)^(1/2))
@test integrate(arccosh(c*(a+b*x)^-1), x) == :(b^-1*(a+b*x)*arcsech(a*c^-1+b*x*c^-1)+-2*c*b^-1*arctan(((a+c+b*x)^-1*(c*(1+-1*a*c^-1)+-1*b*x))^(1/2)))
@test integrate((1+b*x^2)^-1//2*arccosh((1+b*x^2)^(1/2))^n, x) == :(b^-1*x^-1*(1+n)^-1*(1+(1+b*x^2)^(1/2))^(1/2)*(-1+(1+b*x^2)^(1/2))^(1/2)*arccosh((1+b*x^2)^(1/2))^(1+n))
@test integrate((1+b*x^2)^-1//2*arccosh((1+b*x^2)^(1/2))^-1, x) == :(b^-1*x^-1*(1+(1+b*x^2)^(1/2))^(1/2)*(-1+(1+b*x^2)^(1/2))^(1/2)*log(arccosh((1+b*x^2)^(1/2))))

max_stars_repo_path: test/7 Inverse hyperbolic functions/7.2 Inverse hyperbolic cosine/7.2.5 Inverse hyperbolic cosine functions.jl