Add Mul E Mul csc Mul Pow acot x2 Pow x0 csch acosh Add x7 Pow x0 x3 x0 Pow x0 x6 -1 
Mul E Add Mul Pow x0 x6 Mul Mul Mul -1 cot Mul Pow acot x2 Pow x0 csch acosh Add x7 Pow x0 x3 x0 csc Mul Pow acot x2 Pow x0 csch acosh Add x7 Pow x0 x3 x0 Add Mul x0 Mul Pow acot x2 Add Pow x0 csch acosh Add x7 Pow x0 x3 -1 Mul Mul acot x2 log acot x2 Mul Pow x0 Add csch acosh Add x7 Pow x0 x3 -1 Add csch acosh Add x7 Pow x0 x3 Mul Mul x0 log x0 Mul Mul Mul -1 coth acosh Add x7 Pow x0 x3 csch acosh Add x7 Pow x0 x3 Mul Mul Pow x0 Add x3 -1 x3 Pow Mul sqrt Add Add x7 Pow x0 x3 -1 sqrt Add 1 Add x7 Pow x0 x3 -1 Pow acot x2 Pow x0 csch acosh Add x7 Pow x0 x3 Mul csc Mul Pow acot x2 Pow x0 csch acosh Add x7 Pow x0 x3 x0 Mul Pow x0 Add x6 -1 x6 