Pow cosh Pow x0 x2 Pow sqrt tan acsch Add asec acoth x7 pi Mul 3 x0 
Mul Pow cosh Pow x0 x2 Add Pow sqrt tan acsch Add asec acoth x7 pi Mul 3 x0 -1 Add Mul Pow sqrt tan acsch Add asec acoth x7 pi Mul 3 x0 Mul sinh Pow x0 x2 Mul Pow x0 Add x2 -1 x2 Mul Mul cosh Pow x0 x2 log cosh Pow x0 x2 Mul Pow sqrt tan acsch Add asec acoth x7 pi Add Mul 3 x0 -1 Mul Mul sqrt tan acsch Add asec acoth x7 pi log sqrt tan acsch Add asec acoth x7 pi 3 