csch Pow asec cosh x5 log Mul x0 x0 
Mul Mul Mul -1 coth Pow asec cosh x5 log Mul x0 x0 csch Pow asec cosh x5 log Mul x0 x0 Mul Pow asec cosh x5 Add log Mul x0 x0 -1 Mul Mul asec cosh x5 log asec cosh x5 Mul Add x0 x0 Pow Mul x0 x0 -1 