Pow acoth x1 Pow Add x0 acsch Pow E x0 pi 
Mul Pow acoth x1 Add Pow Add x0 acsch Pow E x0 pi -1 Mul Mul acoth x1 log acoth x1 Mul Pow Add x0 acsch Pow E x0 Add pi -1 Mul pi Add 1 Mul Mul -1 Mul Pow E Add x0 -1 Mul E log E Pow Mul Mul Pow E x0 Pow E x0 sqrt Add 1 Mul -1 Pow Mul Pow E x0 Pow E x0 -1 -1 