acsch Pow coth x3 Mul asinh x0 -1 
Mul Mul -1 Mul Pow coth x3 Add Mul asinh x0 -1 -1 Mul Mul coth x3 log coth x3 Mul -1 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul Pow coth x3 Mul asinh x0 -1 Pow coth x3 Mul asinh x0 -1 sqrt Add 1 Mul -1 Pow Mul Pow coth x3 Mul asinh x0 -1 Pow coth x3 Mul asinh x0 -1 -1 -1 