acosh tan Pow acot coth x0 Mul Pow cosh x0 x7 -2 
Mul Mul Pow sec Pow acot coth x0 Mul Pow cosh x0 x7 -2 2 Mul Pow acot coth x0 Add Mul Pow cosh x0 x7 -2 -1 Add Mul Mul Pow cosh x0 x7 -2 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Mul Mul acot coth x0 log acot coth x0 Mul -2 Mul Pow cosh x0 Add x7 -1 Mul x7 sinh x0 Pow Mul sqrt Add tan Pow acot coth x0 Mul Pow cosh x0 x7 -2 -1 sqrt Add 1 tan Pow acot coth x0 Mul Pow cosh x0 x7 -2 -1 