Pow tan Pow cosh x2 Mul acosh E x0 pi 
Mul Pow tan Pow cosh x2 Mul acosh E x0 Add pi -1 Mul pi Mul Pow sec Pow cosh x2 Mul acosh E x0 2 Mul Pow cosh x2 Add Mul acosh E x0 -1 Mul Mul cosh x2 log cosh x2 acosh E 