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