tan asinh Pow Add x0 Mul asech coth atanh coth x1 E x1 
Mul Pow sec asinh Pow Add x0 Mul asech coth atanh coth x1 E x1 2 Mul Mul Pow Add x0 Mul asech coth atanh coth x1 E Add x1 -1 x1 Pow sqrt Add 1 Mul Pow Add x0 Mul asech coth atanh coth x1 E x1 Pow Add x0 Mul asech coth atanh coth x1 E x1 -1 