Add Add x0 1 Pow Pow asec cosh x2 x0 coth x0 
Add 1 Mul Pow Pow asec cosh x2 x0 Add coth x0 -1 Add Mul coth x0 Mul Pow asec cosh x2 Add x0 -1 Mul asec cosh x2 log asec cosh x2 Mul Mul Pow asec cosh x2 x0 log Pow asec cosh x2 x0 Mul -1 Pow csch x0 2 