Mul Mul cot x0 Mul x0 csch Pow x3 x0 5 
Mul 5 Add Mul Mul x0 csch Pow x3 x0 Mul -1 Pow csc x0 2 Mul cot x0 Add csch Pow x3 x0 Mul x0 Mul Mul Mul -1 coth Pow x3 x0 csch Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 