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