Add x0 Pow cot Pow x7 Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 Mul x5 x0 
Add 1 Mul Pow cot Pow x7 Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 Add Mul x5 x0 -1 Add Mul Mul x5 x0 Mul Mul -1 Pow csc Pow x7 Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 2 Mul Pow x7 Add Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 -1 Mul Mul x7 log x7 Mul Pow x0 Add Add csch Mul Pow x0 acot x0 x3 x0 -1 Add Add csch Mul Pow x0 acot x0 x3 x0 Mul Mul x0 log x0 Add Mul Mul Mul -1 coth Mul Pow x0 acot x0 x3 csch Mul Pow x0 acot x0 x3 Mul x3 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul cot Pow x7 Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 log cot Pow x7 Add x1 Pow x0 Add csch Mul Pow x0 acot x0 x3 x0 x5 