Mul coth sqrt Mul x5 Pow coth x1 x0 csc x0 
Add Mul csc x0 Mul Mul -1 Pow csch sqrt Mul x5 Pow coth x1 x0 2 Mul Pow Mul 2 sqrt Mul x5 Pow coth x1 x0 -1 Mul x5 Mul Pow coth x1 Add x0 -1 Mul coth x1 log coth x1 Mul coth sqrt Mul x5 Pow coth x1 x0 Mul Mul -1 cot x0 csc x0 