Pow Pow sqrt acoth x0 Add x5 csch Add x0 x1 Add Add x0 -4 Pow x0 acosh Add acot x0 x6 
Mul Pow Pow sqrt acoth x0 Add x5 csch Add x0 x1 Add Add Add x0 -4 Pow x0 acosh Add acot x0 x6 -1 Add Mul Add Add x0 -4 Pow x0 acosh Add acot x0 x6 Mul Pow sqrt acoth x0 Add Add x5 csch Add x0 x1 -1 Add Mul Add x5 csch Add x0 x1 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt acoth x0 log sqrt acoth x0 Mul Mul -1 coth Add x0 x1 csch Add x0 x1 Mul Mul Pow sqrt acoth x0 Add x5 csch Add x0 x1 log Pow sqrt acoth x0 Add x5 csch Add x0 x1 Add 1 Mul Pow x0 Add acosh Add acot x0 x6 -1 Add acosh Add acot x0 x6 Mul Mul x0 log x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Add acot x0 x6 -1 sqrt Add 1 Add acot x0 x6 -1 