coth Pow Pow asech acos sech x1 Mul Mul asec x2 cot cosh x0 Mul pi coth E pi 
Mul Mul -1 Pow csch Pow Pow asech acos sech x1 Mul Mul asec x2 cot cosh x0 Mul pi coth E pi 2 Mul Pow Pow asech acos sech x1 Mul Mul asec x2 cot cosh x0 Mul pi coth E Add pi -1 Mul pi Mul Pow asech acos sech x1 Add Mul Mul asec x2 cot cosh x0 Mul pi coth E -1 Mul Mul asech acos sech x1 log asech acos sech x1 Mul Mul pi coth E Mul asec x2 Mul Mul -1 Pow csc cosh x0 2 sinh x0 