Mul x0 Pow acsc x0 log acoth Mul x0 Pow x0 coth x3 
Add Pow acsc x0 log acoth Mul x0 Pow x0 coth x3 Mul x0 Mul Pow acsc x0 Add log acoth Mul x0 Pow x0 coth x3 -1 Add Mul log acoth Mul x0 Pow x0 coth x3 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul acsc x0 log acsc x0 Mul Mul Add Pow x0 coth x3 Mul x0 Mul Pow x0 Add coth x3 -1 coth x3 Pow Add 1 Mul -1 Mul Mul x0 Pow x0 coth x3 Mul x0 Pow x0 coth x3 -1 Pow acoth Mul x0 Pow x0 coth x3 -1 