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