Mul cosh x0 Pow csch sech atanh cosh x3 x0 
Add Mul Pow csch sech atanh cosh x3 x0 sinh x0 Mul cosh x0 Mul Pow csch sech atanh cosh x3 Add x0 -1 Mul csch sech atanh cosh x3 log csch sech atanh cosh x3 