int_rules_7_5_1 = @theory begin

    #= ::Subsection::Closed:: =#
    #= 7.5.1*u*(a+b*arcsech(c*x))^n =#
    @apply_utils Antiderivative(asech(~(c') * ~x), ~x) => ~x * asech(~c * ~x) + sqrt(1 + ~c * ~x) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative(1 / sqrt(1 - (~c) ^ 2 * (~x) ^ 2), ~x) <-- FreeQ(~c, ~x)
    @apply_utils Antiderivative(acsch(~(c') * ~x), ~x) => ~x * acsch(~c * ~x) + (1 / ~c) * Antiderivative(1 / (~x * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x) <-- FreeQ(~c, ~x)
    @apply_utils Antiderivative((~(a') + ~(b') * asech(~(c') * ~x)) ^ ~n, ~x) => (-1 / ~c) * Subst(Antiderivative((~a + ~b * ~x) ^ ~n * sech(~x) * tanh(~x), ~x), ~x, asech(~c * ~x)) <-- FreeQ([~a, ~b, ~c, ~n], ~x) && IGtQ(~n, 0)
    @apply_utils Antiderivative((~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~n, ~x) => (-1 / ~c) * Subst(Antiderivative((~a + ~b * ~x) ^ ~n * csch(~x) * coth(~x), ~x), ~x, acsch(~c * ~x)) <-- FreeQ([~a, ~b, ~c, ~n], ~x) && IGtQ(~n, 0)
    @apply_utils Antiderivative((~(a') + ~(b') * asech(~(c') * ~x)) / ~x, ~x) => -(Subst(Antiderivative((~a + ~b * acosh(~x / ~c)) / ~x, ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c], ~x)
    @apply_utils Antiderivative((~(a') + ~(b') * acsch(~(c') * ~x)) / ~x, ~x) => -(Subst(Antiderivative((~a + ~b * asinh(~x / ~c)) / ~x, ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c], ~x)
    @apply_utils Antiderivative((~(d') * ~x) ^ ~(m') * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => ((~d * ~x) ^ (~m + 1) * (~a + ~b * asech(~c * ~x))) / (~d * (~m + 1)) + ((~b * sqrt(1 + ~c * ~x)) / (~m + 1)) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative((~d * ~x) ^ ~m / (sqrt(1 - ~c * ~x) * sqrt(1 + ~c * ~x)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~m], ~x) && NeQ(~m, -1)
    @apply_utils Antiderivative((~(d') * ~x) ^ ~(m') * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => ((~d * ~x) ^ (~m + 1) * (~a + ~b * acsch(~c * ~x))) / (~d * (~m + 1)) + ((~b * ~d) / (~c * (~m + 1))) * Antiderivative((~d * ~x) ^ (~m - 1) / sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~m], ~x) && NeQ(~m, -1)
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~n, ~x) => (-1 / (~c) ^ (~m + 1)) * Subst(Antiderivative((~a + ~b * ~x) ^ ~n * sech(~x) ^ (~m + 1) * tanh(~x), ~x), ~x, asech(~c * ~x)) <-- FreeQ([~a, ~b, ~c], ~x) && (IntegerQ(~n) && (IntegerQ(~m) && (GtQ(~n, 0) || LtQ(~m, -1))))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~n, ~x) => (-1 / (~c) ^ (~m + 1)) * Subst(Antiderivative((~a + ~b * ~x) ^ ~n * csch(~x) ^ (~m + 1) * coth(~x), ~x), ~x, acsch(~c * ~x)) <-- FreeQ([~a, ~b, ~c], ~x) && (IntegerQ(~n) && (IntegerQ(~m) && (GtQ(~n, 0) || LtQ(~m, -1))))
    @apply_utils Antiderivative((~(a') + ~(b') * asech(~(c') * ~x)) / (~(d') + ~(e') * ~x), ~x) => (((((~a + ~b * asech(~c * ~x)) * log(1 + (~e - sqrt(-((~c) ^ 2) * (~d) ^ 2 + (~e) ^ 2)) / (~c * ~d * ℯ ^ asech(~c * ~x)))) / ~e + ((~a + ~b * asech(~c * ~x)) * log(1 + (~e + sqrt(-((~c) ^ 2) * (~d) ^ 2 + (~e) ^ 2)) / (~c * ~d * ℯ ^ asech(~c * ~x)))) / ~e) - ((~a + ~b * asech(~c * ~x)) * log(1 + 1 / ℯ ^ (2 * asech(~c * ~x)))) / ~e) + (~b / ~e) * Antiderivative((sqrt((1 - ~c * ~x) / (1 + ~c * ~x)) * log(1 + (~e - sqrt(-((~c) ^ 2) * (~d) ^ 2 + (~e) ^ 2)) / (~c * ~d * ℯ ^ asech(~c * ~x)))) / (~x * (1 - ~c * ~x)), ~x) + (~b / ~e) * Antiderivative((sqrt((1 - ~c * ~x) / (1 + ~c * ~x)) * log(1 + (~e + sqrt(-((~c) ^ 2) * (~d) ^ 2 + (~e) ^ 2)) / (~c * ~d * ℯ ^ asech(~c * ~x)))) / (~x * (1 - ~c * ~x)), ~x)) - (~b / ~e) * Antiderivative((sqrt((1 - ~c * ~x) / (1 + ~c * ~x)) * log(1 + 1 / ℯ ^ (2 * asech(~c * ~x)))) / (~x * (1 - ~c * ~x)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e], ~x)
    @apply_utils Antiderivative((~(d') + ~(e') * ~x) ^ ~(m') * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => ((~d + ~e * ~x) ^ (~m + 1) * (~a + ~b * asech(~c * ~x))) / (~e * (~m + 1)) + ((~b * sqrt(1 + ~c * ~x)) / (~e * (~m + 1))) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative((~d + ~e * ~x) ^ (~m + 1) / (~x * sqrt(1 - (~c) ^ 2 * (~x) ^ 2)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~m], ~x) && NeQ(~m, -1)
    @apply_utils Antiderivative((~(a') + ~(b') * acsch(~(c') * ~x)) / (~(d') + ~(e') * ~x), ~x) => (((((~a + ~b * acsch(~c * ~x)) * log(1 - ((~e - sqrt((~c) ^ 2 * (~d) ^ 2 + (~e) ^ 2)) * ℯ ^ acsch(~c * ~x)) / (~c * ~d))) / ~e + ((~a + ~b * acsch(~c * ~x)) * log(1 - ((~e + sqrt((~c) ^ 2 * (~d) ^ 2 + (~e) ^ 2)) * ℯ ^ acsch(~c * ~x)) / (~c * ~d))) / ~e) - ((~a + ~b * acsch(~c * ~x)) * log(1 - ℯ ^ (2 * acsch(~c * ~x)))) / ~e) + (~b / (~c * ~e)) * Antiderivative(log(1 - ((~e - sqrt((~c) ^ 2 * (~d) ^ 2 + (~e) ^ 2)) * ℯ ^ acsch(~c * ~x)) / (~c * ~d)) / ((~x) ^ 2 * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x) + (~b / (~c * ~e)) * Antiderivative(log(1 - ((~e + sqrt((~c) ^ 2 * (~d) ^ 2 + (~e) ^ 2)) * ℯ ^ acsch(~c * ~x)) / (~c * ~d)) / ((~x) ^ 2 * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x)) - (~b / (~c * ~e)) * Antiderivative(log(1 - ℯ ^ (2 * acsch(~c * ~x))) / ((~x) ^ 2 * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e], ~x)
    @apply_utils Antiderivative((~(d') + ~(e') * ~x) ^ ~(m') * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => ((~d + ~e * ~x) ^ (~m + 1) * (~a + ~b * acsch(~c * ~x))) / (~e * (~m + 1)) + (~b / (~c * ~e * (~m + 1))) * Antiderivative((~d + ~e * ~x) ^ (~m + 1) / ((~x) ^ 2 * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~m], ~x) && NeQ(~m, -1)
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => With([u = IntHide((~d + ~e * (~x) ^ 2) ^ ~p, ~x)], Dist(~a + ~b * asech(~c * ~x), u, ~x) + ~b * sqrt(1 + ~c * ~x) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative(SimplifyIntegrand(u / (~x * sqrt(1 - ~c * ~x) * sqrt(1 + ~c * ~x)), ~x), ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e], ~x) && (IGtQ(~p, 0) || ILtQ(~p + 1 / 2, 0))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => With([u = IntHide((~d + ~e * (~x) ^ 2) ^ ~p, ~x)], Dist(~a + ~b * acsch(~c * ~x), u, ~x) - ((~b * ~c * ~x) / sqrt(-((~c) ^ 2) * (~x) ^ 2)) * Antiderivative(SimplifyIntegrand(u / (~x * sqrt(-1 - (~c) ^ 2 * (~x) ^ 2)), ~x), ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e], ~x) && (IGtQ(~p, 0) || ILtQ(~p + 1 / 2, 0))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => -(Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && IntegerQ(~p))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => -(Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && IntegerQ(~p))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt((~x) ^ 2)) / ~x) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ((~c) ^ 2 * ~d + ~e, 0) && (IntegerQ(~p + 1 / 2) && (GtQ(~e, 0) && LtQ(~d, 0)))))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt((~x) ^ 2)) / ~x) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ(~e - (~c) ^ 2 * ~d, 0) && (IntegerQ(~p + 1 / 2) && (GtQ(~e, 0) && LtQ(~d, 0)))))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt(~d + ~e * (~x) ^ 2)) / (~x * sqrt(~e + ~d / (~x) ^ 2))) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ((~c) ^ 2 * ~d + ~e, 0) && (IntegerQ(~p + 1 / 2) && Not(GtQ(~e, 0) && LtQ(~d, 0)))))
    @apply_utils Antiderivative((~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt(~d + ~e * (~x) ^ 2)) / (~x * sqrt(~e + ~d / (~x) ^ 2))) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ(~e - (~c) ^ 2 * ~d, 0) && (IntegerQ(~p + 1 / 2) && Not(GtQ(~e, 0) && LtQ(~d, 0)))))
    @apply_utils Antiderivative(~x * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => ((~d + ~e * (~x) ^ 2) ^ (~p + 1) * (~a + ~b * asech(~c * ~x))) / (2 * ~e * (~p + 1)) + ((~b * sqrt(1 + ~c * ~x)) / (2 * ~e * (~p + 1))) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative((~d + ~e * (~x) ^ 2) ^ (~p + 1) / (~x * sqrt(1 - ~c * ~x) * sqrt(1 + ~c * ~x)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~p], ~x) && NeQ(~p, -1)
    @apply_utils Antiderivative(~x * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => ((~d + ~e * (~x) ^ 2) ^ (~p + 1) * (~a + ~b * acsch(~c * ~x))) / (2 * ~e * (~p + 1)) - ((~b * ~c * ~x) / (2 * ~e * (~p + 1) * sqrt(-((~c) ^ 2) * (~x) ^ 2))) * Antiderivative((~d + ~e * (~x) ^ 2) ^ (~p + 1) / (~x * sqrt(-1 - (~c) ^ 2 * (~x) ^ 2)), ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~p], ~x) && NeQ(~p, -1)
    @apply_utils Antiderivative((~(f') * ~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => With([u = IntHide((~f * ~x) ^ ~m * (~d + ~e * (~x) ^ 2) ^ ~p, ~x)], Dist(~a + ~b * asech(~c * ~x), u, ~x) + ~b * sqrt(1 + ~c * ~x) * sqrt(1 / (1 + ~c * ~x)) * Antiderivative(SimplifyIntegrand(u / (~x * sqrt(1 - ~c * ~x) * sqrt(1 + ~c * ~x)), ~x), ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~f, ~m, ~p], ~x) && (IGtQ(~p, 0) && Not(ILtQ((~m - 1) / 2, 0) && GtQ(~m + 2 * ~p + 3, 0)) || (IGtQ((~m + 1) / 2, 0) && Not(ILtQ(~p, 0) && GtQ(~m + 2 * ~p + 3, 0)) || ILtQ((~m + 2 * ~p + 1) / 2, 0) && Not(ILtQ((~m - 1) / 2, 0))))
    @apply_utils Antiderivative((~(f') * ~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => With([u = IntHide((~f * ~x) ^ ~m * (~d + ~e * (~x) ^ 2) ^ ~p, ~x)], Dist(~a + ~b * acsch(~c * ~x), u, ~x) - ((~b * ~c * ~x) / sqrt(-((~c) ^ 2) * (~x) ^ 2)) * Antiderivative(SimplifyIntegrand(u / (~x * sqrt(-1 - (~c) ^ 2 * (~x) ^ 2)), ~x), ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~f, ~m, ~p], ~x) && (IGtQ(~p, 0) && Not(ILtQ((~m - 1) / 2, 0) && GtQ(~m + 2 * ~p + 3, 0)) || (IGtQ((~m + 1) / 2, 0) && Not(ILtQ(~p, 0) && GtQ(~m + 2 * ~p + 3, 0)) || ILtQ((~m + 2 * ~p + 1) / 2, 0) && Not(ILtQ((~m - 1) / 2, 0))))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => -(Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && IntegersQ(~m, ~p))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~(p') * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => -(Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x)) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && IntegersQ(~m, ~p))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt((~x) ^ 2)) / ~x) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ((~c) ^ 2 * ~d + ~e, 0) && (IntegerQ(~m) && (IntegerQ(~p + 1 / 2) && (GtQ(~e, 0) && LtQ(~d, 0))))))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt((~x) ^ 2)) / ~x) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ(~e - (~c) ^ 2 * ~d, 0) && (IntegerQ(~m) && (IntegerQ(~p + 1 / 2) && (GtQ(~e, 0) && LtQ(~d, 0))))))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt(~d + ~e * (~x) ^ 2)) / (~x * sqrt(~e + ~d / (~x) ^ 2))) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * acosh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ((~c) ^ 2 * ~d + ~e, 0) && (IntegerQ(~m) && (IntegerQ(~p + 1 / 2) && Not(GtQ(~e, 0) && LtQ(~d, 0))))))
    @apply_utils Antiderivative((~x) ^ ~(m') * (~(d') + ~(e') * (~x) ^ 2) ^ ~p * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => (-(sqrt(~d + ~e * (~x) ^ 2)) / (~x * sqrt(~e + ~d / (~x) ^ 2))) * Subst(Antiderivative(((~e + ~d * (~x) ^ 2) ^ ~p * (~a + ~b * asinh(~x / ~c)) ^ ~n) / (~x) ^ (~m + 2 * (~p + 1)), ~x), ~x, 1 / ~x) <-- FreeQ([~a, ~b, ~c, ~d, ~e, ~n], ~x) && (IGtQ(~n, 0) && (EqQ(~e - (~c) ^ 2 * ~d, 0) && (IntegerQ(~m) && (IntegerQ(~p + 1 / 2) && Not(GtQ(~e, 0) && LtQ(~d, 0))))))
    @apply_utils Antiderivative(~u * (~(a') + ~(b') * asech(~(c') * ~x)), ~x) => With([v = IntHide(~u, ~x)], Dist(~a + ~b * asech(~c * ~x), v, ~x) + ((~b * sqrt(1 - (~c) ^ 2 * (~x) ^ 2)) / (~c * ~x * sqrt(-1 + 1 / (~c * ~x)) * sqrt(1 + 1 / (~c * ~x)))) * Antiderivative(SimplifyIntegrand(v / (~x * sqrt(1 - (~c) ^ 2 * (~x) ^ 2)), ~x), ~x) <-- InverseFunctionFreeQ(v, ~x)) <-- FreeQ([~a, ~b, ~c], ~x)
    @apply_utils Antiderivative(~u * (~(a') + ~(b') * acsch(~(c') * ~x)), ~x) => With([v = IntHide(~u, ~x)], Dist(~a + ~b * acsch(~c * ~x), v, ~x) + (~b / ~c) * Antiderivative(SimplifyIntegrand(v / ((~x) ^ 2 * sqrt(1 + 1 / ((~c) ^ 2 * (~x) ^ 2))), ~x), ~x) <-- InverseFunctionFreeQ(v, ~x)) <-- FreeQ([~a, ~b, ~c], ~x)
    @apply_utils Antiderivative(~(u') * (~(a') + ~(b') * asech(~(c') * ~x)) ^ ~(n'), ~x) => Unintegrable(~u * (~a + ~b * asech(~c * ~x)) ^ ~n, ~x) <-- FreeQ([~a, ~b, ~c, ~n], ~x)
    @apply_utils Antiderivative(~(u') * (~(a') + ~(b') * acsch(~(c') * ~x)) ^ ~(n'), ~x) => Unintegrable(~u * (~a + ~b * acsch(~c * ~x)) ^ ~n, ~x) <-- FreeQ([~a, ~b, ~c, ~n], ~x)
end
