Pow acosh Add acot Pow Pow coth x0 pi x0 x0 2 
Mul acosh Add acot Pow Pow coth x0 pi x0 x0 Mul 2 Mul Add Mul -1 Mul Mul Pow Pow coth x0 pi Add x0 -1 Add Mul x0 Mul Pow coth x0 Add pi -1 Mul pi Mul -1 Pow csch x0 2 Mul Pow coth x0 pi log Pow coth x0 pi Pow Add 1 Mul Pow Pow coth x0 pi x0 Pow Pow coth x0 pi x0 -1 1 Pow Mul sqrt Add Add acot Pow Pow coth x0 pi x0 x0 -1 sqrt Add 1 Add acot Pow Pow coth x0 pi x0 x0 -1 