SolveByFoldingAnExponentialOfALogarithm​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Boolean)

An exponential of a multiple of a logarithm is a power of the argument:
e^(k ln(q)) is q^k, since e^(k ln q) is the definition of the
principal power for every complex q other than zero. That is the spelling the
parser gives every inverse hyperbolic function -- acoth(a x) is
1/2 ln((a x + 1)/(a x - 1)) -- so e^acoth(a x) x^3 arrives as
e^(1/2 ln((a x + 1)/(a x - 1))) x^3, which no exponential rule reads, and is
x^3 sqrt((a x + 1)/(a x - 1)), a root of a quotient of linears, which the
radical substitution answers. Rubi's 7.4.2. The simplifier folds the same shape
since #1430; the integrand is not simplified before the rules see it, so the fold
is a rule here, asked as a question of its own so the closed rules meet it at the top.
https://github.com/asc-community/AngouriMath/issues/718