acoth Pow Add Add cot x0 -1 E acoth csch x0 
Mul Mul Pow Add Add cot x0 -1 E Add acoth csch x0 -1 Add Mul acoth csch x0 Mul -1 Pow csc x0 2 Mul Mul Add Add cot x0 -1 E log Add Add cot x0 -1 E Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul csch x0 csch x0 -1 Pow Add 1 Mul -1 Mul Pow Add Add cot x0 -1 E acoth csch x0 Pow Add Add cot x0 -1 E acoth csch x0 -1 