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