Pow acot acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 Add acoth x0 x0 
Mul Pow acot acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 Add Add acoth x0 x0 -1 Add Mul Add acoth x0 x0 Mul -1 Mul Mul -1 Mul Add Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 Mul x0 Mul Pow Pow Add csch x0 x0 x0 Add log Pow Mul x3 x0 x0 -1 Add Mul log Pow Mul x3 x0 x0 Mul Pow Add csch x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 coth x0 csch x0 1 Mul Add csch x0 x0 log Add csch x0 x0 Mul Mul Pow Add csch x0 x0 x0 log Pow Add csch x0 x0 x0 Mul Mul Pow Mul x3 x0 Add x0 -1 Add Mul x0 x3 Mul Mul x3 x0 log Mul x3 x0 Pow Pow Mul x3 x0 x0 -1 Pow Add 1 Mul Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 -1 Pow Add 1 Mul acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 -1 Mul Mul acot acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 log acot acot Mul x0 Pow Pow Add csch x0 x0 x0 log Pow Mul x3 x0 x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 