coth Mul Mul x2 x0 Pow atan csch x0 acsc x0 
Mul Mul -1 Pow csch Mul Mul x2 x0 Pow atan csch x0 acsc x0 2 Add Mul Pow atan csch x0 acsc x0 x2 Mul Mul x2 x0 Mul Pow atan csch x0 Add acsc x0 -1 Add Mul acsc x0 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul Mul atan csch x0 log atan csch x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 