ConditionalExpression[expr, cond] is a symbolic construct that represents the expression expr when the condition cond is True.
This gives a result for the integral of x^n that is valid for almost all values of n. For the special case of x^-1, however, the correct result is different. The overall goal ...
InverseJacobiCD[v, m] gives the inverse Jacobi elliptic function cd -1 (v \[VerticalSeparator] m).
InverseJacobiCN[v, m] gives the inverse Jacobi elliptic function cn -1 (v \[VerticalSeparator] m).
InverseJacobiCS[v, m] gives the inverse Jacobi elliptic function cs -1 (v \[VerticalSeparator] m).
InverseJacobiDN[v, m] gives the inverse Jacobi elliptic function dn -1 (v \[VerticalSeparator] m).
InverseJacobiND[v, m] gives the inverse Jacobi elliptic function nd -1 (v \[VerticalSeparator] m).
InverseJacobiSC[v, m] gives the inverse Jacobi elliptic function sc -1 (v \[VerticalSeparator] m).
InverseJacobiSD[v, m] gives the inverse Jacobi elliptic function sd -1 (v \[VerticalSeparator] m).
InverseJacobiSN[v, m] gives the inverse Jacobi elliptic function sn -1 (v \[VerticalSeparator] m).