Mul Add x0 Mul acos Mul x0 cot x0 x0 Mul coth Mul x3 Pow acsch x7 Add x0 1 x4 
Add Mul Mul coth Mul x3 Pow acsch x7 Add x0 1 x4 Add 1 Add Mul x0 Mul -1 Mul Add cot x0 Mul x0 Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 cot x0 Mul x0 cot x0 -1 acos Mul x0 cot x0 Mul Add x0 Mul acos Mul x0 cot x0 x0 Mul x4 Mul Mul -1 Pow csch Mul x3 Pow acsch x7 Add x0 1 2 Mul x3 Mul Pow acsch x7 Add Add x0 1 -1 Mul acsch x7 log acsch x7 