Add acosh Add Pow Mul Pow -1 x7 acot E Pow coth x0 2 x2 x0 
Add Mul Mul Pow Mul Pow -1 x7 acot E Add Pow coth x0 2 -1 Mul Mul Mul Pow -1 x7 acot E log Mul Pow -1 x7 acot E Mul coth x0 Mul 2 Mul -1 Pow csch x0 2 Pow Mul sqrt Add Add Pow Mul Pow -1 x7 acot E Pow coth x0 2 x2 -1 sqrt Add 1 Add Pow Mul Pow -1 x7 acot E Pow coth x0 2 x2 -1 1 