asec Mul csch x0 Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 
Mul Add Mul Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul Pow acot x0 Add Mul Pow cosh acosh coth x7 x0 x0 -1 Add Mul Mul Pow cosh acosh coth x7 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul x0 Mul Pow cosh acosh coth x7 Add x0 -1 Mul cosh acosh coth x7 log cosh acosh coth x7 Pow cosh acosh coth x7 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul csch x0 Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 Mul csch x0 Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 -1 Mul csch x0 Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 Mul csch x0 Pow acot x0 Mul Pow cosh acosh coth x7 x0 x0 -1 