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