Mul Mul Pow Mul cosh x0 pi x0 x0 Add Mul pi acoth Mul x0 asec asin x0 -5 
Add Mul Add Mul pi acoth Mul x0 asec asin x0 -5 Add Mul x0 Mul Pow Mul cosh x0 pi Add x0 -1 Add Mul x0 Mul pi sinh x0 Mul Mul cosh x0 pi log Mul cosh x0 pi Pow Mul cosh x0 pi x0 Mul Mul Pow Mul cosh x0 pi x0 x0 Mul pi Mul Add asec asin x0 Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 asin x0 asin x0 -1 Pow Add 1 Mul -1 Mul Mul x0 asec asin x0 Mul x0 asec asin x0 -1 