Mul Add 4 Mul Pow Mul x0 sech acot x0 Mul x2 asec x0 asec acosh x0 Pow cosh x0 pi 
Add Mul Pow cosh x0 pi Add Mul asec acosh x0 Mul Pow Mul x0 sech acot x0 Add Mul x2 asec x0 -1 Add Mul Mul x2 asec x0 Add sech acot x0 Mul x0 Mul Mul tanh acot x0 Mul -1 sech acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 sech acot x0 log Mul x0 sech acot x0 Mul x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow Mul x0 sech acot x0 Mul x2 asec x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 acosh x0 acosh x0 -1 Mul Add 4 Mul Pow Mul x0 sech acot x0 Mul x2 asec x0 asec acosh x0 Mul Pow cosh x0 Add pi -1 Mul pi sinh x0 