Add cosh x5 Mul Mul tanh acosh x0 cos sqrt Mul Add x0 E cosh x6 pi 
Mul pi Add Mul cos sqrt Mul Add x0 E cosh x6 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul tanh acosh x0 Mul Mul -1 sin sqrt Mul Add x0 E cosh x6 Mul Pow Mul 2 sqrt Mul Add x0 E cosh x6 -1 cosh x6 