Add x0 Add acos Mul x0 asech Mul exp Mul x0 x0 pi Add -4 Mul -5 Mul Add x0 asec x0 cosh pi 
Add 1 Add Mul -1 Mul Add asech Mul exp Mul x0 x0 pi Mul x0 Mul Mul pi Mul exp Mul x0 x0 Add x0 x0 Pow Mul Mul Mul exp Mul x0 x0 pi Mul exp Mul x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul exp Mul x0 x0 pi Mul exp Mul x0 x0 pi -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 asech Mul exp Mul x0 x0 pi Mul x0 asech Mul exp Mul x0 x0 pi -1 Mul -5 Mul cosh pi Add 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 