Mul Add csch Mul x0 x1 acos acot x0 Pow Pow sqrt coth x0 x0 Mul x3 x0 
Add Mul Pow Pow sqrt coth x0 x0 Mul x3 x0 Add Mul Mul Mul -1 coth Mul x0 x1 csch Mul x0 x1 x1 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul Add csch Mul x0 x1 acos acot x0 Mul Pow Pow sqrt coth x0 x0 Add Mul x3 x0 -1 Add Mul Mul x3 x0 Mul Pow sqrt coth x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt coth x0 -1 Mul -1 Pow csch x0 2 Mul sqrt coth x0 log sqrt coth x0 Mul Mul Pow sqrt coth x0 x0 log Pow sqrt coth x0 x0 x3 