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