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