asech Add pi sqrt Pow cosh x0 Pow x0 pi 
Mul Mul Pow Mul 2 sqrt Pow cosh x0 Pow x0 pi -1 Mul Pow cosh x0 Add Pow x0 pi -1 Add Mul Pow x0 pi sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow x0 Add pi -1 pi Pow Mul Mul Add pi sqrt Pow cosh x0 Pow x0 pi Add pi sqrt Pow cosh x0 Pow x0 pi sqrt Add 1 Mul -1 Pow Mul Add pi sqrt Pow cosh x0 Pow x0 pi Add pi sqrt Pow cosh x0 Pow x0 pi -1 -1 