Pow asec Mul sinh x0 E log Mul x0 pi 
Mul Pow asec Mul sinh x0 E Add log Mul x0 pi -1 Add Mul log Mul x0 pi Mul Mul E cosh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul sinh x0 E Mul sinh x0 E -1 Mul sinh x0 E Mul sinh x0 E -1 Mul Mul asec Mul sinh x0 E log asec Mul sinh x0 E Mul pi Pow Mul x0 pi -1 