Pow x4 Pow x6 Add Add Mul x0 Mul atan x0 coth Add Add x7 cot x0 acosh acot x1 x0 x3 
Mul Pow x4 Add Pow x6 Add Add Mul x0 Mul atan x0 coth Add Add x7 cot x0 acosh acot x1 x0 x3 -1 Mul Mul x4 log x4 Mul Pow x6 Add Add Add Mul x0 Mul atan x0 coth Add Add x7 cot x0 acosh acot x1 x0 x3 -1 Mul Mul x6 log x6 Add Add Mul atan x0 coth Add Add x7 cot x0 acosh acot x1 Mul x0 Add Mul coth Add Add x7 cot x0 acosh acot x1 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Mul -1 Pow csch Add Add x7 cot x0 acosh acot x1 2 Mul -1 Pow csc x0 2 1 